The Dynamics of Reasoning

[1]  Jan Treur,et al.  Formal Semantics of Temporal Epistemic Reflection , 1994, META.

[2]  Georg Gottlob,et al.  Reasoning with parsimonious and moderately grounded expansions , 1992, Fundam. Informaticae.

[3]  Adrian Walker,et al.  Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..

[4]  Nicola Olivetti,et al.  A Sequent Calculus for Skeptical Default Logic , 1997, TABLEAUX.

[5]  Catholijn M. Jonker,et al.  Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning , 1997, EUROVAV.

[6]  Michael Fisher,et al.  A Survey of Concurrent METATEM - the Language and its Applications , 1994, ICTL.

[7]  Mark Wallace,et al.  Tight, Consistent and Computable Completions for Unrestricted Logic Programs , 1993, The Journal of Logic Programming.

[8]  Teodor C. Przymusinski The Well-Founded Semantics Coincides with the Three-Valued Stable Semantics , 1990, Fundam. Inform..

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

[10]  Georg Gottlob,et al.  Cumulative Default Logic: Finite Characterization, Algorithms, and Complexity , 1994, Artif. Intell..

[11]  Martin D. Davis,et al.  The Mathematics of Non-Monotonic Reasoning , 1980, Artif. Intell..

[12]  John L. Pollock,et al.  Defeasible Reasoning , 2020, Synthese Library.

[13]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[14]  Hector J. Levesque,et al.  All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..

[15]  Plantage Muidergracht Nexttime is Not Necessary ( Extended Abstract ) E d i t h S p a a n Depar tment of Mathemat ics and Compute r Science University of Amste rdam , 2022 .

[16]  Martín Abadi,et al.  Composing specifications , 1989, TOPL.

[17]  Michael Gelfond,et al.  Logic Programs with Classical Negation , 1990, ICLP.

[18]  David S. Johnson,et al.  Computers and In stractability: A Guide to the Theory of NP-Completeness. W. H Freeman, San Fran , 1979 .

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

[20]  Georg Gottlob,et al.  Complexity Results for Nonmonotonic Logics , 1992, J. Log. Comput..

[21]  Jianhua Chen,et al.  The Generalized Logic of only Knowing (GOL) That Covers the Notion of Epistemic Specifications , 1994, J. Log. Comput..

[22]  F.J.M.M. Veltman,et al.  Logics for conditionals. , 1985 .

[23]  Jan Treur,et al.  ON FORMAL SPECIFICATION OF DESIGN TASKS , 1994 .

[24]  David S. Johnson,et al.  A Catalog of Complexity Classes , 1991, Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity.

[25]  Raymond Reiter,et al.  Equality and Domain Closure in First-Order Databases , 1980, JACM.

[26]  Heinrich Herre,et al.  Compactness Properties of Nonmonotonic Inference Operations , 1994, JELIA.

[27]  Torsten Schaub,et al.  Possible Worlds Semantics for Default Logics , 1994, Fundam. Informaticae.

[28]  David Poole,et al.  What the Lottery Paradox Tells Us About Default Reasoning , 1989, KR.

[29]  David W. Etherington Reasoning With Incomplete Information , 1988 .

[30]  Orna Grumberg,et al.  How Linear Can Branching-Time Be? , 1994, ICTL.

[31]  Christos H. Papadimitriou,et al.  On Finding Extensions of Default Theories , 1992, ICDT.

[32]  Fangzhen Lin,et al.  A Logic of Knowledge and Justified Assumptions , 1992, Artif. Intell..

[33]  Johan van Benthem,et al.  Semantic Parallels in Natural Language and Computation , 1989 .

[34]  Francesco M. Donini,et al.  Ground Nonmonotonic Modal Logics , 1997, J. Log. Comput..

[35]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[36]  Robert A. Kowalski,et al.  Amalgamating language and metalanguage in logic programming , 1982 .

[37]  Dov M. Gabbay,et al.  Combining Temporal Logic Systems , 1996, Notre Dame J. Formal Log..

