Programming in temporal-nonmonotonic reasoning

DOI10.1007/BF00249021zbMath0744.03030OpenAlexW2006013694MaRDI QIDQ1181723

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

nonmonotonic logiccompletenesstemporal reasoningalgorithm for the programming language TNcompiler for TN programstemporal-nonmonotonic reasoning language TN

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Temporal logic programming
• MOLOG: A system that extends PROLOG with modal logic
• Nonmonotonic logic and temporal projection
• Non-monotonic logic. I
• Temporal logic CTL \(+\) Prolog
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Nonmonotonic Logic II

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