A Connectionist Computational Model for Epistemic and Temporal Reasoning
From MaRDI portal
Publication:5476690
DOI10.1162/neco.2006.18.7.1711zbMath1106.68091WikidataQ33342751 ScholiaQ33342751MaRDI QIDQ5476690
Artur S. d'Avila Garcez, Luís C. Lamb
Publication date: 17 July 2006
Published in: Neural Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1162/neco.2006.18.7.1711
68T05: Learning and adaptive systems in artificial intelligence
68T27: Logic in artificial intelligence
68T01: General topics in artificial intelligence
Cites Work
- Knowledge-based artificial neural networks
- A theory of the learnable
- Towards a unified theory of intensional logic programming
- Decision procedures for BDI logics
- Extending Temporal Logic Programming with Choice Predicates Non-determinism
- Complete Axiomatizations for Reasoning about Knowledge and Time
- Symbolic knowledge extraction from trained neural networks: A sound approach