[38]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[39]  Anand S. Rao,et al.  An Abstract Architecture for Rational Agents , 1992, KR.

[40]  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.

[41]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[42]  Jan Treur,et al.  Relating Linear and Branching Time Temporal Models , 1994 .

[43]  Jan Treur Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning , 1994 .

[44]  Gerhard Brewka Reasoning about Priorities in Default Logic , 1994, AAAI.

[45]  E. A Emerson,et al.  Using Branching Time Logic to Synthesize Synchronization Skeletons , 1982 .

[46]  Jan Treur,et al.  A Logical Foundation for Verification , 1994, ECAI.

[47]  Dov M. Gabbay,et al.  A Structural Property on Modal Frames Characterizing Default Logic , 1996, Log. J. IGPL.

[48]  Dennis Dams,et al.  Practical symbolic model checking of the full µ-calculus using compositional abstractions , 1995 .

[49]  Michael Kifer,et al.  Transaction Logic Programming (or, A Logic of Procedural and Declarative Knowledge) , 1995 .

[50]  David Makinson,et al.  General Theory of Cumulative Inference , 1988, NMR.

[51]  Piero A. Bonatti,et al.  Sequent Calculi for Default and Autoepistemic Logics , 1996, TABLEAUX.

[52]  Karl Schlechta Preferential Choice Representation Theorems for Branching Time Structures , 1995, J. Log. Comput..

[53]  Ilkka Niemelä Implementing Circumscription Using a Tableau Method , 1996, ECAI.

[54]  Brian F. Chellas Modal Logic: Normal systems of modal logic , 1980 .

[55]  Robert Stalnaker A Theory of Conditionals , 2019, Knowledge and Conditionals.

[56]  Gerhard Brewka,et al.  Nonmonotonic Reasoning: Logical Foundations of Commonsense By Gerhard Brewka (Cambridge University Press, 1991) , 1991, SGAR.

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

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

[59]  Peter Gärdenfors,et al.  Nonmonotonic Inference Based on Expectations , 1994, Artif. Intell..

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

[61]  Joeri Engelfriet,et al.  Minimal Temporal Epistemic Logic , 1996, Notre Dame J. Formal Log..

[62]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[63]  Michael Kifer,et al.  Transaction Logic Programming , 1993, ICLP.

[64]  John McCarthy,et al.  Epistemological Problems of Artificial Intelligence , 1987, IJCAI.

[65]  Mark Stefik,et al.  Introduction to knowledge systems , 1995 .

[66]  Jan Treur,et al.  Executable Temporal Logic for Non-Monotonic Reasoning , 1996, J. Symb. Comput..

[67]  Alfred Tarski,et al.  Logic, Semantics, Metamathematics: Papers from 1923 to 1938 , 1958 .

[68]  Jan Treur,et al.  Semantics for Default Logic based on Specific Branching Time Models , 1996, ECAI.

[69]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[70]  F. V. Harmelen,et al.  Speci(cid:12)cation of Dynamics for Knowledge-based Systems (extended abstract) , 1998 .

[71]  Dov M. Gabbay,et al.  The imperative future: principles of executable temporal logic , 1996 .

[72]  Joseph Y. Halpern,et al.  Knowledge and common knowledge in a distributed environment , 1984, JACM.

[73]  Johan van Benthem,et al.  Back and Forth Between Modal Logic and Classical Logic , 1995, Log. J. IGPL.

[74]  Philippe Besnard,et al.  An Introduction to Default Logic , 1989, Symbolic Computation.

[75]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[76]  Xavier Caicedo Ferrer,et al.  A formal system for the non-theorems of the propositional calculus , 1978, Notre Dame J. Formal Log..

[77]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

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

[79]  Victor W. Marek,et al.  Default Reasoning System DeReS , 1996, KR.

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

[81]  Jan Treur,et al.  Temporal Theories of Reasoning , 1994, JELIA.

