Search

Professor Artur d'Avila Garcez

Professor of Computer Science

School of Science and TechnologyDepartment of Computer Science

Contact details

Address

Professor Artur d'Avila Garcez A304A, College Building
City, University of London
Northampton Square
London EC1V 0HB
United Kingdom

About

Overview

Professor Artur Garcez is Director of the Research Centre for Machine Learning at City, University of London. He holds a PhD in Computing (2000) from Imperial College London. He is a Fellow of the British Computer Society (FBCS).

Professor Garcez has an established track record of research in Machine Learning, Neural Computation and Artificial Intelligence. He is president of the steering committee of the
Neural-Symbolic Learning and Reasoning Association, and founding course director of City's MSc in Data Science. He has co-authored two books: Neural-Symbolic Cognitive Reasoning, 2009, and Neural-Symbolic Learning Systems, 2002. His research has led to publications in the journals Behavioral & Brain Sciences, Theoretical Computer Science, Neural Computation, Machine Learning, Journal of Logic and Computation, IEEE Transactions on Neural Networks, Journal of Applied Logic, Artificial Intelligence, and Studia Logica, and the flagship AI and Neural Computation conferences AAAI, NIPS, IJCAI, IJCNN, AAMAS and ECAI.

Professor Garcez holds editorial positions with several scientific journals in the fields of Computational Logic and Artificial Intelligence, and has been Programme Committee member for several conferences, including IJCAI, IJCNN, NIPS and AAAI.

Qualifications

  1. PhD Computing, Imperial College London, United Kingdom, 2000
  2. MSc Systems Engineering and Computing, Federal University of Rio de Janeiro, Brazil, 1996
  3. MEng Computing Engineering, Pontifical Catholic University of Rio de Janeiro, Brazil, 1993

Employment

  1. Professor of Computer Science, City, University of London, 2015 – present

Memberships of professional organisations

  1. Fellow, British Computer Society (BCS)
  2. Member, IEEE Computer Society
  3. Member, AAAI (Association for the Advancement of Artificial Intelligence)
  4. Member, City & Guilds College Association, London, UK
  5. Member, Computability in Europe (CiE) Association

Research

Research Interests

- Neural-Symbolic Computation, Neural Networks and Applied Logic, Complex Networks
- Machine Learning, Integrating Robust Learning and Reasoning under Uncertainty
- Cognitive Agents and Intelligent Systems, Knowledge Extraction, Visual Information Processing
- Business Process Evolution, Requirements Engineering, Automated Software Engineering

Publications

Publications by category

Books (4)

  • Garcez, A.S.D., Lamb, L.C. and Gabbay, D.M. (2009). Neural-Symbolic Cognitive Reasoning. Cognitive Technologies. Springer-Verlag New York Inc. ISBN 978-3-540-73245-7.
  • Artemov, S., Barringer, H., Garcez, A., Lamb, L.C. and Woods, J. (2005). We Will Show Them! Essays in Honour of Dov Gabbay. College Pubns. ISBN 978-1-904987-11-6.
  • Artemov, S., Barringer, H., Garcez, A., Lamb, L.C. and Woods, J. (2005). We Will Show Them! Essays in Honour of Dov Gabbay. College Pubns. ISBN 978-1-904987-26-0.
  • Garcez, A.S.D., Broda, K. and Gabbay, D.M. (2002). Neural-symbolic learning systems: Foundations and Applications. Perspectives in Neural Computing. Springer Verlag. ISBN 978-1-85233-512-0.

