Automated inference in active logics

DOI10.1080/11663081.1996.10510864zbMath0845.68096OpenAlexW2023463719MaRDI QIDQ4868232

No author found.

Publication date: 17 April 1996

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1996.10510864

zbMATH Keywords

commonsense reasoningobjects misidentification

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Unnamed Item
• Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
• Belief, awareness, and limited reasoning
• Maintaining mental models of agents who have existential misconceptions
• Generality in artificial intelligence

This page was built for publication: Automated inference in active logics