A. S. d'Avila Garcez

Available identifiers

Publication	Date of Publication	Type
Logic tensor networks	2022-03-02	Paper
Runtime verification through forward chaining	2021-06-28	Paper
Learning and reasoning with logic tensor networks	2020-02-10	Paper
A neural cognitive model of argumentation with application to legal inference and decision making	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	2010-03-17	Paper
Neural-Symbolic Cognitive Reasoning	2008-07-23	Paper
Abductive reasoning in neural-symbolic systems	2007-11-14	Paper
Connectionist modal logic: representing modalities in neural networks	2007-03-12	Paper
Connectionist computations of intuitionistic reasoning	2006-09-14	Paper
A Connectionist Computational Model for Epistemic and Temporal Reasoning	2006-07-17	Paper
Value-based Argumentation Frameworks as Neural-symbolic Learning Systems	2006-02-21	Paper
New Computational Paradigms	2006-01-11	Paper
Advances in Artificial Intelligence – SBIA 2004	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4806970	2003-05-15	Paper
Symbolic knowledge extraction from trained neural networks: A sound approach	2001-08-20	Paper

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