Programming in temporal-nonmonotonic reasoning

DOI10.1007/BF00249021MaRDI QIDQ1181723zbMATH OpenOpenAlexFDO

Authors Tong Gao Tang

Publication date 27 June 1992

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00249021

zbMATH Keywords

completenesstemporal reasoningnonmonotonic logicalgorithm for the programming language TNcompiler for TN programstemporal-nonmonotonic reasoning language TN

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic programming (68N17) Theory of compilers and interpreters (68N20) Logic in computer science (03B70)

Recommendations

• Temporal logic programming
• scientific article; zbMATH DE number 54243
• Executable temporal logic for non-monotonic reasoning
• An overview of nonmonotonic reasoning and logic programming

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• MOLOG: A system that extends PROLOG with modal logic
• Non-monotonic logic. I
• Nonmonotonic Logic II
• Nonmonotonic logic and temporal projection
• Temporal logic CTL \(+\) Prolog
• Temporal logic programming

Cited in

(6)

• scientific article; zbMATH DE number 4106299 (Why is no real title available?)
• Efficient reasoning about rich temporal domains
• scientific article; zbMATH DE number 4185055 (Why is no real title available?)
• Integrating nonmonotonic and temporal constraint reasoning
• NONMONOTONIC TEMPORAL REASONING: A LOGIC-BASED APPROACH TO DECLARATIVE MODELING
• Non-monotonic temporal goals

This page was built for publication: Programming in temporal-nonmonotonic reasoning

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