Specification of nonmonotonic reasoning

DOI10.1080/11663081.2000.10510986zbMath1033.03515OpenAlexW1995228464MaRDI QIDQ4443410

Jan Treur, Joeri Engelfriet

Publication date: 13 January 2004

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

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

zbMATH Keywords

specification languagestemporal logicnonmonotonic reasoningbelief state framereasoning frame

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Temporal logic (03B44)

Related Items (3)

Formal semantics of meta-level architectures: Dynamic control of reasoning ⋮ Semantic formalization of interactive reasoning functionality ⋮ Minimal temporal epistemic logic

Cites Work

• A logic for default reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• Minimal temporal epistemic logic

This page was built for publication: Specification of nonmonotonic reasoning