Department of Computing

Artur d'Avila Garcez

Reader

Photo of Dr Artur d'Avila Garcez Dr Artur d'Avila Garcez
Reader
Room: A309
Department of Computing
School of Informatics
City University
London EC1V OHB

aag@soi.city.ac.uk
tel: +44 20 7040 8344
fax: +44 20 7040 0244

Artur Garcez is a Reader at the Department of Computing, School of Informatics, City University London.

He is an author of the books Neural-Symbolic Learning Systems: Foundations and Applications (Springer, 2002) and Neural-Symbolic Cognitive Reasoning (Springer, 2008).

He is area editor (Reasoning and Learning) of the Journal of Logic and Computation (OUP), editor (Logic and Neural Networks) of the Journal of Applied Logic (Elsevier), member of the editorial boards of the International Journal of Hybrid Intelligent Systems (IOS Press) and the Journal of Algorithms (Elsevier), associate editor of the International Journal on Artificial Intelligence Tools (World Scientific), associate member of Behavioral and Brain Sciences (CUP), and member of the advisory board of the Cognitive Technologies book series (Springer).

Artur Garcez holds an M.Eng. in Computing Engineering, an M.Sc. in Computing and Systems Engineering and a Ph.D. in Computing (D.I.C). He holds a Visiting Research Fellowship at the Department of Computer Science, King's College London. He is a member of the City and Guilds College Association, a member of the British Computer Society, and Research Consultant for Performance Sistemas & Metodos, Ltd. He is grateful to the Nuffield Foundation and the Royal Society for their financial support.


Neural-Symbolic Computation

Selected Publications (complete list available here):

  1. Artur S. d'Avila Garcez, L. C. Lamb and D. M. Gabbay. Neural-Symbolic Cognitive Reasoning. Cognitive Technologies, Springer, ISBN 978-3-540-73245-7, 2008.

  2. Artur S. d'Avila Garcez, D. M. Gabbay, O. Ray and J. Woods. Abductive Reasoning in Neural-Symbolic Learning Systems. Topoi: An International Review of Philosophy, 26:37-49, March 2007.

  3. Artur S. d'Avila Garcez, L. C. Lamb and D. M. Gabbay. Connectionist Modal Logic: Representing Modalities in Neural Networks. Theoretical Computer Science, 371(1-2):34-53, February 2007.

  4. Artur S. d'Avila Garcez, L. C. Lamb and D. M. Gabbay. Connectionist Computations of Intuitionistic Reasoning. Theoretical Computer Science, 358(1):34-55, July 2006.

  5. Artur S. d'Avila Garcez and L. C. Lamb. A Connectionist Computational Model for Epistemic and Temporal Reasoning. Neural Computation, 18(7):1711-1738, July 2006.

  6. Artur S. d'Avila Garcez, D. M. Gabbay and L. C. Lamb. Value-based Argumentation Frameworks as Neural-Symbolic Learning Systems. Journal of Logic and Computation 15(6):1041-1058, December 2005.

  7. Artur S. d'Avila Garcez, K. Broda and D. M. Gabbay. Neural-Symbolic Learning Systems: Foundations and Applications, Perspectives in Neural Computing, Springer-Verlag, ISBN 1-85233-512-2, 2002.

  8. Artur S. d'Avila Garcez, K. Broda and D. M. Gabbay. Symbolic Knowledge Extraction from Trained Neural Networks: A Sound Approach. Artificial Intelligence, 125(1-2):153-205, January 2001.