Executable Temporal Logic for Non-monotonic Reasoning

• 1 November 1996
• journal article
• other
• Published by Elsevier in Journal of Symbolic Computation
• Vol. 22  (5) , 615-625
• https://doi.org/10.1006/jsco.1996.0068

Abstract

Keywords

• EXECUTABLE TEMPORAL LOGIC
• NON-MONOTONIC REASONING