A. S. d'Avila Garcez

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
AI beyond ChatGPT Journal of Applied Logics - IfCoLog Journal of Logics and their Applications	2025-11-21	Paper
Logic tensor networks Artificial Intelligence	2022-03-02	Paper
Runtime verification through forward chaining	2021-06-28	Paper
Runtime verification through forward chaining (available as arXiv preprint)	2021-06-28	Paper
Learning and reasoning with logic tensor networks AIIA 2016 Advances in Artificial Intelligence*	2020-02-10	Paper
A neural cognitive model of argumentation with application to legal inference and decision making Journal of Applied Logic	2014-04-24	Paper
Neural-symbolic systems and the case for non-classical reasoning	2011-06-21	Paper
Logical modes of attack in argumentation networks Studia Logica	2010-03-17	Paper
Neural-Symbolic Cognitive Reasoning Cognitive Technologies	2008-07-23	Paper
Abductive reasoning in neural-symbolic systems Topoi	2007-11-14	Paper
Connectionist modal logic: representing modalities in neural networks Theoretical Computer Science	2007-03-12	Paper
Connectionist computations of intuitionistic reasoning Theoretical Computer Science	2006-09-14	Paper
A Connectionist Computational Model for Epistemic and Temporal Reasoning Neural Computation	2006-07-17	Paper
Value-based Argumentation Frameworks as Neural-symbolic Learning Systems Journal Of Logic And Computation	2006-02-21	Paper
New Computational Paradigms Lecture Notes in Computer Science	2006-01-11	Paper
Advances in Artificial Intelligence – SBIA 2004 Lecture Notes in Computer Science	2005-08-22	Paper
scientific article; zbMATH DE number 1911276 (Why is no real title available?)	2003-05-15	Paper
Symbolic knowledge extraction from trained neural networks: A sound approach Artificial Intelligence	2001-08-20	Paper

Research outcomes over time

This page was built for person: A. S. d'Avila Garcez