Temporal Theories of Reasoning

ABSTRACT In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can be seen a...

[1]  Elias George Coenraad Thijsse,et al.  Partial logic and knowledge representation , 1992 .

[2]  Jan Treur,et al.  A bi-modular approach to nonmonotonic reasoning , 1991 .

[3]  Pattie Maes,et al.  Meta-Level Architectures and Reflection , 1988 .

[4]  Joeri Engelfriet.  A Temporal Model Theory for Default Logic , 1993, ECSQARU.

[5]  Robert E. Mercer,et al.  Non-Monotonic Logics: A Valuations-Based Approach , 1992, AIMSA.

[6]  Gérard Ligozat,et al.  Logical tools for temporal knowledge representation , 1993, Ellis Horwood series in artificial intelligence.

[7]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[8]  Erik Sandewall,et al.  A functional approach to non‐monotonic logic 1 , 1985 .

[9]  Johan van Benthem,et al.  The logic of time - a model-theoretic investigation into the varieties of temporal ontology and temporal discourse, 2nd Edition , 1982, Synthese library.

[10]  Paul Creelman,et al.  Book review: Partiality, Truth and Persistence by Tore Langholm (Lecture Notes 15 Ctr. for the Study of Lang. and Information. University of Chicago Press) , 1989, SGAR.

[11]  Richard W. Weyhrauch,et al.  Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..

[12]  Randall Davis,et al.  Meta-Rules: Reasoning about Control , 1980, Artif. Intell..

[13]  Dov M. Gabbay,et al.  Adding a temporal dimension to a logic system , 1992, J. Log. Lang. Inf..

[14]  William J. Clancey,et al.  Representing Control Knowledge as Abstract Task and Metarules. ONR Technical Report #15. , 1985 .

[15]  Jan Treur,et al.  Declarative Functionality Descriptions of Interactive Reasoning Modules , 1991, PDK.

[16]  Frank van Harmelen,et al.  Comparing formal specification languages for complex reasoning systems , 1993 .

[17]  R. Goldblatt.  Logics of Time and Computation , 1987 .

[18]  Dov M. Gabbay,et al.  Intuitonistic Basis for Non-Monotonic Logic , 1982, CADE.

[19]  Johan van Benthem.  Logic and the flow of information , 1995 .

[20]  Saul A. Kripke,et al.  Semantical Analysis of Intuitionistic Logic I , 1965 .

[21]  Jan Treur,et al.  Constructive Default Logic and the Control of defeasible reasoning , 1992, ECAI.