Executable temporal logic for non-monotonic reasoning

DOI10.1006/JSCO.1996.0068zbMATH Open0890.03007OpenAlexW1987394778MaRDI QIDQ679335FDOQ679335

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

Recommendations

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

zbMATH Keywords

nonmonotonic reasoningexecution of specificationsspecification language for reasoning processestemporal epistemic logic

Mathematics Subject Classification ID

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

Cited In (9)

• A compositional reasoning system for executing nonmonotonic theories of reasoning
• NONMONOTONIC TEMPORAL REASONING: A LOGIC-BASED APPROACH TO DECLARATIVE MODELING
• Semantic formalization of interactive reasoning functionality
• Nonclausal deduction in first-order temporal logic
• PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic
• Title not available (Why is that?)
• Minimal temporal epistemic logic
• Implementing a fair monodic temporal logic prover
• Formal semantics of meta-level architectures: Dynamic control of reasoning

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)