[82]  Fangzhen Lin,et al.  Applications of the Situation Calculus To Formalizing Control and Strategy Information: The Prolog Cut Operator , 1997, IJCAI.

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

[84]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[85]  P. Hayes The frame problem and related problems in artificial intelligence , 1971 .

[86]  M. de Rijke Extending modal logic , 1993 .

[87]  Gerhard Brewka,et al.  Adding Priorities and Specificity to Default Logic , 1994, JELIA.

[88]  Nicholas R. Jennings,et al.  Formal Specification of Multi-Agent Systems: A Real-World Case , 1995, ICMAS.

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

[90]  Robert Stalnaker,et al.  A Note on Non-Monotonic Modal Logic , 1993, Artif. Intell..

[91]  Frances M. T. Brazier,et al.  Principles of Compositional Multi-Agent System Development , 1997 .

[92]  Yde Venema,et al.  A Modal Logic of Information Change , 1998, TARK.

[93]  Hector J. Levesque,et al.  A Logic of Implicit and Explicit Belief , 1984, AAAI.

[94]  Kurt Konolige,et al.  On the Relation Between Default and Autoepistemic Logic , 1987, Artif. Intell..

[95]  Pierre Cointe,et al.  Meta-Level Architectures and Reflection , 1999 .

[96]  Max J. Cresswell,et al.  A companion to modal logic , 1984 .

[97]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[98]  Mordechai Ben-Ari,et al.  The temporal logic of branching time , 1981, POPL '81.

[99]  Craig Boutilier,et al.  Unifying Default Reasoning and Belief Revision in a Modal Framework , 1994, Artif. Intell..

[100]  J. M. Larrazabal,et al.  Reasoning about change , 1991 .

[101]  Dov M. Gabbay,et al.  The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems , 1987, Temporal Logic in Specification.

[102]  Yoav Shoham,et al.  Nonmonotonic Logics: Meaning and Utility , 1987, IJCAI.

[103]  Grzegorz Rozenberg,et al.  Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency , 1988, Lecture Notes in Computer Science.

[104]  Donald Perlis,et al.  Reasoning situated in time I: basic concepts , 1990, J. Exp. Theor. Artif. Intell..

[105]  Gerard A. W. Vreeswijk,et al.  Nonmonotonicity and Partiality in Defeasible Argumentation , 1992 .

[106]  J. Engelfriet Only Persistence Makes Nonmonotonicity Monotonous (extended abstract) , 1996 .

[107]  Gerd Wagner,et al.  Stable Models Are Generated by a Stabel Chain , 1997, J. Log. Program..

[108]  McDermottDrew Nonmonotonic Logic II , 1982 .

[109]  Catholijn M. Jonker,et al.  Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness , 1997, Int. J. Cooperative Inf. Syst..

[110]  Munindar P. Singh Multiagent Systems - A Theoretical Framework for Intentions, Know-How, and Communications , 1994, Lecture Notes in Computer Science.

[111]  Witold Łukaszewicz Non-monotonic reasoning : formalization of commonsense reasoning , 1990 .

[112]  J.F.A.K. van Benthem,et al.  Modal logic and classical logic , 1983 .

[113]  Jan Treur,et al.  Formal Specification of Compositional Architectures , 1992, ECAI.

[114]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[115]  Fiora Pirri,et al.  Definability and Commonsense Reasoning , 1997, Artif. Intell..

[116]  Henry Prakken,et al.  Logical Tools for Modelling Legal Argument , 1997 .

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

[118]  Audrey P. Ferry Topological characterizations for logic programming semantics , 1994 .

[119]  T. Langholm Partiality, truth and persistence , 1988 .

[120]  Dov M. Gabbay,et al.  Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.

[121]  Frans Voorbraak Preference-Based Semantics for Nonmonotonic Logics , 1993, IJCAI.

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

[123]  Joseph Y. Halpern A Theory of Knowledge and Ignorance for Many Agents , 1997, J. Log. Comput..

