NeSy@HLAI - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 154

2023

Semantic Probabilistic Layers for Neuro-Symbolic LearningKareem Ahmed, Stefano Teso, Kai-Wei Chang, Guy Van den Broeck, Antonio Vergari. nesy 2023: 413 [doi]

Verifying Strategic Abilities of Neural-Symbolic Multi-agent SystemsMichael Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio. nesy 2023: 427 [doi]

Learning Logic Constraints From DemonstrationMattijs Baert, Sam Leroux, Pieter Simoens. nesy 2023: 78-84 [doi]

Interpretable Neural-Symbolic Concept ReasoningPietro Barbiero, Gabriele Ciravegna, Francesco Giannini, Mateo Espinosa Zarlenga, Lucie Charlotte Magister, Alberto Tonda, Pietro Liò, Frédéric Precioso, Mateja Jamnik, Giuseppe Marra. nesy 2023: 422-423 [doi]

Preliminary Results on a State-Driven Method for Rule Construction in Neural-Symbolic Reinforcement LearningDavide Beretta, Stefania Monica, Federico Bergenti. nesy 2023: 128-138 [doi]

Combining Machine Learning and Semantic Web: A Systematic Mapping StudyAnna Breit, Laura Waltersdorfer, Fajar J. Ekaputra, Marta Sabou, Andreas Ekelhart, Andreea Iana, Heiko Paulheim, Jan Portisch, Artem Revenko, Frank van Harmelen, Annette ten Teije. nesy 2023: 424 [doi]

Implementing Trustworthy AI in Real-world Medical Imaging using the SimpleMind Software EnvironmentMatthew S. Brown, M. Wasil Wahi-Anwar, Youngwon Choi, Morgan Daly, Liza Shrestha, Koon-Pong Wong, Jonathan G. Goldin, Dieter R. Enzmann. nesy 2023: 195-203 [doi]

VSA-based Positional Encoding Can Replace Recurrent Networks in Emergent Symbol BindingFrancesco S. Carzaniga, Michael Hersche, Kaspar Schindler, Abbas Rahimi. nesy 2023: 302-326 [doi]

Logic Explained NetworksGabriele Ciravegna, Pietro Barbiero, Francesco Giannini, Marco Gori, Pietro Liò, Marco Maggini, Stefano Melacci. nesy 2023: 432-433 [doi]

Learning Where and When to Reason in Neuro-Symbolic InferenceCristina Cornelio, Jan Stühmer, Shell Xu Hu, Timothy M. Hospedales. nesy 2023: 411-412 [doi]

Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, La Certosa di Pontignano, Siena, Italy, July 3-5, 2023Artur S. d'Avila Garcez, Tarek R. Besold, Marco Gori, Ernesto Jiménez-Ruiz, editors, Volume 3432 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]

Deep Symbolic Learning: Discovering Symbols and Rules from PerceptionsAlessandro Daniele, Tommaso Campari, Sagar Malhotra, Luciano Serafini. nesy 2023: 418-419 [doi]

RL-Net: Interpretable Rule Learning with Neural NetworksLucile Dierckx, Rosana Veroneze, Siegfried Nijssen. nesy 2023: 414-415 [doi]

Towards Explainable Decision Making with Neural Program Synthesis and Library LearningManuel Eberhardinger, Johannes Maucher, Setareh Maghsudi. nesy 2023: 348-368 [doi]

A Modular Neurosymbolic Approach for Visual Graph Question AnsweringThomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch. nesy 2023: 139-149 [doi]

Large Language Models Need Symbolic AIKristian J. Hammond, David B. Leake. nesy 2023: 204-209 [doi]

What's Wrong with Gradient-based Complex Query Answering?Ouns El Harzli, Samy Badreddine, Tarek R. Besold. nesy 2023: 9-18 [doi]

On the Benefits of OWL-based Knowledge Graphs for Neural-Symbolic SystemsDavid Herron, Ernesto Jiménez-Ruiz, Tillman Weyde. nesy 2023: 327-335 [doi]

