Executable temporal logic for non-monotonic reasoning

Joeri Engelfriet, Jan Treur

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

In this paper we view non-monotonic reasoning as a (special kind of) process. As temporal logic is a common formalism to specify and derive properties of processes, we introduce a variant of temporal logic as a general specification language for reasoning processes. We show that it is possible to execute finite specifications in this language, which leads to executability of a large class of finite non-monotonic reasoning processes.

Original languageEnglish
Pages (from-to)615-625
Number of pages11
JournalJOURNAL OF SYMBOLIC COMPUTATION
Volume22
Issue number5-6
DOIs
Publication statusPublished - Nov 1996

Fingerprint Dive into the research topics of 'Executable temporal logic for non-monotonic reasoning'. Together they form a unique fingerprint.

Cite this