Artur S. d'Avila Garcez
Orcid: 0000-0001-7375-9518Affiliations:
- City University London, Department of Computer Science
According to our database1,
Artur S. d'Avila Garcez
authored at least 150 papers
between 1997 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on viaf.org
-
on twitter.com
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
On csauthors.net:
Bibliography
2023
Mach. Learn., September, 2023
Proceedings of the Compendium of Neurosymbolic Artificial Intelligence, 2023
Modular Neural Networks for Time Series Forecasting: Interpretability and Feature Selection using Attention.
CoRR, 2023
Predicting recovery following stroke: deep learning, multimodal data and feature selection using explainable AI.
CoRR, 2023
Closing the Neural-Symbolic Cycle: Knowledge Extraction, User Intervention and Distillation from Convolutional Neural Networks.
Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, 2023
Continual Reasoning: Non-monotonic Reasoning in Neurosymbolic AI using Continual Learning.
Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022
Proceedings of the International Joint Conference on Neural Networks, 2022
Proceedings of the AAAI 2022 Spring Symposium on Machine Learning and Knowledge Engineering for Hybrid Intelligence (AAAI-MAKE 2022), 2022
2021
Proceedings of the Neuro-Symbolic Artificial Intelligence: The State of the Art, 2021
Proceedings of the Neuro-Symbolic Artificial Intelligence: The State of the Art, 2021
CoRR, 2021
AI Commun., 2021
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), 2021
Proceedings of the AAAI 2021 Spring Symposium on Combining Machine Learning and Knowledge Engineering (AAAI-MAKE 2021), 2021
Graph-Based Neural Modules to Inspect Attention-Based Architectures, A Position Paper.
Proceedings of the Thinking Fast and Slow and Other Cognitive Theories in AI, 2021
2020
IEEE Trans. Neural Networks Learn. Syst., 2020
Neural Comput. Appl., 2020
On the Transferability of VAE Embeddings using Relational Knowledge with Semi-Supervision.
CoRR, 2020
Proceedings of the Medical Image Understanding and Analysis - 24th Annual Conference, 2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Proceedings of the 2020 International Joint Conference on Neural Networks, 2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Neural-Symbolic Relational Reasoning on Graph Models: Effective Link Inference and Computation from Knowledge Bases.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2020, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
2019
IEEE Trans. Neural Networks Learn. Syst., 2019
Neural-symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning.
FLAP, 2019
Efficient Predicate Invention using Shared NeMuS.
Proceedings of the 2019 International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2019), 2019
2018
IEEE Trans. Neural Networks Learn. Syst., 2018
Neural Comput. Appl., 2018
2017
Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples.
Minds Mach., 2017
Dagstuhl Reports, 2017
Learning and reasoning in logic tensor networks: theory and application to semantic image interpretation.
Proceedings of the Symposium on Applied Computing, 2017
Proceedings of the Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, 2017
Proceedings of the Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, 2017
Proceedings of the Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, 2017
Proceedings of the Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, 2017
Proceedings of the Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, 2017
Proceedings of the 2017 International Joint Conference on Neural Networks, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2017, 2017
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2017, 2017
2016
Accuracy and Interpretability Trade-Offs in Machine Learning Applied to Safer Gambling.
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), 2016
Proceedings of the 11th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'16) co-located with the Joint Multi-Conference on Human-Level Artificial Intelligence (HLAI 2016), 2016
Proceedings of the 11th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'16) co-located with the Joint Multi-Conference on Human-Level Artificial Intelligence (HLAI 2016), 2016
Proceedings of the 2016 International Joint Conference on Neural Networks, 2016
The Need for Knowledge Extraction: Understanding Harmful Gambling Behavior with Neural Networks.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016
2015
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), 2015
Proceedings of the Digital Healthcare Empowering Europeans, 2015
Proceedings of the Driving Quality in Informatics: Fulfilling the Promise, 2015
Proceedings of the 16th International Society for Music Information Retrieval Conference, 2015
Proceedings of the 2015 International Joint Conference on Neural Networks, 2015
Proceedings of the 2015 International Joint Conference on Neural Networks, 2015
Discriminative learning and inference in the Recurrent Temporal RBM for melody modelling.
Proceedings of the 2015 International Joint Conference on Neural Networks, 2015
Proceedings of the 2015 IEEE International Conference on Acoustics, 2015
Anchoring Knowledge in Interaction: Towards a Harmonic Subsymbolic/Symbolic Framework and Architecture of Computational Cognition.
Proceedings of the Artificial General Intelligence, 2015
Proceedings of the 2015 AAAI Spring Symposia, 2015
Proceedings of the 2015 AAAI Spring Symposia, 2015
2014
Fast relational learning using bottom clause propositionalization with artificial neural networks.
Mach. Learn., 2014
A neural cognitive model of argumentation with application to legal inference and decision making.
J. Appl. Log., 2014
Dagstuhl Reports, 2014
Proceedings of the Proceedings First Workshop on Horn Clauses for Verification and Synthesis, 2014
Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014), 2014
Feature Preprocessing with Restricted Boltzmann Machines for Music Similarity Learning.
Proceedings of the AES International Conference on Semantic Audio 2014, 2014
Proceedings of the e-Health - For Continuity of Care - Proceedings of MIE2014, the 25th European Medical Informatics Conference, Istanbul, Turkey, August 31, 2014
Proceedings of the 15th International Society for Music Information Retrieval Conference, 2014
Proceedings of the 15th International Society for Music Information Retrieval Conference, 2014
Learning motion-difference features using Gaussian restricted Boltzmann machines for efficient human action recognition.
Proceedings of the 2014 International Joint Conference on Neural Networks, 2014
Proceedings of the 2014 International Joint Conference on Neural Networks, 2014
Applying Neural-Symbolic Cognitive Agents in Intelligent Transport Systems to reduce CO2 emissions.
Proceedings of the 2014 International Joint Conference on Neural Networks, 2014
Proceedings of the Neural Information Processing - 21st International Conference, 2014
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
2013
Proceedings of the 14th International Society for Music Information Retrieval Conference, 2013
Dreaming Machines: On multimodal fusion and information retrieval using neural-symbolic cognitive agents.
Proceedings of the 2013 Imperial College Computing Student Workshop, 2013
Proceedings of the 2013 Imperial College Computing Student Workshop, 2013
2012
Proceedings of the Neural-Symbolic Learning and Reasoning (NeSy 2012), 2012
Proceedings of the Neural-Symbolic Learning and Reasoning (NeSy 2012), 2012
Proceedings of the Neural-Symbolic Learning and Reasoning (NeSy 2012), 2012
Proceedings of the 2012 International Joint Conference on Neural Networks (IJCNN), 2012
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
2011
IEEE Trans. Neural Networks, 2011
Proceedings of the Seventh International Workshop on Neural-Symbolic Learning and Reasoning, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the 33rd International Conference on Software Engineering, 2011
Proceedings of the 2011 Imperial College Computing Student Workshop, 2011
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011
2010
Proceedings of the ASE 2010, 2010
SOAR - Sparse Oracle-based Adaptive Rule extraction: Knowledge extraction from large-scale datasets to detect credit card fraud.
Proceedings of the International Joint Conference on Neural Networks, 2010
Proceedings of the International Joint Conference on Neural Networks, 2010
Proceedings of the Artificial Neural Networks - ICANN 2010, 2010
Representing, Learning and Extracting Temporal Knowledge from Neural Networks: A Case Study.
Proceedings of the Artificial Neural Networks, 2010
Proceedings of the Learning paradigms in dynamic environments, 25.07. - 30.07.2010, 2010
2009
Cognitive Technologies, Springer, ISBN: 978-3-540-73245-7, 2009
2008
Proceedings of the Advances in Neuro-Information Processing, 15th International Conference, 2008
2007
Proceedings of the Perspectives of Neural-Symbolic Integration, 2007
Theor. Comput. Sci., 2007
Proceedings of the International Joint Conference on Neural Networks, 2007
Proceedings of the 3rd International Workshop on Neural-Symbolic Learning and Reasoning, 2007
Proceedings of the 3rd International Workshop on Neural-Symbolic Learning and Reasoning, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Neural Comput., 2006
Proceedings of the Neural Information Processing, 13th International Conference, 2006
Proceedings of the 6th International Conference on Hybrid Intelligent Systems (HIS 2006), 2006
2005
J. Log. Comput., 2005
Proceedings of the Advances in Neural Information Processing Systems 18 [Neural Information Processing Systems, 2005
Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005
Proceedings of the New Computational Paradigms, 2005
Neural-Symbolic Systems and the Case for Non-Classical Reasoning.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005
2004
J. Appl. Log., 2004
Applying connectionist modal logics to distributed knowledge representation problems.
Int. J. Artif. Intell. Tools, 2004
Proceedings of the Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29, 2004
Proceedings of the Neural Information Processing, 11th International Conference, 2004
Towards a Connectionist Argumentation Framework.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004
2003
Combining abductive reasoning and inductive learning to evolve requirements specifications.
IEE Proc. Softw., 2003
Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003
Proceedings of the Advances in Neural Information Processing Systems 16 [Neural Information Processing Systems, 2003
Neural-Symbolic Intuitionistic Reasoning.
Proceedings of the Design and Application of Hybrid Intelligent Systems, 2003
Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study.
Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003
2002
Perspectives in neural computing, Springer, ISBN: 978-1-85233-512-0, 2002
2001
Artif. Intell., 2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
1999
Appl. Intell., 1999
1998
Inducing Relational Concepts with Neural Networks via the LINUS System.
Proceedings of the Fifth International Conference on Neural Information Processing, 1998
1997
Applying the connectionist inductive learning and logic programming system to power system diagnosis.
Proceedings of International Conference on Neural Networks (ICNN'97), 1997