Chapters (11)

  • Besold, T.R., d’Avila Garcez, A., Bader, S., Bowman, H., Domingos, P., Hitzler, P. … Zaverucha, G. (2021). Chapter 1. Neural-Symbolic Learning and Reasoning: A Survey and Interpretation1. Frontiers in Artificial Intelligence and Applications IOS Press.
  • Serafini, L., d’Avila Garcez, A., Badreddine, S., Donadello, I., Spranger, M. and Bianchi, F. (2021). Chapter 17. Logic Tensor Networks: Theory and Applications. Frontiers in Artificial Intelligence and Applications IOS Press.
  • Perotti, A., Garcez, A.D. and Boella, G. (2015). Neural-symbolic monitoring and adaptation. IEEE.
  • Garcez, A.D. and Lamb, L.C. (2012). Learning and Argumentation in Neural-Symbolic Computation. In Seel, N.M. (Ed.), Encyclopedia of the Sciences of Learning Not Avail. ISBN 978-1-4419-1427-9.
  • Garcez, A.D. and Lamb, L.C. (2011). Cognitive Reasoning and Knowledge Representation. In Cutsuridis, V., Hussain, A. and Taylor, J.G. (Eds.), Perception-Action Cycle: Models, Algorithms and Hardware (p. 573). Springer Verlag. ISBN 978-1-4419-1451-4.
  • de Penning, L., Garcez, A.D., Lamb, L.C. and Meyer, J.J. (2011). A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning. Proceedings of the Twenty-Second international joint conference on Artificial Intelligence (pp. 1653–1658). ISBN 978-1-57735-514-4.
  • Garcez, A.D. (2007). Advances in Neural-Symbolic Learning Systems: Modal and Temporal Reasoning. In Hammer, B. and Hitzler, P. (Eds.), Perspectives of neural-symbolic integration Springer Verlag. ISBN 978-3-540-73953-1.
  • Garcez, A.D. and Lamb, L.C. (2005). Neural-Symbolic Systems and The Case for Non-Classical Reasoning. In Artemov, S., Barringer, H., Garcez, A.D., Lamb, L.C. and Woods, J. (Eds.), We Will Show Them! Essays in Honour of Dov Gabbay College Pubns. ISBN 978-1-904987-11-6.
  • Garcez, A.D. (2004). On Gabbay's Fibring Methodology for Bayesian and Neural Networks. In Gillies, D. (Ed.), Laws and models in science College Publications. ISBN 978-0-9543006-6-1.
  • Garcez, A.D., Lamb, L.C. and Gabbay, D.M. (2003). Neural-Symbolic Intuitionistic Reasoning. In Abraham, A., Köppen, M. and Franke, K. (Eds.), Frontiers in Artificial Intelligence and Applications IOS Press. ISBN 978-1-58603-394-1.
  • Garcez, A.D., Zaverucha, G. and de Carvalho, L.A.V. (1997). Logic Programming and Inductive Learning in Artificial Neural Networks. In H, C., Reine, F. and Strohmaier, A. (Eds.), Knowledge Representation in Neural Networks (pp. 33–46). ISBN 978-3-931216-77-1.

