Artur S. d'Avila Garcez

176 papers A* 12A 6B 19C 23Misc 4Journal 60Unranked 42

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	A Semantic Framework for Neurosymbolic Computation (Abstract Reprint). IJCAI Simon Odense, Artur S. d'Avila Garcez
2025	J	`jnl`	Grokking Explained: A Statistical Phenomenon. CoRR Breno W. Carvalho, Artur S. d'Avila Garcez, Luís C. Lamb, Emilio Vital Brazil
2024	B	`conf`	Hypergraph Neural Networks with Logic Clauses. IJCNN João Pedro Gandarela de Souza, Gerson Zaverucha, Artur S. d'Avila Garcez
2023	C	`conf`	Closing the Neural-Symbolic Cycle: Knowledge Extraction, User Intervention and Distillation from Convolutional Neural Networks. NeSy Kwun Ho Ngan, James Phelan, Esma Mansouri-Benssassi, Joe Townsend, Artur S. d'Avila Garcez
2023	J	`jnl`	Continual Reasoning: Non-Monotonic Reasoning in Neurosymbolic AI using Continual Learning. CoRR Sofoklis Kyriakopoulos, Artur S. d'Avila Garcez
2023	C	`conf`	Continual Reasoning: Non-monotonic Reasoning in Neurosymbolic AI using Continual Learning. NeSy Sofoklis Kyriakopoulos, Artur S. d'Avila Garcez
2023	J	`jnl`	Contrastive counterfactual visual explanations with overdetermination. Mach. Learn. Adam White, Kwun Ho Ngan, James Phelan, Kevin Ryan, Saman Sadeghi Afgeh, Constantino Carlos Reyes-Aldasoro, Artur S. d'Avila Garcez
2023	A*	`conf`	Neurosymbolic Reasoning and Learning with Restricted Boltzmann Machines. AAAI Son N. Tran, Artur S. d'Avila Garcez
2023	J	`jnl`	Predicting recovery following stroke: deep learning, multimodal data and feature selection using explainable AI. CoRR Adam White, Margarita Saranti, Artur S. d'Avila Garcez, Thomas M. H. Hope, Cathy J. Price, Howard Bowman
2023	B	`ed.`	Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023. ICLP Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Alice Gaggl, Roberta Calegari, Artur S. d'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni
2023	C	`ed.`	Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, La Certosa di Pontignano, Siena, Italy, July 3-5, 2023. NeSy Artur S. d'Avila Garcez, Tarek R. Besold, Marco Gori, Ernesto Jiménez-Ruiz
2022	B	`conf`	Extracting Meaningful High-Fidelity Knowledge from Convolutional Neural Networks. IJCNN Kwun Ho Ngan, Artur S. d'Avila Garcez, Joseph Townsend
2022	A*	`conf`	Formalizing Consistency and Coherence of Representation Learning. NeurIPS Harald Strömfelt, Luke Dickens, Artur S. d'Avila Garcez, Alessandra Russo
2022	J	`jnl`	Logic Tensor Networks. Artif. Intell. Samy Badreddine, Artur S. d'Avila Garcez, Luciano Serafini, Michael Spranger
2022	—	`conf`	Neural-Symbolic Reasoning Under Open-World and Closed-World Assumptions. AAAI Spring Symposium: MAKE Benedikt Wagner, Artur S. d'Avila Garcez
2022	C	`ed.`	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, 2022. NeSy Artur S. d'Avila Garcez, Ernesto Jiménez-Ruiz
2021	J	`jnl`	A Practical Tutorial on Explainable AI Techniques. CoRR Adrien Bennetot, Ivan Donadello, Ayoub El Qadi, Mauro Dragoni, Thomas Frossard, Benedikt Wagner, Anna Saranti, Silvia Tulli, Maria Trocan, Raja Chatila, Andreas Holzinger, Artur S. d'Avila Garcez, Natalia Díaz Rodríguez
2021	J	`jnl`	Accountability in AI: From Principles to Industry-specific Accreditation. CoRR Chris Percy, Simo Dragicevic, Sanjoy Sarkar, Artur S. d'Avila Garcez
2021	J	`jnl`	Accountability in AI: From principles to industry-specific accreditation. AI Commun. Chris Percy, Simo Dragicevic, Sanjoy Sarkar, Artur S. d'Avila Garcez
2021	C	`conf`	Coherent and Consistent Relational Transfer Learning with Auto-encoders. NeSy Harald Strömfelt, Luke Dickens, Artur S. d'Avila Garcez, Alessandra Russo
2021	J	`jnl`	Contrastive Counterfactual Visual Explanations With Overdetermination. CoRR Adam White, Kwun Ho Ngan, James Phelan, Saman Sadeghi Afgeh, Kevin Ryan, Constantino Carlos Reyes-Aldasoro, Artur S. d'Avila Garcez
2021	J	`jnl`	Counterfactual Instances Explain Little. CoRR Adam White, Artur S. d'Avila Garcez
2021	—	`conf`	Graph-Based Neural Modules to Inspect Attention-Based Architectures, A Position Paper. TFSOCTAI@AAAI Fall Symposium Breno W. Carvalho, Artur S. d'Avila Garcez, Luís C. Lamb
2021	—	`ch.`	Logic Tensor Networks: Theory and Applications. Neuro-Symbolic Artificial Intelligence Luciano Serafini, Artur S. d'Avila Garcez, Samy Badreddine, Ivan Donadello, Michael Spranger, Federico Bianchi
2021	J	`jnl`	Logical Boltzmann Machines. CoRR Son N. Tran, Artur S. d'Avila Garcez
2021	—	`conf`	Neural-Symbolic Integration for Fairness in AI. AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering Benedikt Wagner, Artur S. d'Avila Garcez
2021	J	`jnl`	Neural-Symbolic Integration for Interactive Learning and Conceptual Grounding. CoRR Benedikt Wagner, Artur S. d'Avila Garcez
2021	—	`ch.`	Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. Neuro-Symbolic Artificial Intelligence Tarek R. Besold, Artur S. d'Avila Garcez, Sebastian Bader, Howard Bowman, Pedro M. Domingos, Pascal Hitzler, Kai-Uwe Kühnberger, Luís C. Lamb, Priscila Machado Vieira Lima, Leo de Penning, Gadi Pinkas, Hoifung Poon, Gerson Zaverucha
2021	C	`ed.`	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, 2021. NeSy Artur S. d'Avila Garcez, Ernesto Jiménez-Ruiz
2021	J	`jnl`	Synthetic Data Generation for Fraud Detection using GANs. CoRR Charitos Charitou, Simo Dragicevic, Artur S. d'Avila Garcez
2020	—	`conf`	A Machine Learning Approach for Colles' Fracture Treatment Diagnosis. MIUA Kwun Ho Ngan, Artur S. d'Avila Garcez, Karen M. Knapp, Andy Appelboam, Constantino Carlos Reyes-Aldasoro
2020	A*	`conf`	Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective. IJCAI Luís C. Lamb, Artur S. d'Avila Garcez, Marco Gori, Marcelo O. R. Prates, Pedro H. C. Avelar, Moshe Y. Vardi
2020	J	`jnl`	Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective. CoRR Luís C. Lamb, Artur S. d'Avila Garcez, Marco Gori, Marcelo O. R. Prates, Pedro H. C. Avelar, Moshe Y. Vardi
2020	J	`jnl`	Layerwise Knowledge Extraction from Deep Convolutional Networks. CoRR Simon Odense, Artur S. d'Avila Garcez
2020	—	`conf`	Lessons Learned from Problem Gambling Classification: Indirect Discrimination and Algorithmic Fairness. AI4SG@AAAI Fall Symposium Christian Percy, Artur S. d'Avila Garcez, Simo Dragicevic, Sanjoy Sarkar
2020	J	`jnl`	Logic Tensor Networks. CoRR Samy Badreddine, Artur S. d'Avila Garcez, Luciano Serafini, Michael Spranger
2020	A	`conf`	Measurable Counterfactual Local Explanations for Any Classifier. ECAI Adam White, Artur S. d'Avila Garcez
2020	—	`conf`	Neural-Symbolic Relational Reasoning on Graph Models: Effective Link Inference and Computation from Knowledge Bases. ICANN (1) Henrique Lemos, Pedro H. C. Avelar, Marcelo O. R. Prates, Artur S. d'Avila Garcez, Luís C. Lamb
2020	J	`jnl`	Neural-Symbolic Relational Reasoning on Graph Models: Effective Link Inference and Computation from Knowledge Bases. CoRR Henrique Lemos, Pedro H. C. Avelar, Marcelo O. R. Prates, Luís C. Lamb, Artur S. d'Avila Garcez
2020	A*	`conf`	Neuro-Symbolic Probabilistic Argumentation Machines. KR Régis Riveret, Son N. Tran, Artur S. d'Avila Garcez
2020	J	`jnl`	Neurosymbolic AI: The 3rd Wave. CoRR Artur S. d'Avila Garcez, Luís C. Lamb
2020	J	`jnl`	On the Transferability of VAE Embeddings using Relational Knowledge with Semi-Supervision. CoRR Harald Strömfelt, Luke Dickens, Artur S. d'Avila Garcez, Alessandra Russo
2020	J	`jnl`	Probabilistic approaches for music similarity using restricted Boltzmann machines. Neural Comput. Appl. Son N. Tran, Ngo Tung Son, Artur S. d'Avila Garcez
2020	B	`conf`	Semi-supervised GANs for Fraud Detection IJCNN Charitos Charitou, Artur S. d'Avila Garcez, Simo Dragicevic
2020	J	`jnl`	Sequence Classification Restricted Boltzmann Machines With Gated Units. IEEE Trans. Neural Networks Learn. Syst. Son N. Tran, Artur S. d'Avila Garcez, Tillman Weyde, Jie Yin, Qing Zhang, Mohan Karunanithi
2019	J	`jnl`	Editorial. FLAP Artur S. d'Avila Garcez, Tarek R. Besold
2019	J	`jnl`	Editorial: Booming of Neural Networks and Learning Systems. IEEE Trans. Neural Networks Learn. Syst. Akira Hirose, Alessio Micheli, Artur S. d'Avila Garcez, Choon Ki Ahn, Gang Pan, Hamid Reza Karimi, Jianbing Shen, José de Jesús Rubio, Lei Zhang, Lingjia Liu, Lorenzo Livi, Nian Zhang, Nishchal K. Verma, Pedro Antonio Gutiérrez, Qi Tian, Qinglai Wei, Seiichi Ozawa, Stuart H. Rubin, Wei-Neng Chen, Xi Li, Xiaofeng Liao, Youmin Zhang, Zhen Ni, Haibo He
2019	—	`conf`	Efficient Predicate Invention using Shared NeMuS. NeSy@IJCAI Edjard Mota, Jacob M. Howe, Ana Schramm, Artur S. d'Avila Garcez
2019	J	`jnl`	Efficient predicate invention using shared "NeMuS". CoRR Edjard Mota, Jacob M. Howe, Ana Schramm, Artur S. d'Avila Garcez
2019	J	`jnl`	Making Good on LSTMs Unfulfilled Promise. CoRR Daniel Philps, Artur S. d'Avila Garcez, Tillman Weyde
2019	J	`jnl`	Measurable Counterfactual Local Explanations for Any Classifier. CoRR Adam White, Artur S. d'Avila Garcez
2019	J	`jnl`	Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning. CoRR Artur S. d'Avila Garcez, Marco Gori, Luís C. Lamb, Luciano Serafini, Michael Spranger, Son N. Tran
2019	J	`jnl`	Neural-symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning. FLAP Artur S. d'Avila Garcez, Marco Gori, Luís C. Lamb, Luciano Serafini, Michael Spranger, Son N. Tran
2019	—	`ed.`	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, 2019 NeSy@IJCAI Derek Doran, Artur S. d'Avila Garcez, Freddy Lécué
2018	J	`jnl`	Continual Learning Augmented Investment Decisions. CoRR Daniel Philps, Tillman Weyde, Artur S. d'Avila Garcez, Roy Batchelor
2018	J	`jnl`	Deep Logic Networks: Inserting and Extracting Knowledge From Deep Belief Networks. IEEE Trans. Neural Networks Learn. Syst. Son Ngoc Tran, Artur S. d'Avila Garcez
2018	J	`jnl`	Speaker recognition with hybrid features from a deep belief network. Neural Comput. Appl. Hazrat Ali, Son Ngoc Tran, Emmanouil Benetos, Artur S. d'Avila Garcez
2018	J	`jnl`	Towards Symbolic Reinforcement Learning with Common Sense. CoRR Artur S. d'Avila Garcez, Aimore Resende Riquetti Dutra, Eduardo Alonso
2017	C	`conf`	A Comparison between Deep Q-Networks and Deep Symbolic Reinforcement Learning. NeSy Aimore R. R. Dutra, Artur S. d'Avila Garcez
2017	C	`conf`	Category-based Inductive Learning in Shared NeMuS. NeSy Ana Carolina Melik Schramm, Edjard de Souza Mota, Jacob M. Howe, Artur S. d'Avila Garcez
2017	C	`conf`	Confidence Values and Compact Rule Extraction From Probabilistic Neural Networks. NeSy Simon Odense, Artur S. d'Avila Garcez
2017	—	`conf`	Extracting M of N Rules from Restricted Boltzmann Machines. ICANN (2) Simon Odense, Artur S. d'Avila Garcez
2017	—	`conf`	Generalising the Discriminative Restricted Boltzmann Machines. ICANN (2) Srikanth Cherla, Son Ngoc Tran, Artur S. d'Avila Garcez, Tillman Weyde
2017	J	`jnl`	Human-Like Neural-Symbolic Computing (Dagstuhl Seminar 17192). Dagstuhl Reports Tarek R. Besold, Artur S. d'Avila Garcez, Luís C. Lamb
2017	C	`conf`	Inductive Learning in Shared Neural Multi-Spaces. NeSy Edjard de Souza Mota, Jacob M. Howe, Artur S. d'Avila Garcez
2017	C	`conf`	Learning about Actions and Events in Shared NeMuS. NeSy Milena Rodrigues Tenorio, Edjard de Souza Mota, Jacob M. Howe, Artur S. d'Avila Garcez
2017	Misc	`conf`	Learning and reasoning in logic tensor networks: theory and application to semantic image interpretation. SAC Luciano Serafini, Ivan Donadello, Artur S. d'Avila Garcez
2017	A*	`conf`	Logic Tensor Networks for Semantic Image Interpretation. IJCAI Ivan Donadello, Luciano Serafini, Artur S. d'Avila Garcez
2017	J	`jnl`	Logic Tensor Networks for Semantic Image Interpretation. CoRR Ivan Donadello, Luciano Serafini, Artur S. d'Avila Garcez
2017	J	`jnl`	Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. CoRR Tarek R. Besold, Artur S. d'Avila Garcez, Sebastian Bader, Howard Bowman, Pedro M. Domingos, Pascal Hitzler, Kai-Uwe Kühnberger, Luís C. Lamb, Daniel Lowd, Priscila Machado Vieira Lima, Leo de Penning, Gadi Pinkas, Hoifung Poon, Gerson Zaverucha
2017	B	`conf`	On the memory properties of recurrent neural models. IJCNN Arthur Jack Russell, Emmanouil Benetos, Artur S. d'Avila Garcez
2017	C	`ed.`	Proceedings of the Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, NeSy 2017, London, UK, July 17-18, 2017. NeSy Tarek R. Besold, Artur S. d'Avila Garcez, Isaac Noble
2017	J	`jnl`	Reasoning in Non-Probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples. CoRR Tarek R. Besold, Artur S. d'Avila Garcez, Keith Stenning, Leendert W. N. van der Torre, Michiel van Lambalgen
2017	J	`jnl`	Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples. Minds Mach. Tarek R. Besold, Artur S. d'Avila Garcez, Keith Stenning, Leendert W. N. van der Torre, Michiel van Lambalgen
2017	J	`jnl`	The Recurrent Temporal Discriminative Restricted Boltzmann Machines. CoRR Son N. Tran, Srikanth Cherla, Artur S. d'Avila Garcez, Tillman Weyde
2016	—	`conf`	A Proposal for Common Dataset in Neural-Symbolic Reasoning Studies. NeSy@HLAI Özgür Yilmaz, Artur S. d'Avila Garcez, Daniel L. Silver
2016	—	`conf`	Accuracy and Interpretability Trade-Offs in Machine Learning Applied to Safer Gambling. CoCo@NIPS Sanjoy Sarkar, Tillman Weyde, Artur S. d'Avila Garcez, Gregory G. Slabaugh, Simo Dragicevic, Chris Percy
2016	B	`conf`	Adaptive Transferred-profile Likelihood Learning. IJCNN Son Ngoc Tran, Artur S. d'Avila Garcez
2016	J	`jnl`	Fat-Fast VG-RAM WNN: A high performance approach. Neurocomputing Avelino Forechi, Alberto F. De Souza, Jorcy de Oliveira Neto, Edilson de Aguiar, Claudine Badue, Artur S. d'Avila Garcez, Thiago Oliveira-Santos
2016	J	`jnl`	Generalising the Discriminative Restricted Boltzmann Machine. CoRR Srikanth Cherla, Son N. Tran, Tillman Weyde, Artur S. d'Avila Garcez
2016	—	`conf`	Learning and Reasoning with Logic Tensor Networks. AI*IA Luciano Serafini, Artur S. d'Avila Garcez
2016	—	`conf`	Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge. NeSy@HLAI Luciano Serafini, Artur S. d'Avila Garcez
2016	J	`jnl`	Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge. CoRR Luciano Serafini, Artur S. d'Avila Garcez
2016	—	`ed.`	Proceedings of the NIPS Workshop on Cognitive Computation: Integrating Neural and Symbolic Approaches co-located with the 29th Annual Conference on Neural Information Processing Systems (NIPS 2015), Montreal, Canada, December 11-12, 2015. CoCo@NIPS Tarek Richard Besold, Artur S. d'Avila Garcez, Gary F. Marcus, Risto Miikkulainen
2016	—	`ed.`	Proceedings of the Workshop on Cognitive Computation: Integrating neural and symbolic approaches 2016 co-located with the 30th Annual Conference on Neural Information Processing Systems (NIPS 2016), Barcelona, Spain, December 9, 2016. CoCo@NIPS Tarek Richard Besold, Antoine Bordes, Artur S. d'Avila Garcez, Greg Wayne
2016	A	`conf`	The Need for Knowledge Extraction: Understanding Harmful Gambling Behavior with Neural Networks. ECAI Chris Percy, Artur S. d'Avila Garcez, Simo Dragicevic, Manoel V. M. França, Greg G. Slabaugh, Tillman Weyde
2015	—	`conf`	A System Dynamics Approach to Analyze Laboratory Test Errors. MIE Shijing Guo, Abdul V. Roudsari, Artur S. d'Avila Garcez
2015	Misc	`conf`	A hybrid recurrent neural network for music transcription. ICASSP Siddharth Sigtia, Emmanouil Benetos, Nicolas Boulanger-Lewandowski, Tillman Weyde, Artur S. d'Avila Garcez, Simon Dixon
2015	—	`conf`	Anchoring Knowledge in Interaction: Towards a Harmonic Subsymbolic/Symbolic Framework and Architecture of Computational Cognition. AGI Tarek Richard Besold, Kai-Uwe Kühnberger, Artur S. d'Avila Garcez, Alessandro Saffiotti, Martin H. Fischer, Alan Bundy
2015	B	`conf`	Discriminative learning and inference in the Recurrent Temporal RBM for melody modelling. IJCNN Srikanth Cherla, Son Ngoc Tran, Artur S. d'Avila Garcez, Tillman Weyde
2015	B	`conf`	Efficient representation ranking for transfer learning. IJCNN Son Ngoc Tran, Artur S. d'Avila Garcez
2015	—	`conf`	Hybrid Long- and Short-Term Models of Folk Melodies. ISMIR Srikanth Cherla, Son N. Tran, Tillman Weyde, Artur S. d'Avila Garcez
2015	—	`conf`	Modelling Clinical Diagnostic Errors: A System Dynamics Approach. ITCH Shijing Guo, Abdul V. Roudsari, Artur S. d'Avila Garcez
2015	—	`conf`	Neural Relational Learning Through Semi-Propositionalization of Bottom Clauses. AAAI Spring Symposia Manoel Vitor Macedo França, Gerson Zaverucha, Artur S. d'Avila Garcez
2015	—	`conf`	Neural-Symbolic Learning and Reasoning: Contributions and Challenges. AAAI Spring Symposia Artur S. d'Avila Garcez, Tarek R. Besold, Luc De Raedt, Peter Földiák, Pascal Hitzler, Thomas Icard, Kai-Uwe Kühnberger, Luís C. Lamb, Risto Miikkulainen, Daniel L. Silver
2015	B	`conf`	Neural-symbolic monitoring and adaptation. IJCNN Alan Perotti, Artur S. d'Avila Garcez, Guido Boella
2015	—	`conf`	Relational Knowledge Extraction from Neural Networks. CoCo@NIPS Manoel Vitor Macedo França, Artur S. d'Avila Garcez, Gerson Zaverucha
2015	B	`conf`	Runtime Verification Through Forward Chaining. RV Alan Perotti, Guido Boella, Artur S. d'Avila Garcez
2014	—	`conf`	A Causal Loop Approach to the Study of Diagnostic Errors. MIE Shijing Guo, Abdul V. Roudsari, Artur S. d'Avila Garcez
2014	J	`jnl`	A Hybrid Recurrent Neural Network For Music Transcription. CoRR Siddharth Sigtia, Emmanouil Benetos, Nicolas Boulanger-Lewandowski, Tillman Weyde, Artur S. d'Avila Garcez, Simon Dixon
2014	J	`jnl`	A neural cognitive model of argumentation with application to legal inference and decision making. J. Appl. Log. Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb
2014	—	`conf`	An RNN-based Music Language Model for Improving Automatic Music Transcription. ISMIR Siddharth Sigtia, Emmanouil Benetos, Srikanth Cherla, Tillman Weyde, Artur S. d'Avila Garcez, Simon Dixon
2014	B	`conf`	Applying Neural-Symbolic Cognitive Agents in Intelligent Transport Systems to reduce CO2 emissions. IJCNN Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, Arjan Stuiver, John-Jules Ch. Meyer
2014	J	`jnl`	Fast relational learning using bottom clause propositionalization with artificial neural networks. Mach. Learn. Manoel V. M. França, Gerson Zaverucha, Artur S. d'Avila Garcez
2014	—	`conf`	Feature Preprocessing with Restricted Boltzmann Machines for Music Similarity Learning. Semantic Audio Son N. Tran, Daniel Wolff, Tillman Weyde, Artur S. d'Avila Garcez
2014	B	`conf`	Learning motion-difference features using Gaussian restricted Boltzmann machines for efficient human action recognition. IJCNN Son Ngoc Tran, Emmanouil Benetos, Artur S. d'Avila Garcez
2014	—	`conf`	Low-Cost Representation for Restricted Boltzmann Machines. ICONIP (1) Son Ngoc Tran, Artur S. d'Avila Garcez
2014	—	`conf`	Multiple Viewpiont Melodic Prediction with Fixed-Context Neural Networks. ISMIR Srikanth Cherla, Tillman Weyde, Artur S. d'Avila Garcez
2014	B	`conf`	Neural Networks for Runtime Verification. IJCNN Alan Perotti, Artur S. d'Avila Garcez, Guido Boella
2014	J	`jnl`	Neural-Symbolic Learning and Reasoning (Dagstuhl Seminar 14381). Dagstuhl Reports Artur S. d'Avila Garcez, Marco Gori, Pascal Hitzler, Luís C. Lamb
2014	A	`conf`	Neural-symbolic cognitive agents: architecture, theory and application. AAMAS Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer
2014	—	`conf`	Runtime Verification Through Forward Chaining. HCVS Alan Perotti, Guido Boella, Artur S. d'Avila Garcez
2014	—	`conf`	Scalable Process Monitoring through Rules and Neural Networks. SIMPDA Alan Perotti, Guido Boella, Artur S. d'Avila Garcez
2013	—	`conf`	A Distributed Model For Multiple-Viewpoint Melodic Prediction. ISMIR Srikanth Cherla, Tillman Weyde, Artur S. d'Avila Garcez, Marcus T. Pearce
2013	J	`jnl`	Adaptive Feature Ranking for Unsupervised Transfer Learning. CoRR Son N. Tran, Artur S. d'Avila Garcez
2013	—	`conf`	Dreaming Machines: On multimodal fusion and information retrieval using neural-symbolic cognitive agents. ICCSW Leo de Penning, Artur S. d'Avila Garcez, John-Jules Ch. Meyer
2013	—	`conf`	Relational Knowledge Extraction from Attribute-Value Learners. ICCSW Manoel V. M. França, Artur S. d'Avila Garcez, Gerson Zaverucha
2012	—	`conf`	A Neural-Symbolic Cognitive Agent with a Mind's Eye. NeSy@AAAI H. L. H. de Penning, R. J. M. den Hollander, Henri Bouma, Gertjan J. Burghouts, Artur S. d'Avila Garcez
2012	A	`conf`	Learning and reasoning about norms using neural-symbolic systems. AAMAS Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Alan Perotti, Leendert W. N. van der Torre
2012	B	`conf`	Multi-instance learning using recurrent neural networks. IJCNN Artur S. d'Avila Garcez, Gerson Zaverucha
2012	J	`jnl`	Reports of the AAAI 2012 Conference Workshops. AI Mag. Vikas Agrawal, Jorge A. Baier, Kostas E. Bekris, Yiling Chen, Artur S. d'Avila Garcez, Pascal Hitzler, Patrik Haslum, Dietmar Jannach, Edith Law, Freddy Lécué, Luís C. Lamb, Cynthia Matuszek, Héctor Palacios, Biplav Srivastava, Lokendra Shastri, Nathan R. Sturtevant, Roni Stern, Stefanie Tellex, Stavros Vassos
2011	A*	`conf`	A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning. IJCAI Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer
2011	C	`conf`	Embedding Normative Reasoning into Neural Symbolic Systems. NeSy Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Leon van der Torre
2011	J	`jnl`	Learning and Representing Temporal Knowledge in Recurrent Networks. IEEE Trans. Neural Networks Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb
2011	A*	`conf`	Learning to adapt requirements specifications of evolving systems. ICSE Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb, Bashar Nuseibeh
2011	A	`conf`	Neural symbolic architecture for normative agents. AAMAS Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Dino Ienco, Leendert W. N. van der Torre
2011	—	`conf`	Neural-Symbolic Cognitive Agents: Architecture and Theory. ICCSW Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer
2011	C	`ed.`	Proceedings of the Seventh International Workshop on Neural-Symbolic Learning and Reasoning, Barcelona, Spain, July 17, 2011. NeSy Artur S. d'Avila Garcez, Pascal Hitzler, Luís C. Lamb
2010	B	`conf`	First-order logic learning in Artificial Neural Networks. IJCNN Mathieu Guillame-Bert, Krysia Broda, Artur S. d'Avila Garcez
2010	A*	`conf`	Integrating model verification and self-adaptation. ASE Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb
2010	—	`conf`	Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. ICANN (1) Ekaterina Komendantskaya, Krysia Broda, Artur S. d'Avila Garcez
2010	—	`conf`	Neurons and Symbols: A Manifesto. Learning paradigms in dynamic environments Artur S. d'Avila Garcez
2010	J	`jnl`	Reports of the AAAI 2010 Conference Workshops. AI Mag. David W. Aha, Mark S. Boddy, Vadim Bulitko, Artur S. d'Avila Garcez, Prashant Doshi, Stefan Edelkamp, Christopher W. Geib, Piotr J. Gmytrasiewicz, Robert P. Goldman, Pascal Hitzler, Charles L. Isbell Jr., Darsana P. Josyula, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory M. Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Y. Halevy, Lilyana Mihalkova, Sriraam Natarajan
2010	—	`conf`	Representing, Learning and Extracting Temporal Knowledge from Neural Networks: A Case Study. ICANN (2) Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb
2010	B	`conf`	SOAR - Sparse Oracle-based Adaptive Rule extraction: Knowledge extraction from large-scale datasets to detect credit card fraud. IJCNN Nick F. Ryman-Tubb, Artur S. d'Avila Garcez
2009	J	`jnl`	Logical Modes of Attack in Argumentation Networks. Stud Logica Dov M. Gabbay, Artur S. d'Avila Garcez
2009	—	`book`	Neural-Symbolic Cognitive Reasoning Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
2009	J	`jnl`	Preface: Reinforcement Learning. J. Algorithms Kostas Stathis, Artur S. d'Avila Garcez, Robert Givan
2009	C	`ed.`	Proceedings of the Fifth International Workshop on Neural-Symbolic Learning and Reasoning, NeSy 2009, Pasadena, CA, USA, July 11, 2009. NeSy Artur S. d'Avila Garcez, Pascal Hitzler
2008	C	`ed.`	Proceedings of the Fourth International Workshop on Neural-Symbolic Learning and Reasoning, NeSy 2008, Patras, Greece, July 21, 2008. NeSy Artur S. d'Avila Garcez, Pascal Hitzler
2008	—	`conf`	Symbolic Knowledge Extraction from Support Vector Machines: A Geometric Approach. ICONIP (2) Lu Ren, Artur S. d'Avila Garcez
2007	A*	`conf`	A Connectionist Cognitive Model for Temporal Synchronisation and Learning. AAAI Luís C. Lamb, Rafael V. Borges, Artur S. d'Avila Garcez
2007	—	`ch.`	Advances in Neural-Symbolic Learning Systems: Modal and Temporal Reasoning. Perspectives of Neural-Symbolic Integration Artur S. d'Avila Garcez
2007	J	`jnl`	Connectionist modal logic: Representing modalities in neural networks. Theor. Comput. Sci. Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
2007	C	`conf`	Editorial. NeSy Artur S. d'Avila Garcez, Pascal Hitzler, Guglielmo Tamburrini
2007	C	`ed.`	Proceedings of the 3rd International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'07, held at IJCAI-07, Hyderabad, India, January 8, 2007 NeSy Artur S. d'Avila Garcez, Pascal Hitzler, Guglielmo Tamburrini
2007	B	`conf`	Reasoning and Learning About Past Temporal Knowledge in Connectionist Models. IJCNN Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez
2007	C	`conf`	Towards Reasoning about the Past in Neural-symbolic Systems. NeSy Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez
2006	J	`jnl`	A Connectionist Computational Model for Epistemic and Temporal Reasoning. Neural Comput. Artur S. d'Avila Garcez, Luís C. Lamb
2006	C	`conf`	Combining Architectures for Temporal Learning in Neural-Symbolic Systems. HIS Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez
2006	J	`jnl`	Connectionist computations of intuitionistic reasoning. Theor. Comput. Sci. Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
2006	—	`conf`	Improving VG-RAM Neural Networks Performance Using Knowledge Correlation. ICONIP (1) Raphael V. Carneiro, Stiven Schwanz Dias, Dijalma Fardin, Hallysson Oliveira, Artur S. d'Avila Garcez, Alberto Ferreira de Souza
2005	—	`conf`	A Connectionist Model for Constructive Modal Reasoning. NIPS Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
2005	Misc	`conf`	Computing First-Order Logic Programs by Fibring Artificial Neural Networks. FLAIRS Sebastian Bader, Artur S. d'Avila Garcez, Pascal Hitzler
2005	C	`conf`	Fewer Epistemological Challenges for Connectionism. CiE Artur S. d'Avila Garcez
2005	—	`conf`	Neural-Symbolic Systems and the Case for Non-Classical Reasoning. We Will Show Them! (1) Artur S. d'Avila Garcez, Luís C. Lamb
2005	J	`jnl`	Value-based Argumentation Frameworks as Neural-symbolic Learning Systems. J. Log. Comput. Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb
2005	—	`ed.`	We Will Show Them! Essays in Honour of Dov Gabbay, Volume One We Will Show Them! (1) Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods
2005	—	`ed.`	We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two We Will Show Them! (2) Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods
2004	J	`jnl`	Applying connectionist modal logics to distributed knowledge representation problems. Int. J. Artif. Intell. Tools Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay
2004	B	`conf`	Argumentation Neural Networks. ICONIP Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb
2004	A*	`conf`	Fibring Neural Networks. AAAI Artur S. d'Avila Garcez, Dov M. Gabbay
2004	J	`jnl`	Journal of Applied Logic Special Volume on Neural-Symbolic Systems. J. Appl. Log. Artur S. d'Avila Garcez, Dov M. Gabbay, Steffen Hölldobler, John G. Taylor
2004	—	`conf`	Reasoning About Requirements Evolution Using Clustered Belief Revision. SBIA Odinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo
2004	A	`conf`	Towards a Connectionist Argumentation Framework. ECAI Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb
2003	J	`jnl`	Combining abductive reasoning and inductive learning to evolve requirements specifications. IEE Proc. Softw. Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
2003	Misc	`conf`	Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study. FLAIRS Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay
2003	C	`conf`	Neural-Symbolic Intuitionistic Reasoning. HIS Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
2003	—	`conf`	Reasoning about Time and Knowledge in Neural Symbolic Learning Systems. NIPS Artur S. d'Avila Garcez, Luís C. Lamb
2003	C	`conf`	Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach. SEKE George Spanoudakis, Artur S. d'Avila Garcez, Andrea Zisman
2002	—	`book`	Neural-symbolic learning systems - foundations and applications. Artur S. d'Avila Garcez, Krysia Broda, Dov M. Gabbay
2001	A*	`conf`	An Analysis-Revision Cycle to Evolve Requirements Specifications. ASE Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
2001	J	`jnl`	Symbolic knowledge extraction from trained neural networks: A sound approach. Artif. Intell. Artur S. d'Avila Garcez, Krysia Broda, Dov M. Gabbay
1999	J	`jnl`	The Connectionist Inductive Learning and Logic Programming System. Appl. Intell. Artur S. d'Avila Garcez, Gerson Zaverucha
1998	B	`conf`	Inducing Relational Concepts with Neural Networks via the LINUS System. ICONIP Rodrigo Basilio, Gerson Zaverucha, Artur S. d'Avila Garcez
1997	—	`conf`	Applying the connectionist inductive learning and logic programming system to power system diagnosis. ICNN Artur S. d'Avila Garcez, Gerson Zaverucha, Victor Navoarro Araujo Lemos da Silva