Decoding Superpositions of Bound Symbols Represented by Distributed RepresentationsMichael Hersche, Zuzanna Opala, Geethan Karunaratne, Abu Sebastian, Abbas Rahimi. nesy 2023: 279-288 [doi]

Solving Raven's Progressive Matrices via a Neuro-vector-symbolic ArchitectureMichael Hersche, Mustafa Zeqiri, Luca Benini, Abu Sebastian, Abbas Rahimi. nesy 2023: 425-426 [doi]

Semantic Interpretability of Convolutional Neural Networks by Taxonomy ExtractionVitor A. C. Horta, Robin Sobczyk, Maarten C. Stol, Alessandra Mileo. nesy 2023: 118-127 [doi]

FB15k-CVT: A Challenging Dataset for Knowledge Graph Embedding ModelsMouloud Iferroudjene, Victor Charpenay, Antoine Zimmermann. nesy 2023: 381-394 [doi]

Exploring Mathematical Conjecturing with Large Language ModelsMoa Johansson, Nicholas Smallbone. nesy 2023: 62-77 [doi]

Neural Class Expression SynthesisN'Dah Jean Kouagou, Stefan Heindorf, Caglar Demir, Axel-Cyrille Ngonga Ngomo. nesy 2023: 430-431 [doi]

Continual Reasoning: Non-monotonic Reasoning in Neurosymbolic AI using Continual LearningSofoklis Kyriakopoulos, Artur S. d'Avila Garcez. nesy 2023: 210-222 [doi]

The Challenge of Learning Symbolic RepresentationsLuca Salvatore Lorello, Marco Lippi 0001. nesy 2023: 44-61 [doi]

Neuro-Symbolic Reasoning Shortcuts: Mitigation Strategies and their LimitationsEmanuele Marconato, Stefano Teso, Andrea Passerini. nesy 2023: 162-166 [doi]

GlanceNets: Interpretable, Leak-proof Concept-based ModelsEmanuele Marconato, Andrea Passerini, Stefano Teso. nesy 2023: 410 [doi]

VAEL: Bridging Variational Autoencoders and Probabilistic Logic ProgrammingEleonora Misino, Giuseppe Marra, Emanuele Sansone. nesy 2023: 434-435 [doi]

Closing the Neural-Symbolic Cycle: Knowledge Extraction, User Intervention and Distillation from Convolutional Neural NetworksKwun Ho Ngan, James Phelan, Esma Mansouri-Benssassi, Joe Townsend, Artur S. d'Avila Garcez. nesy 2023: 19-43 [doi]

Generalizable Neuro-Symbolic Systems for Commonsense Question AnsweringAlessandro Oltramari, Jonathan Francis, Filip Ilievski, Kaixin Ma, Roshanak Mirzaee. nesy 2023: 416-417 [doi]

How to Think About Benchmarking Neurosymbolic AI?Johanna Ott, Arthur Ledaguenel, Céline Hudelot, Mattis Hartwig. nesy 2023: 248-254 [doi]

PhysWM: Physical World Models for Robot LearningMarc Otto, Octavio Arriaga, Chandandeep Singh, Jichen Guo, Frank Kirchner. nesy 2023: 268-278 [doi]

A Hybrid System for Systematic Generalization in Simple Arithmetic ProblemsFlavio Petruzzellis, Alberto Testolin, Alessandro Sperduti. nesy 2023: 289-301 [doi]

Inductive Future Time Prediction on Temporal Knowledge Graphs with Interval TimeRoxana Pop, Egor V. Kostylev. nesy 2023: 233-240 [doi]

Is the Proof Length a Good Indicator of Hardness for Reason-able Embeddings?Jedrzej Potoniec. nesy 2023: 150-161 [doi]

A Roadmap for Neuro-argumentative LearningMaurizio Proietti, Francesca Toni. nesy 2023: 1-8 [doi]

Towards Invertible Semantic-Preserving Embeddings of Logical FormulaeGaia Saveri, Luca Bortolussi. nesy 2023: 174-194 [doi]