[124]  Torsten Schaub Assertional Default Theories: A Semantical View , 1991, KR.

[125]  Gunter Saake,et al.  TROLL: a language for object-oriented specification of information systems , 1996, TOIS.

[126]  Henry Prakken,et al.  A System for Defeasible Argumentation, with Defeasible Priorities , 1996, Artificial Intelligence Today.

[127]  David Makinson,et al.  General patterns in nonmonotonic reasoning , 1994 .

[128]  Erik Sandewall,et al.  A Functional Approach to Non-Monotonic Logic , 1985, IJCAI.

[129]  A. Prasad Sistla,et al.  The complexity of propositional linear temporal logics , 1982, STOC '82.

[130]  Victor W. Marek,et al.  Modal nonmonotonic logics: ranges, characterization, computation , 1991, JACM.

[131]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[132]  Grigori Schwarz In Search of a "True" Logic of Knowledge: The Nonmonotonic Perspective , 1995, Artif. Intell..

[133]  B. van Linder,et al.  Modal logics for rational agents , 1996 .

[134]  Robert A. Kowalski,et al.  Predicate Logic as Programming Language , 1974, IFIP Congress.

[135]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

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

[137]  F. Brazier,et al.  A LOGICAL THEORY OF DESIGN , 1996 .

[138]  Robert C. Moore Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[139]  Jan Treur,et al.  A Formal Model for the Dynamics of Compositional Reasoning Systems , 1994, ECAI.

[140]  David W. Etherington A Semantics for Default Logic , 1987, IJCAI.

[141]  Frank Veltman,et al.  Defaults in update semantics , 1996, J. Philos. Log..

[142]  Willem Groeneveld,et al.  Logical Investigations into Dynamic Semantics , 1995 .

[143]  Zohar Manna,et al.  Compositional Veri cation of Real-time Systems , 1994 .

[144]  Wanli Ma,et al.  An Overview of Temporal and Modal Logic Programming , 1994, ICTL.

[145]  Joseph Y. Halpern,et al.  The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds , 1989, J. Comput. Syst. Sci..

[146]  Joseph Y. Halpern,et al.  A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft , 1985, IJCAI.

[147]  Donald Perlis,et al.  Step-logic: reasoning situated in time , 1988 .

[148]  Johan van Benthem,et al.  Exploring logical dynamics , 1996, Studies in logic, language and information.

[149]  Yoav Shoham,et al.  Non-monotonic temporal reasoning , 1995 .

[150]  Torsten Schaub On Constrained Default Theories , 1992, ECAI.

[151]  Jan Treur,et al.  Temporalizing Epistemic Default Logic , 1998, J. Log. Lang. Inf..

[152]  Ronald Prescott Loui,et al.  Defeat among arguments: a system of defeasible inference , 1987, Comput. Intell..

[153]  Karl Schlechta,et al.  Some Results on Classical Preferential Models , 1992, J. Log. Comput..

[154]  Fangzhen Lin,et al.  Rules as Actions: A Situation Calculus Semantics for Logic Programs , 1997, J. Log. Program..

[155]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[156]  Kurt Konolige,et al.  Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning , 1988, AAAI.

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

[158]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[159]  Michael Fisher,et al.  Executable Modal and Temporal Logics , 1993, Lecture Notes in Computer Science.

[160]  Joeri Engelfriet Monotonicity and Persistence in Preferential Logics , 1998, J. Artif. Intell. Res..

[161]  Dov M. Gabbay,et al.  Meta-Reasoning in Executable Temporal Logic , 1991, KR.

[162]  Joseph Y. Halpern,et al.  Towards a Theory of Knowledge and Ignorance: Preliminary Report , 1989, NMR.

[163]  Adam J. Grove,et al.  Two modellings for theory change , 1988, J. Philos. Log..

[164]  Richard E. Ladner,et al.  The Computational Complexity of Provability in Systems of Modal Propositional Logic , 1977, SIAM J. Comput..