A Connectionist Computational Model for Epistemic and Temporal Reasoning
From MaRDI portal
Publication:5476690
DOI10.1162/neco.2006.18.7.1711zbMath1106.68091OpenAlexW1986941609WikidataQ33342751 ScholiaQ33342751MaRDI QIDQ5476690
Luís C. Lamb, Artur S. d'Avila Garcez
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
Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27) General topics in artificial intelligence (68T01)
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