Temporal Theories of Reasoning
暂无分享,去创建一个
[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.