Executable temporal logic for non-monotonic reasoning

DOI10.1006/jsco.1996.0068zbMath0890.03007OpenAlexW1987394778MaRDI QIDQ679335

Jan Treur, Joeri Engelfriet

Publication date: 23 June 1998

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/7cbd26b18602d1ccba11eaac1c86124948c2f323

zbMATH Keywords

nonmonotonic reasoningexecution of specificationsspecification language for reasoning processestemporal epistemic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Other applications of logic (03B80)

Related Items

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

Uses Software

• METATEM