| 2025 | IJCAI | A Semantic Framework for Neurosymbolic Computation (Abstract Reprint). | Simon Odense, Artur S. d'Avila Garcez |
| 2024 | IJCNN | Hypergraph Neural Networks with Logic Clauses. | Joo Pedro Gandarela de Souza, Gerson Zaverucha, Artur S. d'Avila Garcez |
| 2023 | AAAI | Neurosymbolic Reasoning and Learning with Restricted Boltzmann Machines. | Son N. Tran, Artur S. d'Avila Garcez |
| 2023 | NeSy | Continual Reasoning: Non-monotonic Reasoning in Neurosymbolic AI using Continual Learning. | Sofoklis Kyriakopoulos, Artur S. d'Avila Garcez |
| 2023 | NeSy | Closing the Neural-Symbolic Cycle: Knowledge Extraction, User Intervention and Distillation from Convolutional Neural Networks. | Kwun Ho Ngan, James Phelan, Esma Mansouri-Benssassi, Joe Townsend, Artur S. d'Avila Garcez |
| 2022 | IJCNN | Extracting Meaningful High-Fidelity Knowledge from Convolutional Neural Networks. | Kwun Ho Ngan, Artur S. d'Avila Garcez, Joseph Townsend |
| 2021 | NeSy | Coherent and Consistent Relational Transfer Learning with Auto-encoders. | Harald Strmfelt, Luke Dickens, Artur S. d'Avila Garcez, Alessandra Russo |
| 2020 | ECAI | Measurable Counterfactual Local Explanations for Any Classifier. | Adam White, Artur S. d'Avila Garcez |
| 2020 | ICANN | Neural-Symbolic Relational Reasoning on Graph Models: Effective Link Inference and Computation from Knowledge Bases. | Henrique Lemos, Pedro H. C. Avelar, Marcelo O. R. Prates, Artur S. d'Avila Garcez, Lus C. Lamb |
| 2020 | IJCAI | Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective. | Lus C. Lamb, Artur S. d'Avila Garcez, Marco Gori, Marcelo O. R. Prates, Pedro H. C. Avelar, Moshe Y. Vardi |
| 2020 | IJCNN | Semi-supervised GANs for Fraud Detection | Charitos Charitou, Artur S. d'Avila Garcez, Simo Dragicevic |
| 2020 | KR | Neuro-Symbolic Probabilistic Argumentation Machines. | Rgis Riveret, Son N. Tran, Artur S. d'Avila Garcez |
| 2019 | NeSy | Efficient Predicate Invention using Shared NeMuS. | Edjard Mota, Jacob M. Howe, Ana Schramm, Artur S. d'Avila Garcez |
| 2017 | ICANN | Generalising the Discriminative Restricted Boltzmann Machines. | Srikanth Cherla, Son Ngoc Tran, Artur S. d'Avila Garcez, Tillman Weyde |
| 2017 | ICANN | Extracting M of N Rules from Restricted Boltzmann Machines. | Simon Odense, Artur S. d'Avila Garcez |
| 2017 | IJCAI | Logic Tensor Networks for Semantic Image Interpretation. | Ivan Donadello, Luciano Serafini, Artur S. d'Avila Garcez |
| 2017 | IJCNN | On the memory properties of recurrent neural models. | Arthur Jack Russell, Emmanouil Benetos, Artur S. d'Avila Garcez |
| 2017 | NeSy | A Comparison between Deep Q-Networks and Deep Symbolic Reinforcement Learning. | Aimore R. R. Dutra, Artur S. d'Avila Garcez |
| 2017 | NeSy | Inductive Learning in Shared Neural Multi-Spaces. | Edjard de Souza Mota, Jacob M. Howe, Artur S. d'Avila Garcez |
| 2017 | NeSy | Confidence Values and Compact Rule Extraction From Probabilistic Neural Networks. | Simon Odense, Artur S. d'Avila Garcez |
| 2017 | NeSy | Category-based Inductive Learning in Shared NeMuS. | Ana Carolina Melik Schramm, Edjard de Souza Mota, Jacob M. Howe, Artur S. d'Avila Garcez |
| 2017 | NeSy | Learning about Actions and Events in Shared NeMuS. | Milena Rodrigues Tenorio, Edjard de Souza Mota, Jacob M. Howe, Artur S. d'Avila Garcez |
| 2017 | SAC | Learning and reasoning in logic tensor networks: theory and application to semantic image interpretation. | Luciano Serafini, Ivan Donadello, Artur S. d'Avila Garcez |
| 2016 | ECAI | The Need for Knowledge Extraction: Understanding Harmful Gambling Behavior with Neural Networks. | Chris Percy, Artur S. d'Avila Garcez, Simo Dragicevic, Manoel V. M. Frana, Greg Slabaugh, Tillman Weyde |
| 2016 | IJCNN | Adaptive Transferred-profile Likelihood Learning. | Son Ngoc Tran, Artur S. d'Avila Garcez |
| 2016 | NeSy | Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge. | Luciano Serafini, Artur S. d'Avila Garcez |
| 2016 | NeSy | A Proposal for Common Dataset in Neural-Symbolic Reasoning Studies. | zgr Yilmaz, Artur S. d'Avila Garcez, Daniel L. Silver |
| 2015 | ICASSP | A hybrid recurrent neural network for music transcription. | Siddharth Sigtia, Emmanouil Benetos, Nicolas Boulanger-Lewandowski, Tillman Weyde, Artur S. d'Avila Garcez, Simon Dixon |
| 2015 | IJCNN | Discriminative learning and inference in the Recurrent Temporal RBM for melody modelling. | Srikanth Cherla, Son Ngoc Tran, Artur S. d'Avila Garcez, Tillman Weyde |
| 2015 | IJCNN | Neural-symbolic monitoring and adaptation. | Alan Perotti, Artur S. d'Avila Garcez, Guido Boella |
| 2015 | IJCNN | Efficient representation ranking for transfer learning. | Son Ngoc Tran, Artur S. d'Avila Garcez |
| 2015 | RV | Runtime Verification Through Forward Chaining. | Alan Perotti, Guido Boella, Artur S. d'Avila Garcez |
| 2014 | ICONIP | Low-Cost Representation for Restricted Boltzmann Machines. | Son Ngoc Tran, Artur S. d'Avila Garcez |
| 2014 | IJCNN | Applying Neural-Symbolic Cognitive Agents in Intelligent Transport Systems to reduce CO2 emissions. | Leo de Penning, Artur S. d'Avila Garcez, Lus C. Lamb, Arjan Stuiver, John-Jules Ch. Meyer |
| 2014 | IJCNN | Neural Networks for Runtime Verification. | Alan Perotti, Artur S. d'Avila Garcez, Guido Boella |
| 2014 | IJCNN | Learning motion-difference features using Gaussian restricted Boltzmann machines for efficient human action recognition. | Son Ngoc Tran, Emmanouil Benetos, Artur S. d'Avila Garcez |
| 2012 | AAMAS | Learning and reasoning about norms using neural-symbolic systems. | Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Alan Perotti, Leendert W. N. van der Torre |
| 2012 | IJCNN | Multi-instance learning using recurrent neural networks. | Artur S. d'Avila Garcez, Gerson Zaverucha |
| 2012 | NeSy | A Neural-Symbolic Cognitive Agent with a Mind's Eye. | H. L. H. de Penning, R. J. M. den Hollander, Henri Bouma, Gertjan J. Burghouts, Artur S. d'Avila Garcez |
| 2011 | IJCAI | A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning. | Leo de Penning, Artur S. d'Avila Garcez, Lus C. Lamb, John-Jules Ch. Meyer |
| 2011 | ICSE | Learning to adapt requirements specifications of evolving systems. | Rafael V. Borges, Artur S. d'Avila Garcez, Lus C. Lamb, Bashar Nuseibeh |
| 2011 | NeSy | Embedding Normative Reasoning into Neural Symbolic Systems. | Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Leon van der Torre |
| 2010 | ICANN | Representing, Learning and Extracting Temporal Knowledge from Neural Networks: A Case Study. | Rafael V. Borges, Artur S. d'Avila Garcez, Lus C. Lamb |
| 2010 | ICANN | Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. | Ekaterina Komendantskaya, Krysia Broda, Artur S. d'Avila Garcez |
| 2010 | IJCNN | First-order logic learning in Artificial Neural Networks. | Mathieu Guillame-Bert, Krysia Broda, Artur S. d'Avila Garcez |
| 2010 | IJCNN | SOAR - Sparse Oracle-based Adaptive Rule extraction: Knowledge extraction from large-scale datasets to detect credit card fraud. | Nick F. Ryman-Tubb, Artur S. d'Avila Garcez |
| 2008 | ICONIP | Symbolic Knowledge Extraction from Support Vector Machines: A Geometric Approach. | Lu Ren, Artur S. d'Avila Garcez |
| 2007 | AAAI | A Connectionist Cognitive Model for Temporal Synchronisation and Learning. | Lus C. Lamb, Rafael V. Borges, Artur S. d'Avila Garcez |
| 2007 | IJCAI | Towards Reasoning about the Past in Neural-symbolic Systems. | Rafael V. Borges, Lus C. Lamb, Artur S. d'Avila Garcez |
| 2007 | IJCAI | Editorial. | Artur S. d'Avila Garcez, Pascal Hitzler, Guglielmo Tamburrini |
| 2007 | IJCNN | Reasoning and Learning About Past Temporal Knowledge in Connectionist Models. | Rafael V. Borges, Lus C. Lamb, Artur S. d'Avila Garcez |
| 2006 | HIS | Combining Architectures for Temporal Learning in Neural-Symbolic Systems. | Rafael V. Borges, Lus C. Lamb, Artur S. d'Avila Garcez |
| 2006 | ICONIP | Improving VG-RAM Neural Networks Performance Using Knowledge Correlation. | Raphael V. Carneiro, Stiven Schwanz Dias, Dijalma Fardin, Hallysson Oliveira, Artur S. d'Avila Garcez, Alberto Ferreira de Souza |
| 2005 | CiE | Fewer Epistemological Challenges for Connectionism. | Artur S. d'Avila Garcez |
| 2005 | FlAIRS | Computing First-Order Logic Programs by Fibring Artificial Neural Networks. | Sebastian Bader, Artur S. d'Avila Garcez, Pascal Hitzler |
| 2004 | AAAI | Fibring Neural Networks. | Artur S. d'Avila Garcez, Dov M. Gabbay |
| 2004 | ECAI | Towards a Connectionist Argumentation Framework. | Artur S. d'Avila Garcez, Dov M. Gabbay, Lus C. Lamb |
| 2004 | ICONIP | Argumentation Neural Networks. | Artur S. d'Avila Garcez, Dov M. Gabbay, Lus C. Lamb |
| 2003 | FlAIRS | Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study. | Artur S. d'Avila Garcez, Lus C. Lamb, Krysia Broda, Dov M. Gabbay |
| 2003 | HIS | Neural-Symbolic Intuitionistic Reasoning. | Artur S. d'Avila Garcez, Lus C. Lamb, Dov M. Gabbay |
| 2003 | SEKE | Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach. | George Spanoudakis, Artur S. d'Avila Garcez, Andrea Zisman |
| 1998 | ICONIP | Inducing Relational Concepts with Neural Networks via the LINUS System. | Rodrigo Basilio, Gerson Zaverucha, Artur S. d'Avila Garcez |