Causality Prediction with Neural-Symbolic Systems: A Case Study in Smart GridsKatrin Schreiberhuber, Marta Sabou, Fajar J. Ekaputra, Peter Knees, Peb Ruswono Aryan, Alfred Einfalt, Ralf Mosshammer. nesy 2023: 336-347 [doi]

Neural-Symbolic Predicate Invention: Learning Relational Concepts from Visual ScenesJingyuan Sha, Hikaru Shindo, Kristian Kersting, Devendra Singh Dhami. nesy 2023: 103-117 [doi]

The Roles of Symbols in Neural-based AI: They are Not What You Think!Daniel L. Silver, Tom M. Mitchell. nesy 2023: 420-421 [doi]

Challenge Problems in Developing a Neuro-Symbolic OODA LoopAlberto Speranzon, Christian H. Debrunner, David Rosenbluth, Mauricio Castillo-Effen, Anthony R. Nowicki, Kevin Alcedo, Andrzej Banaszuk. nesy 2023: 241-247 [doi]

Exploiting T-norms for Deep Learning in Autonomous DrivingMihaela C. Stoian, Eleonora Giunchiglia, Thomas Lukasiewicz. nesy 2023: 369-380 [doi]

Explainable Classification of Internet MemesAbhinav Kumar Thakur, Filip Ilievski, Hông-Ân Sandlin, Zhivar Sourati, Luca Luceri, Riccardo Tommasini 0001, Alain Mermoud. nesy 2023: 395-409 [doi]

Visual Reward MachinesElena Umili, Francesco Argenziano, Aymeric Barbin, Roberto Capobianco. nesy 2023: 255-267 [doi]

Knowledge-Guided Colorization: Overview, Prospects and ChallengesRory Ward, Muhammad Jaleed Khan, John G. Breslin, Edward Curry. nesy 2023: 167-173 [doi]

Safe Reinforcement Learning via Probabilistic Logic ShieldsWen-Chi Yang, Giuseppe Marra, Gavin Rens, Luc De Raedt. nesy 2023: 428-429 [doi]

From Axioms over Graphs to Vectors, and Back Again: Evaluating the Properties of Graph-based Ontology EmbeddingsFernando Zhapa-Camacho, Robert Hoehndorf. nesy 2023: 85-102 [doi]

2022

Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution GeneralisationQiming Bao 0001, Alex Yuxuan Peng, Tim Hartill, Neset Tan, Zhenyun Deng, Michael Witbrock, Jiamou Liu. nesy 2022: 202-217 [doi]

Visual Sudoku Puzzle Classification: A Suite of Collective Neuro-Symbolic TasksEriq Augustine, Connor Pryor, Charles Dickens, Jay Pujara, William Yang Wang, Lise Getoor. nesy 2022: 15-29 [doi]

Logic Tensor Networks for Top-N RecommendationTommaso Carraro, Alessandro Daniele, Fabio Aiolli, Luciano Serafini. nesy 2022: 1-14 [doi]

Towards Educating Artificial Neural SystemsSimon Colton. nesy 2022: 186-191 [doi]

Proceedings of the 16th International Workshop on Neural-Symbolic Learning and Reasoning as part of the 2nd International Joint Conference on Learning & Reasoning (IJCLR 2022), Cumberland Lodge, Windsor Great Park, UK, September 28-30, 2022Artur d'Avila Garcez, Ernesto Jiménez-Ruiz, editors, Volume 3212 of CEUR Workshop Proceedings, CEUR-WS.org, 2022. [doi]

Combining Fast and Slow Thinking for Human-like and Efficient Decisions in Constrained EnvironmentsMarianna Bergamaschi Ganapini, Murray Campbell, Francesco Fabiano, Lior Horesh, Jonathan Lenchner, Andrea Loreggia, Nicholas Mattei, Francesca Rossi, Biplav Srivastava, Kristen Brent Venable. nesy 2022: 171-185 [doi]