Conference papers and proceedings (84)

  • Wagner, B. and d'Avila Garcez, A. (2022). Neural-Symbolic Reasoning Under Open-World and Closed-World Assumptions.
  • Wagner, B. and d'Avila Garcez, A. (2021). Neural-symbolic integration for fairness in AI.
  • Charitou, C., Garcez, A.D. and Dragicevic, S. (2020). Semi-supervised GANs for Fraud Detection. 2020 International Joint Conference on Neural Networks (IJCNN) 19-24 July.
  • White, A. and D'Avila Garcez, A. (2020). Measurable counterfactual local explanations for any classifier.
  • Ngan, K.H., Garcez, A.D., Knapp, K.M., Appelboam, A. and Reyes-Aldasoro, C.C. (2020). A Machine Learning Approach for Colles’ Fracture Treatment Diagnosis.
  • Riveret, R., Tran, S. and Garcez, A.D.A. (2020). Neural-symbolic probabilistic argumentation machines.
  • Philps, D., Garcez, A.D. and Weyde, T. (2019). Making Good on LSTMs' Unfulfilled Promise. NeurIPS 2019 Workshop on Robust AI in Financial Services: Data, Fairness, Explainability, Trustworthiness, and Privacy 8-14 December, Vancouver.
  • Weyde, T., Philps, D. and d'Avila Garcez, A. (2018). Continual Learning Augmented Investment Decisions. 2018 NeurIPS Workshop on Challenges and Opportunities for AI in Financial Services: the Impact of Fairness, Explainability, Accuracy, and Privacy (FEAP-AI4Fin) 2-8 December, Montreal.
  • Donadello, I., Serafini, L. and d'Avila Garcez, A. (2017). Logic Tensor Networks for Semantic Image Interpretation. Twenty-Sixth International Joint Conference on Artificial Intelligence 19-26 August.
  • Russell, A.J., Benetos, E. and D'Avila Garcez, A. (2017). On the memory properties of recurrent neural models.
  • Serafini, L., Donadello, I. and Garcez, A.D. (2017). Learning and reasoning in logic tensor networks. SAC 2017: Symposium on Applied Computing.
  • Odense, S. and d’Avila Garcez, A. (2017). Extracting M of N Rules from Restricted Boltzmann Machines.
  • Tran, S.N. and Garcez, A.D. (2016). Adaptive Transferred-profile Likelihood Learning. 2016 International Joint Conference on Neural Networks (IJCNN) 24-29 July.
  • Sarkar, S., Weyde, T., Garcez, A.D.A., Slabaugh, G., Dragicevic, S. and Percy, C. (2016). Accuracy and interpretability trade-offs in machine learning applied to safer gambling.
  • Percy, C., D'Avila Garcez, A.S., Dragicevic, S., França, M.V.M., Slabaugh, G. and Weyde, T. (2016). The need for knowledge extraction: Understanding harmful gambling behavior with neural networks.
  • Yilmaz, O., D'Avila Garcez, A. and Silver, D. (2016). A proposal for common dataset in neural-symbolic reasoning studies.
  • Serafini, L. and Garcez, A.D.A. (2016). Logic tensor networks: Deep learning and logical reasoning from data and knowledge.
  • Cherla, S., Tran, S.N., Garcez, A.D. and Weyde, T. (2015). Discriminative learning and inference in the Recurrent Temporal RBM for melody modelling. 2015 International Joint Conference on Neural Networks (IJCNN) 12-17 July.
  • Tran, S.N. and Garcez, A.D. (2015). Efficient representation ranking for transfer learning. 2015 International Joint Conference on Neural Networks (IJCNN) 12-17 July.
  • Sigtia, S., Benetos, E., Boulanger-Lewandowski, N., Weyde, T., d'Avila Garcez, A.S. and Dixon, S. (2015). A hybrid recurrent neural network for music transcription. ICASSP 2015 - 2015 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) 19-24 April.
  • Garcez, A.D.A., Besold, T.R., De Raedt, L., Foldiak, P., Hitzler, P., Icard, T. … Silver, D.L. (2015). Neural-symbolic learning and reasoning: Contributions and challenges.
  • França, M.V.M., Zaverucha, G. and Garcez, A.S.D.A. (2015). Neural relational learning through semi-propositionalization of bottom clauses.
  • Perotti, A., Boella, G. and Garcez, A.D. (2015). Runtime Verification Through Forward Chaining.
  • França, M.V.M., D'Avila Garcez, A.S. and Zaverucha, G. (2015). Relational knowledge extraction from neural networks.
  • Tran, S.N., Benetos, E. and d'Avila Garcez, A. (2014). Learning motion-difference features using Gaussian restricted Boltzmann machines for efficient human action recognition. 2014 International Joint Conference on Neural Networks (IJCNN) 6-11 July.
  • de Penning, L., d'Avila Garcez, A.S., Lamb, L.C., Stuiver, A. and Meyer, J.-.J.C. (2014). Applying Neural-Symbolic Cognitive Agents in Intelligent Transport Systems to reduce CO<inf>2</inf> emissions. 2014 International Joint Conference on Neural Networks (IJCNN) 6-11 July.
  • Perotti, A., d'Avila Garcez, A. and Boella, G. (2014). Neural Networks for Runtime Verification. 2014 International Joint Conference on Neural Networks (IJCNN) 6-11 July.
  • Tran, S.N., Wolff, D., Weyde, T. and Garcez, A.D.A. (2014). Feature preprocessing with Restricted Boltzmann Machines for music similarity learning.
  • Sigtia, S., Benetos, E., Cherla, S., Weyde, T., d’Avila Garcez, A.S. and Dixon, S. (2014). An RNN-based music language model for improving automatic music transcription.
  • De Penning, L., D'Avila Garcez, A.S., Lamb, L.C. and Meyer, J.J.C. (2014). Neural-symbolic cognitive agents: Architecture, theory and application.
  • Perotti, A., Boella, G. and D'Avila Garcez, A. (2014). Scalable process monitoring through rules and neural networks.
  • França, M.V.M., Garcez, A.S.D. and Zaverucha, G. (2013). Relational knowledge extraction from attribute-value learners.
  • Boella, G., Colombo Tosatto, S., Garcez, A.D., Genovese, V., Ienco, L. and van der Torre, L. (2011). Embedding Normative Reasoning into Neural-Symbolic Systems. IJCAI Workshop on Neural-Symbolic Learning and Reasoning NeSy11 July, Barcelona.
  • Borges, R.V., Garcez, A.D., Lamb, L.C. and Nuseibeh, B. (2011). Learning to Adapt Requirements Specifications of Evolving Systems. 33rd International Conference on Software Engineering (ICSE'11), New Ideas and Emerging Results (NIER\ Track) May, Waikiki.
  • Boella, G., Colombo Tosatto, S., Garcez, A.D., Genovese, V., Ienco, D. and van der Torre, L. (2011). A Neural-Symbolic System for Normative Agents. 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'11) May, Taipei.
  • Garcez, A.D., Lamb, L.C. and Hitzler, P. (2011). Proceedings of IJCAI International Workshop on Neural-Symbolic Learning and Reasoning (NeSy11). Barcelona, Spain.
  • Borges, R.V., Garcez, A.D., Lamb, L.C., Nuseibeh, B. and IEEE, (2011). Learning to Adapt Requirements Specifications of Evolving Systems (NIER Track).
  • Garcez, A.D., de Penning, L., Lamb, L.C. and Meyer, J.J. (2010). An Integrated Neural Symbolic Cognitive Agent Architecture for Training and Assessment in Simulators. AAAI Workshop on Neural-Symbolic Learning and Reasoning NeSy'10 July, Georgia.
  • Komendantskaya, E., Broda, K. and Garcez, A.D. (2010). Using Inductive Types for Ensuring Correctness of Neuro-Symbolic Computations. Computability in Europe CiE 2010 June, Ponta Delgada, Portugal.
  • Boella, G., Colombo Tosatto, S., Garcez, A.D. and Genovese, V. (2010). On the Relationship between I-O Logic and Connectionism. Nonmonotonic Reasoning NMR 2010 Preferences and Norms workshop May, Toronto.
  • Garcez, A.D. (2010). Neurons and Symbols: A Manifesto. Dagstuhl Seminar Proceedings 10302. Learning paradigms in dynamic environments Schloss Dagstuhl Leibniz-Zentrum fuer Informatik.
  • Borges, R.V., Garcez, A.D. and Lamb, L.C. (2010). Representing, Learning and Extracting Temporal Knowledge from Neural Networks: A Case Study.
  • Komendantskaya, E., Broda, K. and Garcez, A.D.A. (2010). Neuro-symbolic representation of logic programs defining infinite sets.
  • Ryman-Tubb, N.F., Garcez, A.D. and IEEE, (2010). SOAR - Sparse Oracle-based Adaptive Rule Extraction: Knowledge extraction from large-scale datasets to detect credit card fraud.
  • Guillame-Bert, M., Broda, K. and Garcez, A.D. (2010). First-order Logic Learning in Artificial Neural Networks.
  • Ren, L. and Garcez, A.D.A. (2009). Symbolic knowledge extraction from support vector machines: A geometric approach.
  • Garcez, A.D. and Hitzler, P. (2009). Proceedings of IJCAI International Workshop on Neural-Symbolic Learning and Reasoning (NeSy09). Pasadena, USA.
  • Garcez, A.D. and Hitzler, P. (2008). Proceedings of ECAI International Workshop on Neural-Symbolic Learning and Reasoning (NeSy08). Patras, Greece.
  • Borges, R.V., Lamb, L.C. and Garcez, A.D. (2007). Reasoning and Learning about Past Temporal Knowledge in Connectionist Models. 20th International Joint Conference on Neural Networks (IJCNN 2007) August, Orlando.
  • Child, C., Stathis, K. and Garcez, A.D. (2007). Learning to Act with RVRL Agents. 14th RCRA Workshop, Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion July, Rome.
  • Lamb, L.C., Borges, R.V. and Garcez, A.D. (2007). A Connectionist Cognitive Model for Temporal Synchronisation and Learning. 22nd National Conference on Artificial Intelligence (AAAI 2007) July, Vancouver.
  • Borges, R.V., Lamb, L.C. and Garcez, A.D. (2007). Towards Reasoning about the Past in Neural-Symbolic Systems. IJCAI Workshop on Neural-Symbolic Learning and Reasoning NeSy07 January, Hyderabad, India.
  • Garcez, A.D., Hitzler, P. and Tamburrini, G. (2007). Proceedings of IJCAI International Workshop on Neural-Symbolic Learning and Reasoning (NeSy07). Hyderabad, India.
  • Borges, R.V., Lamb, L.C. and Garcez, A.D. (2006). Combining Architectures for Temporal Learning in Neural-Symbolic Systems. 6th International Conference on Hybrid Intelligent Systems ((HIS'06)) December.
  • Ray, O. and Garcez, A.D. (2006). Towards the Integration of Abduction and Induction in Artificial Neural Networks. ECAI Workshop on Neural-Symbolic Learning and Reasoning NeSy06 August, Riva del Garda, Italy.
  • Carneiro, R., Dias, S.S., Fardin Jr, D., Oliveira, H., Garcez, A.D. and de Souza, A.F. (2006). Improving VG-RAM Neural Network Performance using Knowledge Correlation. 13th International Conference on Neural Information Processing (ICONIP'06) Hong Kong.
  • Garcez, A.D., Lamb, L.C. and Gabbay, D.M. (2006). A Connectionist Model for Constructive Modal Reasoning. In Advances in Neural Information Processing Systems 18 (NIPS 2005) Vancouver.
  • Garcez, A.D., Hitzler, P. and Tamburrini, G. (2006). Proceedings of ECAI International Workshop on Neural-Symbolic Learning and Reasoning (NeSy06). Trento, Italy.
  • Hitzler, P., Bader, S. and Garcez, A.D. (2005). Ontology Learning as a Use-Case for Neural-Symbolic Integration. IJCAI Workshop on Neural-Symbolic Learning and Reasoning NeSy05 August, Edinburgh.
  • Garcez, A.D. (2005). Fewer Epistemological Challenges for Connectionism. Computability in Europe 2005: New Computational Paradigms Amsterdam.
  • Bader, S. and Garcez, A.D. (2005). Computing First Order Logic Programs by Fibring Artificial Neural Networks. 18th International FLAIRS Conference Florida.
  • Garcez, A.D., Elman, J. and Hitzler, P. (2005). Proceedings of IJCAI International Workshop on Neural-Symbolic Learning and Reasoning (NeSy05). Edinburgh, Scotland.
  • Rodrigues, O., Garcez, A.D.A. and Russo, A. (2004). Reasoning about requirements evolution using clustered belief revision.
  • Garcez, A.D., Gabbay, D. and Lamb, L.C. (2004). Argumentation neural networks.
  • Garcez, A.D., Gabbay, D.M. and Lamb, L.C. (2004). Towards a Connectionist Argumentation Framework. 16th European Conference on Artificial Intelligence (ECAI'04) Valencia.
  • Garcez, A.D. and Gabbay, D.M. (2004). Fibring Neural Networks. 19th National Conference on Artificial Intelligence (AAAI'04) San Jose, California.
  • Garcez, A.D. and Lamb, L.C. (2004). Reasoning about Time and Knowledge in Neural-Symbolic Learning Systems. Advances in Neural Information Processing Systems 16 (NIPS 2003) Vancouver.
  • Garcez, A.D., Dustdar, S., Gall, H., Lucia, A., Mana, A., Menzies, T. … Russo, A. (2004). Proceedings of Automated Software Engineering: Workshops at the 19th International Conference on Automated Software Engineering ASE'04.
  • Rodrigues, O., Garcez, A.D. and Russo, A. (2003). Reasoning about Requirements Evolution using Clustered Belief Revision. ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering (WITSE'03) September, Helsinki.
  • Spanoudakis, G., Garcez, A.D. and Zisman, A. (2003). Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach. Fifteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'03) July, San Francisco.
  • Garcez, A.D., Lamb, L.C., Broda, K. and Gabbay, M. (2003). Distributed Knowledge Representation in Neural--Symbolic Learning Systems: A Case Study. AAAI International FLAIRS Conference Florida.
  • Spanoudakis, G., Zisman, A. and Garcez, A. (2003). Proceedings of Workshop on Intelligent Technologies for Software Engineering (WITSE03). In conjunction with the 9th European Software Engineering Conference and the 11th Symposium on Foundations of Software Engineering.
  • Garcez, A.D., Lamb, L.C. and Gabbay, D.M. (2002). A Connectionist Inductive Learning System for Modal Logic Programming. 9th IEEE International Conference on Neural Information Processing ICONIP'02 November, Singapore.
  • Garcez, A.D. (2002). Extended Theory Refinement in Knowledge-based Neural Networks. IEEE International Joint Conference on Neural Networks (IJCNN'2002). World Congress on Computational Intelligence May, Hawaii.
  • Garcez, A.D., Russo, A., Nuseibeh, B. and Kramer, K. (2001). An Analysis-Revision Cycle to Evolve Requirements Specifications. 16th IEEE International Conference on Automated Software Engineering (ASE-2001) November, San Diego.
  • Broda, K., Garcez, A.D. and Gabbay, D.M. (2000). Metalevel Priorities and Neural Networks. Workshop on the Foundations of Connectionist-Symbolic Integration ECAI2000 August, Berlin.
  • Garcez, A.D., Broda, K., Gabbay, D.M. and de Souza, A.F. (1999). Knowledge Extraction from Trained Neural Networks: A Position Paper. 6th IEEE International Conference on Neural Information Processing ICONIP'99 November, Australia.
  • Basilio, R., Zaverucha, G. and Garcez, A.D. (1998). Inducing Relational Concepts with Neural Networks via the LINUS System. 5th International Conference on Neural Information Processing ICONIP'98 October, Kitakyushu, Japan.
  • Garcez, A.D., Zaverucha, G. and da Silva, V.N.L. (1997). Applying the Connectionist Inductive Learning and Logic Programming System to Power Systems Diagnosis. IEEE International Joint Conference on Neural Networks (IJCNN'97) June, Houston.
  • Garcez, A.D., Zaverucha, G. and de Carvalho, L.A.V. (1996). Logic Programming and Inductive Learning in Artificial Neural Networks. Workshop on Knowledge Representation and Neural Networks. XX German Conference on Artificial Intelligence KI96 September, Dresden, Germany.
  • Garcez, A.D., Zaverucha, G. and de Carvalho, L.A.V. (1996). Logical Inference and Inductive Learning in Artificial Neural Networks. Workshop on Neural Networks and Structured Knowledge ECAI'96 August, Budapest.
  • Garcez, A.D., Zaverucha, G. and da Silva, V.N.L. (1996). Programa çao em Lógica Estendida e Aprendizado Indutivo em Redes Neurais:Uma Aplicaçao em Sistemas de Potencia. 3rd Simposio Brasileiro de Redes Neurais (SBRN'96) Recife, Brasil.
  • Garcez, A.D., Zaverucha, G. and Carvalho, L.A.V. (1995). Inferencia Lógica e Aprendizado Automáatico em Redes Neurais: Uma Representaçao Integrada do Conhecimento. 2nd Congresso Brasileiro de Redes Neurais CBRN'95 October, Curitiba, Brazil.
  • Philps, D., Weyde, T., Garcez, A.D. and Batchelor, R. Continual Learning Augmented Investment Decisions.

Journal articles (56)

Reports (15)

Theses/dissertations (3)

  • Garcez, A.D. Nonmonotonic Theory Refinement in Artificial Neural Networks. (PhD Thesis)
  • Garcez, A.D. Um Sistema Neural para Programaçao em Lógica com Aprendizado Indutivo. (Master's Thesis)
  • Garcez, A.D. Redes Neurais: Fundamentos e Aplicaçoes. Final Year Project, Computing Engineering. (Undergraduate Dissertation)

Working paper