Executable temporal logic for non-monotonic reasoning

DOI10.1006/JSCO.1996.0068MaRDI QIDQ679335zbMATH OpenOpenAlexFDO

Authors Joeri Engelfriet, Jan Treur

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

execution of specificationsnonmonotonic reasoningspecification language for reasoning processestemporal epistemic logic

Mathematics Subject Classification ID

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

Recommendations

• Programming in temporal-nonmonotonic reasoning
• scientific article; zbMATH DE number 22186
• NONMONOTONIC TEMPORAL REASONING: A LOGIC-BASED APPROACH TO DECLARATIVE MODELING

Cited in

(11)

• Programming in temporal-nonmonotonic reasoning
• Minimal temporal epistemic logic
• Nonclausal deduction in first-order temporal logic
• Implementing a fair monodic temporal logic prover
• PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic
• scientific article; zbMATH DE number 4076583 (Why is no real title available?)
• scientific article; zbMATH DE number 22186 (Why is no real title available?)
• A compositional reasoning system for executing nonmonotonic theories of reasoning
• Formal semantics of meta-level architectures: Dynamic control of reasoning
• Semantic formalization of interactive reasoning functionality
• NONMONOTONIC TEMPORAL REASONING: A LOGIC-BASED APPROACH TO DECLARATIVE MODELING

Describes a project that uses

Uses Software

• METATEM

This page was built for publication: Executable temporal logic for non-monotonic reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q679335)