ESC-Rules: Explainable, Semantically Constrained Rule SetsMartin Glauer, Robert West, Susan Michie, Janna Hastings. nesy 2022: 94-103 [doi]

Differentiable Rule Induction with Learned Relational FeaturesRemy Kusters, Yusik Kim, Marine Collery, Christian de Sainte Marie, Shubham Gupta. nesy 2022: 30-44 [doi]

CLEVR-Math: A Dataset for Compositional Language, Visual and Mathematical ReasoningAdam Dahlgren Lindström, Savitha Sam Abraham. nesy 2022: 155-170 [doi]

Learning Proof Path Selection Policies in Neural Theorem ProvingMatthew Morris, Pasquale Minervini, Phil Blunsom. nesy 2022: 64-87 [doi]

Modular Design Patterns for Neural-symbolic Integration: Refinement and CombinationTill Mossakowski. nesy 2022: 192-201 [doi]

From Subsymbolic to Symbolic: A Blueprint for InvestigationJoseph Pober, Michael Luck, Odinaldo Rodrigues. nesy 2022: 88-93 [doi]

Propositional Reasoning via Neural Transformer Language ModelsOscar J. Romero, Anthony Tomasic, Aaron Steinfeld, John Zimmerman. nesy 2022: 104-119 [doi]

Knowledge-based Analogical Reasoning in Neuro-symbolic Latent SpacesVishwa Shah, Aditya Sharma, Gautam Shroff, Lovekesh Vig, Tirtharaj Dash, Ashwin Srinivasan 0001. nesy 2022: 142-154 [doi]

Neural Analogical ReasoningAtharv Sonwane, Abhinav Lalwani, Sweta Mahajan, Gautam Shroff, Lovekesh Vig. nesy 2022: 120-141 [doi]

Grounding LTLf Specifications in ImagesElena Umili, Roberto Capobianco, Giuseppe De Giacomo. nesy 2022: 45-63 [doi]

2021

Zero-shot Multi-Domain Dialog State Tracking Using Prescriptive RulesEdgar Altszyler, Pablo Brusco, Nikoletta Basiou, John Byrnes, Dimitra Vergyri. nesy 2021: 57-66 [doi]

Extending Real Logic with Aggregate FunctionsSamy Badreddine, Michael Spranger. nesy 2021: 115-125 [doi]

Backpropagating through Markov Logic NetworksPatrick Betz, Mathias Niepert, Pasquale Minervini, Heiner Stuckenschmidt. nesy 2021: 67-81 [doi]

Using Neural Networks to Control Glut in the Active Logic MachineJustin D. Brody, Bobby Austin, Omar Khater, Christopher Maxey, Matthew D. Goldberg, Timothy Clausner, Darsana Josyula, Don Perlis. nesy 2021: 143-153 [doi]

pix2rule: End-to-end Neuro-symbolic Rule LearningNuri Cingillioglu, Alessandra Russo. nesy 2021: 15-56 [doi]

Proceedings of the 15th International Workshop on Neural-Symbolic Learning and Reasoning as part of the 1st International Joint Conference on Learning & Reasoning (IJCLR 2021), Virtual conference, October 25-27, 2021Artur S. d'Avila Garcez, Ernesto Jiménez-Ruiz, editors, Volume 2986 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]

RecT: A Recursive Transformer Architecture for Generalizable Mathematical ReasoningRohan Deshpande, Jerry Chen, Isabelle Lee. nesy 2021: 165-175 [doi]

Neuro-Symbolic Constraint Programming for Structured PredictionPaolo Dragone, Stefano Teso, Andrea Passerini. nesy 2021: 6-14 [doi]

A New Concept for Explaining Graph Neural NetworksAnna Himmelhuber, Sonja Zillner, Stephan Grimm, Martin Ringsquandl, Mitchell Joblin, Thomas A. Runkler. nesy 2021: 1-5 [doi]

An Insect-Inspired Randomly, Weighted Neural Network with Random Fourier Features For Neuro-Symbolic Relational LearningJinyung Hong, Theodore P. Pavlic. nesy 2021: 126-142 [doi]

Explainable Diabetic Retinopathy Classification Based on Neural-Symbolic LearningSe-In Jang, Michael J. A. Girard, Alexandre H. Thiery. nesy 2021: 104-114 [doi]

Elite BackProp: Training Sparse Interpretable NeuronsTheodoros Kasioumis, Joe Townsend, Hiroya Inakoshi. nesy 2021: 82-93 [doi]

Neural SemiringsPedro Zuidberg Dos Martires. nesy 2021: 94-103 [doi]

Learning Arithmetic from Handwritten Images with the Aid of SymbolsDaniel L. Silver, Ahmed Galila. nesy 2021: 154-164 [doi]

Coherent and Consistent Relational Transfer Learning with Auto-encodersHarald Strömfelt, Luke Dickens, Artur d'Avila Garcez, Alessandra Russo. nesy 2021: 176-192 [doi]

2019

Injecting Prior Knowledge for Transfer Learning into Reinforcement Learning Algorithms using Logic Tensor NetworksSamy Badreddine, Michael Spranger. nesy 2019:

Self-Organized Inductive Reasoning with NeMuSLeonardo Augusto Picanço Barreto, Edjard Mota. nesy 2019:

Towards Explainable Neural-Symbolic Visual ReasoningAdrien Bennetot, Jean Luc Laurent, Raja Chatila 0001, Natalia Díaz Rodríguez. nesy 2019:

Deep Semantics for Explainable Visuospatial Intelligence: Perspectives on Integrating Commonsense Spatial Abstractions and Low-Level Neural FeaturesMehul Bhatt, Jakob Suchan, Srikrishna Varadarajan. nesy 2019:

Neural Variational Inference For Estimating Knowledge Graph Embedding UncertaintyAlexander I. Cowen-Rivers, Pasquale Minervini, Sebastian Riedel 0001, Tim Rocktäschel, Jun Wang 0012, Matko Bosnjak. nesy 2019:

Proceedings of the 2019 International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2019), Annual workshop of the Neural-Symbolic Learning and Reasoning Association, Macao, China, August 12, 2019Derek Doran, Artur d'Avila Garcez, Freddy Lécué, editors, 2019. [doi]

Local ABox Consistency Prediction with Transparent TBoxes Using Gated Graph Neural NetworksYu Gu, Jeff Z. Pan, Gong Cheng 0001, Heiko Paulheim, Giorgos Stoilos. nesy 2019:

T-PRISM: A tensorized logic programming language for data modellingRyosuke Kojima, Taisuke Sato. nesy 2019:

Effective Integration of Symbolic and Connectionist Approaches through a Hybrid RepresentationMárcio Ferreira Moreno, Daniel Civitarese, Rafael Brandão 0001, Renato Cerqueira. nesy 2019:

Efficient Predicate Invention using Shared NeMuSEdjard Mota, Jacob M. Howe, Ana Schramm, Artur S. d'Avila Garcez. nesy 2019:

Neuro-Symbolic = Neural + Logical + ProbabilisticLuc De Raedt, Robin Manhaeve, Sebastijan Dumancic, Thomas Demeester, Angelika Kimmig. nesy 2019:

Tensor Product Representations of Subregular Formal LanguagesJonathan Rawski. nesy 2019:

Using neural models to perform inferenceFelipe Salvatore, Sandro Preto, Marcelo Finger, Roberto Hirata Jr.. nesy 2019:

Scaling up relational templated neural modelsGustav Sourek, Filip Zelezný, Ondrej Kuzelka. nesy 2019:

One-shot Information Extraction from Document Images using Neuro-Deductive Program SynthesisVishal Sunder, Ashwin Srinivasan 0001, Lovekesh Vig, Gautam Shroff, Rohit Rahul. nesy 2019:

Revisiting Neural-Symbolic Learning CycleMartin Svatos, Gustav Sourek, Filip Zelezný. nesy 2019:

2017

Sign in or sign up to see more results.

runs on WebDSL