@book{ reiter_r:2001a, author = {Raymond Reiter}, title = {Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems}, publisher = {The {MIT} Press}, year = {2001}, address = {Cambridge, Massachusetts}, rtnote = {UMich MEDIA UNION LIBRARY Call No: Q 387 .R481 2001}, topic = {;} } @book{ levesque-lakemeyer:2000a, author = {Hector Levesque and Gerhard Lakemeyer}, title = {The Logic of Knowledge Bases}, publisher = {The {MIT} Press}, year = {2000}, address = {Cambridge, Massachusetts}, ISBN = {0-262-12232-4 (hardback)}, rtnote = {In RHT collection. AI Shelves.}, topic = {kr;epistemic-logic;nonmonotonic-logic;autepistemic-logic;} } @book{ fensel-etal:2002a, editor = {Dieter Fensel and Fausto Giunchiglia and Deborah McGuinness and Mary-Anne Williams}, title = {{KR2002}: Principles of Knowledge Representation and Reasoning}, year = {2002}, publisher = {Morgan Kaufmann}, address = {San Francisco, California}, topic = {kr;} } @book{ cohn_ag-etal:2000a, editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman}, title = {{KR}2000: Principles of Knowledge Representation and Reasoning}, publisher = {Morgan Kaufmann}, year = {2000}, address = {San Francisco}, topic = {kr;} } @incollection{ levy_ay:2000a, author = {Alon Y. Levy}, title = {Logic-Based Techniques in Data Integration}, booktitle = {Logic-Based Artificial Intelligence}, publisher = {Kluwer Academic Publishers}, year = {2000}, editor = {Jack Minker}, pages = {575--595}, address = {Dordrecht}, topic = {logic-in-AI;taxonomic-logics;knowledge-integration;} } @article{ cohen_pr1-levesque:1990a, author = {Philip R. Cohen and Hector J. Levesque}, title = {Intention Is Choice With Commitment}, journal = {Artificial Intelligence}, year = {1990}, volume = {42}, number = {3}, pages = {213--261}, rtnote = {In RHT collection.}, topic = {intention;practical-reasoning;foundations-of-planning;} } @inproceedings{ konolige-pollack:1990a, author = {Kurt Konolige and Martha Pollack}, title = {A Representationalist Theory of Intention}, year = {1993}, booktitle = {Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence}, editor = {Ruzena Bajcsy}, publisher = {Morgan Kaufmann}, address = {San Mateo, California}, missinginfo = {pages}, topic = {intention;} } @article{ pollack:1992a, author = {Martha Pollack}, title = {The Uses of Plans}, journal = {Artificial Intelligence}, volume = {57}, number = {1}, year = {1992}, pages = {43--68}, topic = {planning;intention;practical-reasoning;} } @incollection{ sadek:1992a, author = {M.D. Sadek}, title = {A Study in the Logic of Intention}, booktitle = {{KR}'92. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference}, publisher = {Morgan Kaufmann}, year = {1992}, editor = {Bernhard Nebel and Charles Rich and William Swartout}, pages = {462--473}, address = {San Mateo, California}, topic = {intention;agent-attitudes;} } @incollection{ baral-gelfond:2000a, author = {Chitta Baral and Michael Gelfond}, title = {Reasoning Agents in Dynamic Domains}, booktitle = {Logic-Based Artificial Intelligence}, publisher = {Kluwer Academic Publishers}, year = {2000}, editor = {Jack Minker}, pages = {257--279}, address = {Dordrecht}, topic = {logic-in-AI;agent-architectures;logic-programming; planning-formalisms;} } @article{ burkhard_hd-etal:1998a, author = {Hans-Dieter Burkhard and Markus Hannebauer and Jan Wendler}, title = {Belief-Desire-Intention Deliberation in Artificial Soccer}, journal = {The {AI} Magazine}, year = {1998}, volume = {1998}, number = {3}, pages = {87--93}, topic = {planning;agent-architectures;cognitive-robotics;} } @incollection{ rao_as-georgeff:1991a, author = {Anand S. Rao and Michael P. Georgeff}, title = {Modeling Rational Agents within a {BDI}-Architecture}, booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning}, publisher = {Morgan Kaufmann}, year = {1991}, editor = {James F. Allen and Richard Fikes and Erik Sandewall}, pages = {473--484}, address = {San Mateo, California}, rtnote = {Reading notes on file.}, topic = {kr;kr-course;foundations-of-planning;action-formalisms; agent-architectures;} } @book{ wobcke-etal:1998a, editor = {Wayne Wobcke and Maurice Pagnucco and C. Zhang}, title = {Agents and Multi-Agent Systems---Formalisms, Methodologies, and Applications}, publisher = {Springer-Verlag}, year = {1998}, address = {Berlin}, missinginfo = {E's 1st name}, topic = {multiagent-systems;agent-architectures;} } @article{ doyle-thomason_rh:1999a, author = {Jon Doyle and Richmond H. Thomason}, title = {Background to Qualitative Decision Theory}, journal = {{AI} Magazine}, year = {1999}, volume = {20}, number = {2}, pages = {55--68}, topic = {;} } @book{ vonwright:1983a, author = {Georg Henrik {{v}on Wright}}, title = {Practical Reason: Philosophical Papers, Volume 1}, publisher = {Cornell University Press}, year = {1983}, address = {Ithaca}, ISBN = {0801416736}, contentnote = {TC: 1. "Practical Inference", pp. 1--17 2. "On So-Called Practical Inference", pp. 18--34 3. "Determinism and the4 Study of Man", pp. 35--52 4. "Explanation and the Understanding of Action", pp. 53--67 5. "On Promises", pp. 83--99 6. "On the Logic of Norms and Actions", pp. 100--129 7. "Norms, Truth, and Logic", pp. 130--209 }, rtnote = {UMich GRADUATE LIBRARY, BC 145 .W751 1983.}, rtnote = {In RHT Collection. LLP authored shelves.}, topic = {practical-reasoning;} } @book{ vandertorre-tan:1997b, author = {Leendert W.N. {van der Torre}}, title = {Reasoning about Obligations: Defeasibility in Preference-Based Deontic Logic}, publisher = {Thesis Publishers}, year = {1997}, address = {Amsterdam}, rtnote = {In RHT collection. LL Shelves.}, topic = {deontic-logic;nonmonotonic-logic;} } @book{ horty:2001a, author = {John F. Horty}, title = {Agency and Deontic Logic}, publisher = {Oxford University Press}, year = {2001}, address = {Oxford}, ISBN = {0195134613}, rtnote = {In RHT Collection. LLP authored shelves.}, topic = {deontic-logic;practical-reasoning; ability;atit;foundations-of-decision-theory;} } @inproceedings{ mccarthy_j1:1993b, author = {John McCarthy}, title = {Notes on Formalizing Contexts}, booktitle = {Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence}, year = {1993}, editor = {Ruzena Bajcsy}, pages = {555--560}, publisher = {Morgan Kaufmann}, address = {San Mateo, California}, topic = {context;logic-of-context;} } @book{ lenat-guha:1989a, author = {Douglas B. Lenat and R.V. Guha}, title = {Building Large Knowledge-Based Systems: Representation and Inference in the {CYC} Project.}, publisher = {Addison-Wesley Publishing Company}, year = {1989}, address = {Reading, Massachusetts}, xref = {Review: mcdermott:1993a, neches:1993a, skuce:1993a, sowa:1993a.}, topic = {kr;large-kr-systems;kr-course;} } @techreport{ guha:1991a, author = {Ramanathan V. Guha}, title = {Contexts: a Formalization and Some Applications}, institution = {Stanford Computer Science Department}, number = {STAN-CS-91-1399}, year = {1991}, address = {Stanford, California}, rtnote = {Reading notes on file.}, rtnote = {In RHT collection. AI Shelves.}, topic = {kr;context;context;kr-course;contextual-reasoning; logic-of-context;} } @book{ bouquet-etal:1999a, editor = {Paolo Bouquet and Luigi Serafini and Patrick Br\'ezillon and Massimo Benerecetti and Francesca Castellani}, title = {Modeling and Using Contexts: Proceedings of the Second International and Interdisciplinary Conference, {CONTEXT}'99}, publisher = {Springer-Verlag}, year = {1999}, rtnote = {In RHT collection.}, address = {Berlin}, topic = {context;} } @incollection{ mccarthy_j1-buvac:1995a2, author = {John McCarthy and Sa\v{s}a Buva\v{c}}, title = {Formalizing Context (Expanded Notes)}, booktitle = {Computing Natural Language}, publisher = {{CSLI} Publications}, year = {1998}, editor = {Atocha Aliseda and Rob {van Glabbeek} and Dag Westerst{\aa}hl}, pages = {13--50}, address = {Stanford, California}, xref = {Repubication of: mccarthy_j1-buvac:1995a1.}, rtnote = {In RHT collection. PS version saved on Summer 00 zip. }, topic = {context;logic-of-context;} } @incollection{ horty:1994a, author = {John F. Horty}, title = {Some Direct Theories of Nonmonotonic Inheritance}, booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning}, publisher = {Oxford University Press}, year = {1994}, editor = {Dov Gabbay and Christopher J. Hogger and J. A. Robinson}, pages = {111--187}, topic = {inheritance-theory;} } @incollection{ thomason_rh:1992a, author = {Richmond H. Thomason}, title = {{NETL} and Subsequent Path-Based Inheritance Theories}, booktitle = {Semantic Networks in Artificial Intelligence}, publisher = {Pergamon Press}, year = {1992}, editor = {Fritz Lehmann}, pages = {179--204}, address = {Oxford}, xref = {Also published in Computers and Mathematics with Applications; vol. 23; 1992; 179--204}, topic = {kr;inheritance-theory;kr-course;} } @incollection{ brachman-etal:1991a, author = {Ronald J. Brachman and Deborah L. McGuinness and Peter F. Patel-Schneider and Lori A. Resnik}, title = {Living with {C}{\sc lassic}: When and How to Use a {K}{\sc l}-{O}{\sc ne}-Like Language}, booktitle = {Principles of Semantic Networks}, publisher = {Morgan Kaufmann}, year = {1991}, editor = {John F. Sowa}, pages = {401--456}, address = {San Mateo, California}, topic = {kr;taxonomic-logics;classic;kr-course;} } @incollection{ woods_wa-schmolze:1992a, author = {William A. Woods and James G. Schmolze}, title = {The {KL-O}{\sc ne} Family}, booktitle = {Semantic Networks in Artificial Intelligence}, publisher = {Pergamon Press}, year = {1992}, editor = {Fritz Lehmann}, pages = {133--177}, address = {Oxford}, xref = {Also published in Computers and Mathematics with Applications; vol. 23; 1992; 133--177}, topic = {kr;taxonomic-logics;kr-course;} } @incollection{ quine:1960a, author = {Willard V.O Quine}, title = {Variables Explained Away}, booktitle = {Selected Logic Papers}, publisher = {Harvard University Press}, year = {1960}, editor = {Willard V. Quine}, pages = {227--235}, address = {Cambridge, Massachusetts}, topic = {combinatory-logic;} } @phdthesis{ stone_m:1998a, author = {Matthew Stone}, title = {Modality in Dialogue: Planning, Pragmatics and Computation}, school = {Computer Science Department, University of Pennsylvania}, year = {1998}, type = {Ph.{D}. Dissertation}, address = {Philadelphia, Pennsylvania}, rtnote = {In RHT collection.}, topic = {modal-logic;theorem-proving;planning;epistemic-logic; nl-generation;} } @article{ hobbs-etal:1993a, author = {Jerry Hobbs and Mark Stickel and Douglas Appelt and Paul Martin}, title = {Interpretation as Abduction}, journal = {Artificial Intelligence}, year = {1993}, number = {1--2}, volume = {63}, pages = {69--142}, xref = {Tech report: hobbs-etal:1990a}, topic = {nl-interpretation;abduction;computational-pragmatics;} } @inproceedings{ asher-lascarides:1994a, author = {Nicholas Asher and Alex Lascarides}, title = {Intentions and Information in Discourse}, booktitle = {Proceedings of the Thirty-Second Meeting of the Association for Computational Linguistics}, year = {1994}, editor = {James Pustejovsky}, pages = {35--41}, organization = {Association for Computational Linguistics}, publisher = {Morgan Kaufmann}, address = {San Francisco}, topic = {discourse;pragmatics;} } @incollection{ asher-lascarides:1995b2, author = {Nicholas Asher and Alex Lascarides}, title = {Lexical Disambiguation in a Discourse Context}, booktitle = {Lexical Semantics: The Problem of Polysemy}, publisher = {Oxford University Press}, year = {1997}, editor = {James Pustejovsky and Brian Boguraev}, pages = {69--108}, address = {Oxford}, xref = {Republication of: asher-lascarides:1995b1.}, topic = {discourse;lexical-disambiguation;pragmatics;} } @incollection{ rounds:1996a, author = {William C. Rounds}, title = {Feature Logics}, booktitle = {Handbook of Logic and Language}, publisher = {Elsevier}, year = {1996}, editor = {Johan {van Benthem} and Alice {ter Meulen}}, pages = {475--533}, address = {Amsterdam}, topic = {featuRe-structure-grammar;feature-structure-logic; unification;grammar-logics;} } @article{ forbus-etal:1991a, author = {Kenneth D. Forbus and Paul Nielsen and Boi Faltings}, title = {Qualitative Spatial Reasoning: The {C}{\sc lock} Project}, journal = {Artificial Intelligence}, year = {1991}, volume = {51}, number = {1--3}, pages = {417--471}, topic = {qualitative-physics;spatial-reasoning;} } @article{ kapur_d-etal:1988a, author = {Deepak Kapur and Joseph L. Mundy}, title = {Geometric Reasoning and Artificial Intelligence: Introduction to the Special Volume}, journal = {Artificial Intelligence}, year = {1988}, volume = {37}, number = {1--3}, pages = {1--11}, topic = {spatial-reasoning;} } @article{ renz-nebel:1999a, author = {Jochen Renz and Bernhard Nebel}, title = {On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus}, journal = {Artificial Intelligence}, year = {1999}, volume = {108}, number = {1--2}, pages = {69--123}, topic = {spatial-reasoning;comnplexity-in-AI;} } @book{ stock:1997a, editor = {Oliviero Stock}, title = {Spatial and Temporal Reasoning}, publisher = {Kluwer Academic Publishers}, year = {1997}, address = {Dordrecht}, contentnote = {TC: 1. Laure Vieu, "Spatial Representation and Reasoning in {AI}", pp. 5--41 2. Alfonso Gerevini, "Reasoning about Time and Actions in {AI}", pp. 43--70 3. Roberto Casati and Achille C. Varzi, "Spatial Entities", pp. 73--96 4. Anthony G. Cohn and Brandon Bennett and John Gooday and Nicholas M. Gotts, "Representing and Reasoning with Qualitative Spatial Relations", pp. 97--134 5. Andrew U. Frank, "Spatial Ontology", pp. 135--153 6. Annette Herskovits, "Language, Spatial Cognition, and Vision", pp. 155--202 7. James F. Allen and George Ferguson, "Actions and Events in Interval Temporal Logic", pp. 203--245 8. Drew McDermott, "Probabilistic Projection in Planning", pp. 247--287 9. Erik Sandewall, "Underlying Semantics for Action and Change with Ramification", pp. 289--318 10. Anthony Galton, "Space, Time, and Movement", pp. 321--352 }, ISBN = {0792346440 (paper)}, rtnote = {UMich MEDIA UNION LIBRARY, Q 339.25 .S631 1997}, topic = {spatial-reasoning;temporal-reasoning;} } @article{ wilson_rh:1998a, author = {Randall H. Wilson}, title = {Geometric Reasoning about Assembly Tools}, journal = {Artificial Intelligence}, year = {1998}, volume = {98}, number = {1--2}, pages = {237--279}, topic = {assembly;spatial-reasoning;} } @article{ yeap-jeffreys:1999a, author = {Wai K. Yeap and Margaret E. Jeffries}, title = {Computing a Representation of the Local Environment}, journal = {Artificial Intelligence}, year = {1999}, volume = {107}, number = {2}, pages = {265--301}, topic = {qualitative-reasoning;spatial-reasoning;map-building;} } @book{ allwein-barwise:1996a, editor = {Gerard Allwein and Jon Barwise}, title = {Logical Reasoning With Diagrams}, publisher = {Oxford University Press}, year = {1996}, address = {Oxford}, rtnote = {In RHT collection. Shelf. Loaned to JT. 2/97. Read this.}, xref = {Review: derijke:1999a.}, topic = {diagrams;reasoning-with-diagrams; logical-reasoning;visual-reasoning;} } @book{ glasgow-etal:1995a, editor = {Janice Glasgow and N. Hari Narayanan and B. Chandrasekaran}, title = {Diagrammatic Reasoning}, publisher = {The {MIT} Press}, year = {1995}, address = {Cambridge, Massachusetts}, contentnote = {TC: 0. B. Chandrasekaran, Janice Glasgow and N. Hari Narayanan, "Introduction" 0'. Aaron Sloman, "Introduction (To Part {I}: Theoretical Foundations") 1. Aaron Sloman, "Musings on the Roles of Logical and Non-Logical Representations in Intelligence" 2. Brian Funt, "Problem Solving with Diagrammatic Representations" 3. Jill Larkin and Herbert Simon, "Why a Diagram Is (Sometimes) Worth 10000 Words" 4. Robert Lindsay, "Imagery and Inference" 5. Nancy Nercessian, "How Do Scientists Think? Capturing the Dynamics of COncedptual Change in Science" 6. Kenneth Forbus, "Qualitative Spatial Reasoning: Framework and Frontiers" 0'. Patrick Hayes, "Introduction (To Part {II}: Theoretical Foundations)" 7. Jon Barwise and John Etchemendy, "Heterogeneous Logic" 8. David Harel, "On Visual Formalisms" 9. Karen Myers and Kurt Konolige, "Reasoning with Analogical Representations" 10. Keith Stenning and Robert Inder and Irene Nelson, "Applying Semantic Concepts to Analyzing Media and Modalities" 11. Dejuan Wang and John Lee and Henk Zeevat, "Reasoning with Diagrammatic Representations" 0''. David Waltz, "Introduction (To Part {III}: Cognitive and Computational Models" 12. Yulin Qin and Herbert Simon, "Imagery and Mental Models in Problem Solving" 13. Janice Glasgow and Dmitri Papadias, "Computational Imagery" 14. Erika Rogers, "Visual Interaction: A Link between Perception and Problem Solving" 15. N. Hari Narayanan and Masaki Suwa and Hiroshi Motoda, "Behavior Hypothesis from Schematic Diagrams" 16. Mary Hegarty, "Mental Animation: Inferring Motion from Static Displays of Mechanical Systems" 17. Kenenth Koedinger and John Anderson, "Abstract Planning and Perceptual Chunks: Elements of Expertise in Geometry" 18. Christopher Habel and Simone Pribbenow and Geoffrey Simmons, "Partonomies and Depictions: A Hybrid Approach" 0'''. Yumi Iwasaka, "Introduction (To Part {IV}: Problem Solving with Diagrams)" 19. Francesco Gardin and Bernard Meltzer, "Analogical Representations of Naive Physics" 20. Timothy McDougal, "A Model of Interaction with Geometry Diagrams" 21. Shirley Tessler and Yumi Iwasaki and Kincho Law, "Qualitative Structural Analysis Using Diagrammatic Reasoning" 22. Jo DeKuyper and Didier Keymeulen and Luc Steels, "A Hybrid Architecture for Modeling Liquid Behavior" 23. Gordon Novak, "Diagrams for Solving Physical Problems" }, rtnote = {In Jamie Tappenden collection.}, topic = {diagrams;reasoning-with-diagrams; cognitive-psychology;visual-reasoning} } @book{ hammer:1995a, author = {Eric M. Hammer}, title = {Logic and Visual Information}, publisher = {CSLI Publications}, year = {1995}, address = {Stanford, California}, rtnote = {Reviewed in lemmon_o:1997a.}, topic = {statecharts;reasoning-with-diagrams;diagrams; visual-reasoning;} } @incollection{ kosslyn:1990a, author = {Stephen Michael Kosslyn}, title = {Visual Cognition: Introduction}, booktitle = {An Invitation to Cognitive Science. Volume 2: Visual Cognition and Action}, publisher = {The {MIT} Press}, year = {1990}, editor = {Daniel N. Osherson and Howard Lasnik}, pages = {3--4}, address = {Cambridge, Massachusetts}, rtnote = {In RHT collection.}, topic = {cognitive-psychology;computer-vision;visual-reasoning;} } @book{ osherson-lasnik:1990b, editor = {Daniel N. Osherson and Howard Lasnik}, title = {An Invitation to Cognitive Science. Volume 2: Visual Cognition and Action}, publisher = {The {MIT} Press}, year = {1990}, address = {Cambridge, Massachusetts}, contentnote = {TC: S. Kosslyn, Visual Cognition: Introduction. A. Yuille and S. Ullman, Computational Theories of Low-Level Vision. I. Biederman, Higher-Level Vision. S. Kosslyn, Mental Imagery. E. Spelke, Origins of Visual Knowledge. F. Dretske, Seeing, Believing, and Knowing. J. Hollerbach, Action: Introduction. J. Hollerbach, Fundamentals of Motor Behavior. J. Hollerbach, Planning of Arm Movements. E. Bizzi and F.A. Mussa-Ivaldi, Muscle Properties and the Control of Arm Movements. H. Galiana, Oculomotor Control. C. Wright, Controlling Sequential Motor Activity. Alvin Goldman, Action and Free Will. }, rtnote = {LANGLEY LIBRARY (217 BF311 I68 1990 INFORMATION SCIENCES BF311 I68 1990}, topic = {cognitive-psychology;human-vision;motor-skills;} } @book{ burger_w-bhanu:1992a, author = {Wilhelm Burger and Bir Bhanu}, title = {Qualitative Motion Planning}, publisher = {Kluwer Academic Publishers}, year = {1992}, address = {Dordrecht}, ISBN = {0792392515}, rtnote = {UMich MEDIA UNION LIBRARY Call No: TJ 211.4 .B871 1992}, topic = {motion-planning;} } @book{ chen_s:1990a, editor = {Su-Shing Chen}, title = {Advances in Spatial Reasoning, Volume 1}, publisher = {Ablex}, year = {1990}, address = {Norwood, New Jersey}, ISBN = {}, topic = {;} } @inproceedings{ hintikka:1986a, author = {Jaakko Hintikka}, title = {Reasoning about Knowledge in Philosophy: The Paradigm of Epistemic Logic}, booktitle = {Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference}, year = {1986}, editor = {Joseph Y. Halpern}, pages = {63--80}, publisher = {Morgan Kaufmann Publishers, Inc.}, address = {Los Altos, California}, topic = {epistemic-logic;} } @book{ minker_j:2000a, editor = {Jack Minker}, title = {Logic-Based Artificial Intelligence}, publisher = {Kluwer Academic Publishers}, year = {2000}, address = {Dordrecht}, rtnote = {In RHT collection.}, topic = {logic-in-AI;} } @incollection{ minker:2000b, author = {Jack Minker}, title = {Introduction To Logic-Based Artificial Intelligence}, booktitle = {Logic-Based Artificial Intelligence}, publisher = {Kluwer Academic Publishers}, year = {2000}, editor = {Jack Minker}, pages = {3--33}, address = {Dordrecht}, topic = {logic-in-AI;} } @unpublished{ nilsson:1995a, author = {Nils J. Nilsson}, title = {Eye on the Prize}, year = {1995}, note = {Available at http://robotics.Stanford.EDU/\user nilsson/.}, rtnote = {In RHT collection.}, topic = {AI-editorial;foundations-of-AI;} } @article{ birnbaum:1991a, author = {Lawrence Birnbaum}, title = {Rigor Mortis: A Response to {N}ilsson's `{L}ogic and Artificial Intelligence'}, journal = {Artificial Intelligence}, year = {1991}, volume = {47}, number = {1--3}, pages = {57--77}, rtnote = {Discusses the limits of the logicist approach.}, topic = {logic-in-AI-survey;} } @article{ nilsson_nj:1991a, author = {Nils J. Nilsson}, title = {Logic and Artificial Intelligence}, journal = {Artificial Intelligence}, year = {1991}, volume = {47}, number = {1--3}, pages = {31--56}, rtnote = {This is a survey paper on the logical approach to AI.}, topic = {foundations-of-AI;AI-survey;} } @article{ levesque:1987a, author = {Hector J. Levesque}, title = {Taking Issue: Guest Editor's Introduction}, journal = {Computational Intelligence}, year = {1987}, volume = {3}, number = {3}, pages = {149--150}, xref = {kr;foundations-of-kr;} } @article{ mcdermott_d:1987a, author = {Drew McDermott}, title = {Critique of Pure Reason}, journal = {Computational Intelligence}, year = {1987}, volume = {3}, number = {3}, pages = {149--160}, topic = {kr;foundations-of-kr;kr-course;} } @inproceedings{ lifschitz:2000a, author = {Vladimir Lifschitz}, title = {Missionaries and Cannibals in the Causal Calculator}, booktitle = {{KR}2000: Principles of Knowledge Representation and Reasoning}, year = {2000}, editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman}, publisher = {Morgan Kaufmann}, address = {San Francisco}, pages = {85--96}, topic = {planning-formalisms;macro-formalization;elaboration-tolerance;} } ;@incollection{ fikes:1996a, author = {Richard Fikes}, title = {Ontologies: What are They, and Where's the Research?}, booktitle = {{KR}'96: Principles of Knowledge Representation and Reasoning}, publisher = {Morgan Kaufmann}, year = {1996}, editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro}, pages = {652--654}, address = {San Francisco, California}, topic = {kr;computational-ontology;kr-course;} } @unpublished{ mccarthy_j1:1999a, author = {John McCarthy}, title = {Elaboration Tolerance}, year = {1999}, note = {http://www-formal.stanford.edu/jmc/elaboration.html.}, topic = {;} } @book{ davis_e:1991a, author = {Ernest Davis}, title = {Common Sense Reasoning}, publisher = {Morgan Kaufmann}, year = {1991}, address = {San Francisco}, xref = {Review: croft:1993b.}, topic = {common-sense-reasoning;kr;kr-course;} } @incollection{ davis_m:1988a, author = {Martin Davis}, title = {Mathematical Logic and the Origin of Modern Computers}, booktitle = {The Universal {T}uring Machine: A Half-Century Survey}, publisher = {Oxford University Press}, year = {1988}, editor = {Rolf Herkin}, pages = {149--174}, address = {Oxford}, topic = {history-of-theory-of-computation;history-of-computation; history-of-logic;} } @book{ prior:1956b, author = {Arthur Prior}, title = {Time and Modality}, publisher = {Oxford University Press}, year = {1956}, address = {Oxford}, topic = {temporal-logic;} } @incollection{ burgess_jp:1984c, author = {John P. Burgess}, title = {Basic Tense Logic}, booktitle = {Handbook of Philosophical Logic, Volume {II}: Extensions of Classical Logic}, publisher = {D. Reidel Publishing Co.}, year = {1984}, editor = {Dov Gabbay and Franz Guenther}, pages = {89--133}, address = {Dordrecht}, topic = {temporal-logic;} } @incollection{ copeland:1997a, author = {B. Jack Copeland}, title = {Arthur {P}rior's Life and Legacy}, booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur {P}rior}, publisher = {Oxford University Press}, year = {1996}, editor = {Jack Copeland}, pages = {1--40}, address = {Oxford}, topic = {Prior;} } @book{ goldblatt:1992a, author = {Robert Goldblatt}, title = {Logics of Time and Computation}, publisher = {Center for the Study of Language and Information}, year = {1992}, address = {Stanford, California}, edition = {2}, rtnote = {In RHT collection.}, topic = {modal-logic;temporal-logic;temporal-logic;dynamic-logic;} } @book{ ohrstrom-hasle:1995a, author = {Peter Ohrstrom and Per F.V. Hasle}, title = {Temporal Logic from Ancient Ideas to Artificial Intelligence}, publisher = {Kluwer Academic Publishers}, year = {1995}, address = {Dordrecht}, topic = {temporal-logic;logic-in-AI;} } @incollection{ rodriguez_r-anger:1996a, author = {Rita Rodriguez and Frank Anger}, title = {Prior's Temporal Legacy in Computer Science}, booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur {P}rior}, publisher = {Oxford University Press}, year = {1996}, editor = {Jack Copeland}, pages = {89--109}, address = {Oxford}, topic = {temporal-logic;parallel-processing;distributed-systems; kr;} } @book{ vanbenthem:1983a, author = {Johan {van Benthem}}, title = {The Logic of Time}, publisher = {D. Reidel Publishing Company}, year = {1983}, address = {Dordrecht}, xref = {Review: burgess_jp:1984a.}, topic = {temporal-logic;} } @book{ genesereth-nilsson_nj:1987a, author = {Michael Genesereth and Nils J. Nilsson}, title = {Logical Foundations of Artificial Intelligence}, publisher = {Morgan Kaufmann}, year = {1987}, address = {San Mateo, California}, xref = {Reviews: smoliar:1989a, sowa:1989a. Response to reviews: nilsson_nj:1989a.}, topic = {kr;AI-intro;AI-and-logic;kr-course;} } @book{ lifschitz:1990c, editor = {Vladimir Lifschitz}, title = {Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy}, publisher = {Ablex Publishing Corporation}, year = {1990}, address = {Norwood, New Jersey}, contentnote = {TC: 1. Vladimir Lifschitz, "Understanding Common Sense: {M}c{C}arthy's Research in Artificial Intelligence", pp. 1--8 2. John McCarthy, "Programs with Common Sense", pp. 9--20 3. John McCarthy and Patrick Hayes, "Some Philosophical Problems from the Standpoint of Artificial Intelligence", pp. 21--63 4. John McCarthy, "Review of `Artificial Intelligence: A General Survey{'}", pp. 64--69 5. John McCarthy, "An Example for Natural Language Understanding and the {AI} Problems It Raises", pp. 70--76 6. John McCarthy, "Epistemological Problems of Artificial Intelligence", pp. 77--92 7. John McCarthy, "Ascribing Mental Qualities to Machines", pp. 93--118 8. John McCarthy, "First Order Theories of Individual Concepts and Propositions", pp. 119--141 9. John McCarthy, "Circumscription--A Form of Nonmonotonic Reasoning", pp. 142--157 10. John McCarthy, "Formalization of Two Puzzles Involving Knowledge", pp. 158--166 11. John McCarthy, "Coloring Maps and the Kowalski Doctrine", pp. 167--178 12. John McCarthy, "The Common Business Communication Language", pp. 179--188 13. John McCarthy, "The Little Thoughts of Thinking Machines", pp. 179--186 14. John McCarthy, "{AI} Needs More Emphasis on Basic Research", pp. 187--188 15. John McCarthy, "Some Expert Systems Need Common Sense", pp. 189--197 16. John McCarthy, "Applications of Circumscription to Formalizing Common Sense", pp. 198--225 17. John McCarthy, "Generality in Artificial Intelligence", pp. 226--236 18. John McCarthy, "Mathematical Logic in Artificial Intelligence", pp. 237--249 }, review = {akman:1995a,marek:1993a,giunchiglia_f:1994a, giunchiglia_f:1995a,giunchiglia_f:1995b}, topic = {AI-classics;circumscription;J-McCarthy;common-sense;kr;} } @incollection{ lifschitz:1990d, author = {Vladimir Lifschitz}, title = {Understanding Common Sense: {M}c{C}arthy's Research in Artificial Intelligence}, booktitle = {Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy}, publisher = {Ablex Publishing Corporation}, year = {1990}, editor = {Vladimir Lifschitz}, pages = {1--8}, address = {Norwood, New Jersey}, rtnote = {Reading notes on file.}, topic = {J-McCarthy;common-sense;kr;} } @incollection{ israel_d:1991a, author = {David J. Israel}, title = {A Short Sketch of the Life and Career of John {M}c{C}arthy}, booktitle = {Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of {J}ohn {M}c{C}arthy}, year = {1991}, editor = {Vladimir Lifschitz}, publisher = {Academic Press}, address = {San Diego, California}, xref= {An earlier version of this note was published in the Notices of the American Mathematical Society, Volume 38, Number 4, April, 1991.}, topic = {J-McCarthy;} } @book{ prior:1967a, author = {Arthur Prior}, title = {Past, Present and Future}, publisher = {Oxford University Press}, year = {1967}, address = {Oxford}, topic = {temporal-logic;} } @book{ prior:1968a, author = {Arthur Prior}, title = {Papers on Time and Tense}, publisher = {Oxford University Press}, year = {1968}, address = {Oxford}, topic = {temporal-logic;philosophical-logic;} } @incollection{ vanbenthem:1994a, author = {Johan {van Benthem}}, title = {Temporal Logic}, booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4: Epistemic and Temporal Reasoning}, publisher = {Oxford University Press}, year = {1995}, editor = {Dov Gabbay and C. Hogger and J.A. Robinson}, address = {Oxford}, missinginfo = {Editor's first names, chapter}, topic = {temporal-logic;} } @book{ shanahan:1997a, author = {Murray Shanahan}, title = {Solving the Frame Problem}, publisher = {The {MIT} Press}, year = {1997}, address = {Cambridge, Massachusetts}, xref = {Review: gelfond:1998a.}, topic = {kr;temporal-reasoning;frame-problem;krcourse} } @inproceedings{ mccarthy_j1:1959a1, author = {John McCarthy}, title = {Programs with Common Sense}, booktitle = {Proceedings of the {T}eddington Conference on the Mechanization of Thought Processes}, year = {1959}, publisher = {Her Majesty's Stationary Office}, address = {London}, pages = {75--91}, missinginfo = {Editor}, xref = {Republished: mccarthy_j1:1959a2, mccarthy_j1:1959a3.}, topic = {common-sense-logicism;AI-classics;} } @incollection{ mccarthy_j1-hayes_pj1:1969a1, author = {John McCarthy and Patrick J. Hayes}, title = {Some Philosophical Problems from the Standpoint of Artificial Intelligence}, editor = {B. Meltzer and D. Michie}, booktitle = {Machine Intelligence 4}, publisher = {Edinburgh University Press}, address = {Edinburgh}, pages = {463--502}, year = {1969}, xref = {Republications: mccarthy_j1-hayes_pj1:1969a2, mccarthy_j1-hayes_pj1:1969a3.}, rtnote = {Reading notes on file.}, topic = {kr;art-of-formalization;kr-course;} } @book{ pollock:1995a, author = {John L. Pollock}, title = {Cognitive Carpentry: A Manual for How to Build a Person}, publisher = {The {MIT} Press}, year = {1995}, address = {Cambridge, Massachusetts}, topic = {foundations-of-AI;foundations-of-cognitive-science;} } @book{ buchanan-shortliffe:1984a, author = {Bruce Buchanan and Edward H. Shortliffe}, title = {Rule-Based Expert Systems: The {MYCIN} Experiments of the {S}tanford Heuristic Programming Project}, publisher = {Addison Wesley}, year = {1984}, address = {Reading, Massachusetts}, topic = {expert-systems;knowledge-engineering;} } @book{ stefik:1995a, author = {Mark J. Stefik}, title = {An Introduction to Knowledge Systems}, publisher = {Morgan Kaufmann}, year = {1995}, address = {San Francisco}, rtnote = {In RHT collection.}, topic = {kr;AI-intro;expert-systems;kr-course;} } @article{ clancey:1983a, author = {William J. Clancey}, title = {The Epistemology of a Rule-Based Expert System: a Framework for Explanation}, journal = {Artificial Intelligence}, year = {1983}, volume = {20}, pages = {215--251}, missinginfo = {number}, xref = {Commentary: clancey:1993b.}, topic = {kr;explanation;kr-course;} } @incollection{ buszkowski:1996a, author = {Wojciech Buszkowski}, title = {Mathematical Linguistics and Proof Theory}, booktitle = {Handbook of Logic and Language}, publisher = {Elsevier}, year = {1996}, editor = {Johan {van Benthem} and Alice {ter Meulen}}, pages = {683--736}, address = {Amsterdam}, topic = {grammar-formalisms;proof-theory;type-theory;} } @book{ shieber:1992a, author = {Stuart Shieber}, title = {Constraint-Based Grammar Formalisms: Parsing and Type Inference for Natural and Computer Languages}, publisher = {The {MIT} Press}, year = {1992}, address = {Cambridge, Massachusetts}, rtnote = {In RHT collection. Shelf}, topic = {grammar-formalisms;constraint-based-grammar;} } @book{ vanbenthem-termeulen:1996a, author = {Johan {van Benthem} and Alice {ter Meulen}}, title = {Handbook of Logic and Language}, publisher = {Elsevier Science Publishers}, year = {1996}, address = {Amsterdam}, xref = {Reviews: kurtonina:2000a, cresswell_mj:1999a.}, topic = {nl-semantics;semantics-course;} } @book{ moore_jd:1995a, author = {Johanna Moore}, title = {Participating in Explanatory Dialogues}, publisher = {The {MIT} Press}, year = {1995}, topic = {explanation;discourse;discourse-planning;nl-generation; pragmatics;} } %KR'89 @book{ brachman-etal:1989b, editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter}, title = {{KR}'89: Principles of Knowledge Representation and Reasoning}, publisher = {Morgan Kaufmann}, year = {1989}, address = {San Mateo, California}, topic = {kr;} } %KR'91 @book{ allen_jf-etal:1991a, editor = {James F. Allen and Richard Fikes and Erik Sandewall}, title = {{KR}'91: Principles of Knowledge Representation and Reasoning}, publisher = {Morgan Kaufmann}, year = {1991}, address = {San Mateo, California}, topic = {kr;kr-course;} } %KR'92 @book{ nebel-etal:1992a, editor = {Bernhard Nebel and Charles Rich and William Swartout}, title = {{KR}': Principles of Knowledge Representation and Reasoning}, publisher = {Morgan Kaufmann}, year = {1992}, address = {San Francisco}, topic = {kr;} } %KR'94 @book{ doyle_j-etal:1994a, editor = {Jon Doyle and Erik Sandewall and Pietro Torasso}, title = {{KR}'94: Principles of Knowledge Representation and Reasoning}, publisher = {Morgan Kaufmann}, year = {1994}, address = {San Francisco}, topic = {kr;} } %KR'96 @book{ aiello-etal:1996a, editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro}, title = {{KR}'96: Principles of Knowledge Representation and Reasoning}, publisher = {Morgan Kaufmann}, year = {1996}, address = {San Francisco}, topic = {kr;} } %KR'98 @book{ cohn_ag-etal:1998a, editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C. Shapiro}, title = {{KR}'89: Principles of Knowledge Representation and Reasoning}, publisher = {Morgan Kaufmann}, year = {1998}, address = {San Francisco}, topic = {kr;} } @article{ boutilier:1996a, author = {Craig Boutilier}, title = {Iterated Revision and Minimal Change of Conditional Beliefs}, journal = {Journal of Philosophical Logic}, year = {1996}, volume = {25}, number = {3}, pages = {263--305}, topic = {belief-revision;conditionals;} } @article{ hawthorne:1996a, author = {James Hawthorne}, title = {On the Logic of Nonmonotonic Conditionals and Conditional Probabilities}, journal = {Journal of Philosophical Logic}, year = {1996}, volume = {25}, number = {2}, pages = {185--218}, rtnote = {Read this.}, topic = {conditionals;nonmonotonic-conditionals;probability;} } @article{ hawthorne:1998a, author = {James Hawthorne}, title = {On the Logic of Nonmonotonic Conditionals and Conditional Probabilities: Predicate Logic}, journal = {Journal of Philosophical Logic}, year = {1998}, volume = {27}, number = {1}, pages = {1--34}, topic = {conditionals;nonmonotonic-logic;ity-semantics primitive-conditional-probability;} } @article{ horty:1994c, author = {John F. Horty}, title = {Moral Dilemmas and Nonmonotonic Logic}, journal = {Journal of Philosophical Logic}, year = {1994}, volume = {23}, number = {1}, pages = {35--65}, topic = {nonmonotonic-logic;deontic-logic;} } @article{ mccarthy_tg:1994a, author = {Timothy G. Mccarthy}, title = {Self-Reference and Incompleteness in a Non-Monotonic Setting}, journal = {Journal of Philosophical Logic}, year = {1994}, volume = {23}, number = {4}, pages = {423--449}, topic = {self-reference;(in)completeness;nonmonotonic-logic;} } @article{ veltman:1996a, author = {Frank Veltman}, title = {Defaults in Update Semantics}, journal = {Journal of Philosophical Logic}, year = {1996}, volume = {25}, number = {3}, pages = {221--261}, topic = {dynamic-logic;nonmonotonic-reasoning;} } @incollection{ belnap:1996a, author = {Nuel D. {Belnap, Jr.}}, title = {Agents in Branching Time}, booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur {P}rior}, publisher = {Oxford University Press}, year = {1996}, editor = {Jack Copeland}, pages = {239--271}, address = {Oxford}, rtnote = {MS Copy in RHT collection.}, topic = {action;stit;branching-time;} } @article{ carnap:1955a, author = {Rudolph Carnap}, title = {Meaning and Synonymy in Natural Languages}, journal = {Philosophical Studies}, year = {1955}, volume = {7}, pages = {33--47}, missinginfo = {number}, note = {Reprinted in \cite{carnap:1956a}, pp.~233--247.}, topic = {intensionality;philosophy-of-language;} } @book{ carnap:1956a, author = {Rudolph Carnap}, title = {Meaning and Necessity}, publisher = {Chicago University Press}, year = {1956}, address = {Chicago}, edition = {2}, note = {(First edition published in 1947.)}, topic = {modal-logic;} } @techreport{ mccarthy_j1:1963a, author = {John McCarthy}, title = {Situations, Actions, and Causal Laws}, institution = {Stanford Artificial Intelligence Project}, number = {Memo 2}, year = {1983}, address = {Stanford University}, contentnote = {This is the original situation calculus paper.}, topic = {situation-calculus;action-formalisms;planning-formalisms;} } @article{ mcdermott_d-doyle_j:1980a, author = {Drew McDermott and Jon Doyle}, title = {Non-Monotonic Logic {I}}, journal = {Artificial Intelligence}, year = {1980}, volume = {13}, pages = {41--72}, missinginfo = {number}, rtnote = {In RHT collection.}, topic = {nonmonotonic-logic;} } @article{ reiter_r:1980a1, author = {Raymond Reiter}, title = {A Logic for Default Reasoning}, journal = {Artificial Intelligence}, year = {1980}, volume = {13}, pages = {81--32}, topic = {kr;nonmonotonic-logic;kr-course;} } @incollection{ reiter_r:1978a1, author = {Raymond Reiter}, title = {On Closed World Data Bases}, booktitle = {Logic and Data Bases}, publisher = {Plenum Press}, year = {1978}, editor = {H. Gallaire and J. Minker}, pages = {55--76}, address = {New York}, rtnote = {In RHT collection.}, xref = {Republication: reiter_r1978a2.}, topic = {nonmonotonic-reasoning;closed-world-reasoning;} } @article{ mccarthy_j1:1980a, author = {John McCarthy}, title = {Circumscription: A Form of Non-Monotonic Reasoning}, journal = {Artificial Intelligence}, volume = {13}, pages = {27--39}, year = {1980}, xref = {Republication: mccarthy_j1:1980a2.}, rtnote = {In RHT collection.}, topic = {kr;circumscription;nonmonotonic-logic;kr-course;} } @article{ moore_rc:1985a, author = {Robert C. Moore}, title = {Semantical Considerations on Nonmonotonic Logic}, journal = {Artificial Intelligence}, year = {1985}, volume = {25}, pages = {75--94}, missinginfo = {number}, topic = {kr;nonmonotonic-logic;autoepistemic-logic;kr-course;} } @article{ doyle_j:1979b1, author = {Jon Doyle}, title = {A Truth Maintenance System}, journal = {Artificial Intelligence}, year = {1979}, volume = {12}, number = {3}, pages = {231--272}, xref = {Republication: doyle_j:1979b2.}, topic = {truth-maintenance;} } @techreport{ minsky:1975a1, author = {Marvin Minsky}, title = {A Framework for Representing Knowledge}, institution = {Artificial Intelligence Laboratory, {MIT}}, year = {1974}, number = {306}, xref = {Republished in haugeland:1981a. And in Ronald J. Brachman and Hector J. Levesque, Readings in Knowledge Representation. See minsky:1981a1,See minsky:1981a2.}, topic = {kr;kr-course;frames;} } @article{ levesque:1990a, author = {Hector J. Levesque}, title = {All {I} Know: A Study in Autoepistemic Logic}, journal = {Artificial Intelligence}, volume = {42}, number = {3}, year = {1990}, pages = {263--309}, topic = {nonmonotonic-logic;autoepistemic-logic} } @book{ shoham:1988a, author = {Yoav Shoham}, title = {Reasoning About Change: Time and Causation From the Standpoint of Artificial Intelligence}, publisher = {The {MIT} Press}, year = {1988}, address = {Cambridge, Massachusetts}, topic = {causality;nonmonotonic-reasoning;temporal-reasoning;} } @incollection{ seligman-moss:1996a, author = {Jerry Seligman and Lawrence S. Moss}, title = {Situation Theory}, booktitle = {Handbook of Logic and Language}, publisher = {Elsevier}, year = {1996}, editor = {Johan {van Benthem} and Alice {ter Meulen}}, pages = {239--307}, address = {Amsterdam}, topic = {situation-theory;} } @book{ sandewall:1994a, author = {Erik Sandewall}, title = {Features and Fluents: A Systematic Approach to the Representation of Knowledge About Dynamical Systems}, publisher = {Oxford University Press}, year = {1994}, address = {Oxford}, topic = {temporal-reasoning;dynamic-systems;causality;action-effects; action-formalisms;qualitative-physics;} } @book{ hintikka:1962a, author = {Jaakko Hintikka}, title = {Knowledge and Belief}, publisher = {Cornell University Press}, year = {1962}, address = {Ithaca, New York}, topic = {epistemic-logic;belief;} } @techreport{ hanks-mcdermott_d:1985a, author = {Steven Hanks and Drew McDermott}, title = {Temporal Reasoning and Default Logics}, institution = {Department of Computer Science, Yale University}, number = {YALEU/CSD/RR\#430}, year = {1985}, address = {New Haven, Connecticut}, rtnote = {In RHT collection.}, topic = {temporal-reasoning;nonmonotonic-reasoning;} } @inproceedings{ hanks-mcdermott_d:1986a, author = {Steven Hanks and Drew McDermott}, title = {Default Reasoning, Nonmonotonic Logics and the Frame Problem}, booktitle = {Proceedings of the Fifth National Conference on Artificial Intelligence}, year = {1986}, editor = {Tom Kehler and Stan Rosenschein}, pages = {328--333}, organization = {American Association for Artificial Intelligence}, publisher = {Morgan Kaufmann}, address = {Los Altos, California}, rtnote = {In RHT collection.}, topic = {temporal-reasoning;nonmonotonic-reasoning;frame-problem;} } @article{ hanks-mcdermott_d:1987b, author = {Steven Hanks and Drew McDermott}, title = {Non-Monotonic Logics and Temporal Projection}, journal = {Artificial Intelligence}, year = {1987}, volume = {33}, number = {3}, pages = {379--412}, topic = {kr;yale-shooting-problem;kr-course;} } @incollection{ amarel:1968a1, author = {Saul Amarel}, title = {On Representations of Problems of Reasoning about Actions}, editor = {D. Mitchie}, booktitle = {Machine Intelligence 3}, publisher = {Ellis Horwood}, address = {Chichester, England}, pages = {131--171}, year = {1968}, missinginfo = {E's 1st name}, xref = {Republication: amarel:1968a2.}, topic = {foundations-of-planning;action;} } @techreport{ simon_ha:1966a, author = {Herbert Simon}, title = {On Reasoning about Action}, institution = {Carnegie Institute of Technology}, number = {Complex Information Processing Paper \#87}, year = {1966}, address = {Pittsburgh, Pennsylvania}, topic = {foundations-of-planning;action;} } @incollection{ forbus:1988a, author = {Kenneth D. Forbus}, title = {Qualitative Physics: Past, Present, and Future}, booktitle = {Exploring Artificial Intelligence}, publisher = {Morgan Kaufmann}, year = {1988}, editor = {Howard E. Shrobe}, pages = {239--296}, address = {San Mateo, California}, topic = {qualitative-physics;kr-course;} } @article{ mccarthy_j1:1993a, author = {John McCarthy}, title = {History of Circumscription}, journal = {Artificial Intelligence}, year = {1993}, volume = {59}, pages = {23--26}, missinginfo = {number}, topic = {circumscription;} } @incollection{ sandewall:1972a, author = {Eric Sandewall}, title = {An Approach to the Frame Problem, and Its Implementation}, booktitle = {Machine Intelligence 7}, publisher = {Edinburgh University Press}, year = {1972}, editor = {D. Michie and B. Meltzer}, pages = {195--204}, missinginfo = {E's 1st name}, topic = {nonmonotonic-reasoning;frame-problem;} } @techreport{ minsky:1974a1, author = {Marvin Minsky}, title = {A Framework for Representing Knowledge}, institution = {Artificial Intelligence Laboratory, {MIT}}, year = {1974}, number = {306}, note = {Republished in several places, including \cite{haugeland:1981b}. }, topic = {kr;kr-course;frames;} } @incollection{ haugeland:1981b, author = {John Haugeland}, title = {Semantic Engines: An Introduction to Mind Design}, booktitle = {Mind Design}, editor = {John Haugeland}, publisher = {The {MIT} Press}, address = {Cambridge, Massachusetts}, year = {1981}, pages = {1--34}, topic = {foundations-of-cognitive-science;philosophy-of-cogsci; philosophy-AI;} } @incollection{ krifka-etal:1995a, author = {Manfred Krifka and Francis Jeffrey Pelletier and Gregory Carlson and Alice {ter Meulen} and Gennaro Chierchia and Godehard Link}, title = {Genericity: An Introduction}, booktitle = {The Generic Book}, publisher = {Chicago University Press}, editor = {Gregory Carlson and Francis Jeffrey Pelletier}, year = {1995}, pages = {1--124}, address = {Chicago, IL}, rtnote = {Hillman P299 G44G46 1995.}, topic = {generics;} } @article{ minker:1997a, author = {Jack Minker}, title = {Logic and Databases: Past, Present and Future}, journal = {{AI} Magazine}, year = {1997}, volume = {18}, number = {3}, pages = {21--47}, contentnote = {This article contains an extensive bibliography}, topic = {deductive-databases;} } @incollection{ clark_kl:1978a1, author = {Keith L. Clark}, title = {Negation as Failure}, booktitle = {Logic and Data Bases}, publisher = {Plenum Press}, year = {1978}, editor = {H. Gallaire and Jack Minker}, pages = {293--322}, address = {New York}, missinginfo = {E's 1st name.}, xref = {Republication: clark_kl:1978a1.}, topic = {logic-programming;negation-as-failure;} } @book{ antoniou:1997a, author = {Grigoris Antoniou}, title = {Nonmonotonic Reasoning}, publisher = {The {MIT} Press}, year = {1997}, address = {Cambridge, Massachusetts}, topic = {default-logic;autoepistemic-logic;circumscription;} } @book{ besnard:1992a, author = {Philippe Besnard}, title = {Default Logic}, publisher = {Springer-Verlag}, year = {1992}, address = {Berlin}, rtnote = {In RHT collection. LL Shelf.}, topic = {nonmonotonic-logic;default-logic;kr-course;} } @book{ brewka:1991b, author = {Gerhard Brewka}, title = {Nonmonotonic Reasoning: Logical Foundations of Commonsense}, publisher = {Cambridge University Press}, year = {1991}, address = {Cambridge, England}, rtnote = {In RHT collection. LL Shelf.}, topic = {nonmonotonic-logic;nonmonotonic-reasoning;} } @book{ brewka-etal:1997a, author = {Gerhard Brewka and J\"urgen Dix and Kurt Konolige}, title = {Nonmonotonic Reasoning: An Overview}, publisher = {CSLI Publications}, year = {1997}, address = {Stanford}, rtnote = {In RHT collection. AI Books.}, topic = {nonmonotonic-logic;nonmonotonic-reasoning;} } @book{ ginsberg:1987a, editor = {Matthew L. Ginsberg}, title = {Readings in Nonmonotonic Reasoning}, publisher = {Morgan Kaufmann}, year = {1987}, address = {Los Altos, California}, note = {(Out of print.)}, topic = {kr;nonmonotonic-reasoning;kr-course;} } @book{ lukasiewicz_w:1990a, author = {Witold Lukaszewicz}, title = {Non-Monotonic Reasoning: Formalization of Commonsense Reasoning}, publisher = {Ellis Horwood}, year = {1990}, address = {New York}, ISBN = {0136244467}, rtnote = {UMich MEDIA UNION LIBRARY, Q 335 .L851 1990.}, topic = {nonmonotonic-reasoning;common-sense-reasoning; common-sense-logicism;} } @book{ marek-truszcynski:1994a, author = {Wictor Marek and Miros{\l}aw Truszczy\'nski}, title = {Nonmonotonic Logic: Context-Dependent Reasoning}, publisher = {Springer-Verlag}, year = {1994}, address = {Berlin}, rtnote = {Springer wants $79 for this. CS Q355 M37 1993}, topic = {kr;nonmonotonic-reasoning;kr-course;} } @incollection{ lifschitz:1994b, author = {Vladimir Lifschitz}, title = {Circumscription}, booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning}, publisher = {Oxford University Press}, year = {1994}, editor = {Dov Gabbay and C. J. Hogger and J. A. Robinson}, pages = {298--352}, topic = {circumscription;} } @incollection{ poole:1994a, author = {David Poole}, title = {Default Logic}, booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Nonmonotonic Reasoning}, publisher = {Oxford University Press}, year = {1994}, editor = {Dov Gabbay and C. Hogger and J.A. Robinson}, address = {Oxford}, rtnote = {Preliminary copy in RHT collection.}, missinginfo = {Editor's first names, date, pages, chapter}, topic = {default-logic;nonmonotonic-reasoning-survey;} } @book{ gabbay-etal:1994a, editor = {Dov Gabbay and Christopher J. Hogger and J. A. Robinson}, title = {Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning}, publisher = {Oxford University Press}, year = {1994}, address = {Oxford}, contentnote = {TC: 1. Matthew L. Ginsberg, "{AI} and Nonmonotonic Reasoning", pp. 1--33 2. David Makinson, "General Patterns in Nonmonotonic Reasoning", pp. 35--111 3. John F. Horty, "Some Direct Theories of Nonmonotonic Inheritance", pp. 112--187 4. David Poole, "Default Logic", pp. 189--215 5. Kurt Konolige, "Autoepistemic Logic", pp. 217--295 6. Vladimir Lifschitz, "Circumscription", pp. 297--352 7. Donald Nute, "Defeasible Logic", pp. 353--395 10. Henry E. {Kyburg, Jr.}, "Uncertainty Logics", pp. 397--438 11. Didier Dubois and J. Lang and Henri Prade, "Possibilistic Logic", pp. 439--513 }, topic = {nonmonotonic-logic;} } @incollection{ mccarthy_j1:1977a5, author = {John McCarthy}, title = {Epistemological Problems of Artificial Intelligence}, booktitle = {Readings in Nonmonotonic Reasoning}, publisher = {Morgan Kaufmann}, year = {1987}, editor = {Matthew L. Ginsberg}, pages = {46--55}, address = {Los Altos, California}, xref = {First Published in IJCAI-77; 1977; 1038--1044; see mccarthy_j1:1977a1}, topic = {kr;foundations-of-kr;kr-course;} } @article{ mccarthy_j1:1986a1, author = {John McCarthy}, title = {Applications of Circumscription to Formalizing Common Sense Knowledge}, journal = {Artificial Intelligence}, year = {1986}, volume = {13}, pages = {27--39}, xref = {Republications: mccarthy_j1:1986a2,mccarthy_j1:1986a2.}, rtnote = {In RHT collection.}, topic = {circumscription;common-sense-reasoning;} } @book{ boolos:1993a, author = {George Boolos}, title = {The Logic of Provability}, publisher = {Cambridge Universoti Press}, year = {1993}, address = {Cambridge, England}, xref = {Review: tait:1999a.}, topic = {modal-logic;provability-logic;goedels-second-theorem;} } @article{ konolige:1988a, author = {Kurt Konolige}, title = {On the Relation Between Default and Autoepistemic Logic}, journal = {Artificial Intelligence}, year = {1988}, volume = {35}, number = {3}, pages = {343--382}, note = {(See also errata, Artificial Intelligence {\bf 41}(1): 115.)}, topic = {kr;nonmonotonic-logic;autoepistemic-logic;default-logic;kr-course;} } @book{ lukasiewicz_j:1970a, author = {Jan {\L}ukasiewicz}, title = {Jan {\L}ukasiewicz, Selected Writings}, publisher = {North-Holland}, year = {1970}, note = {Edited by Ludwik Borowski.}, topic = {many-valued-logic;Polish-logic;tense-logic;} } @incollection{ mccarthy_j1:1979c1, author = {John McCarthy}, title = {First Order Theories of Individual Concepts and Propositions}, booktitle = {Machine Intelligence 9}, publisher = {Ellis Horwood}, year = {1979}, editor = {J.E. Hayes and D. Mitchie and L.I. Mikulich}, pages = {129--148}, address = {Chichester, England}, xref = {Republication: mccarthy_j1:1979c2}, topic = {propositional-attitudes;} } @book{ schlechta:1997a, author = {Karl Schlechta}, title = {Nonmonotonic Logics}, publisher = {Springer-Verlag}, year = {1997}, address = {Berin}, contentnote = {TC: 1. Introduction 2. Preferential Logics and Related Topics 3. Defaults as Generalized Quantifiers 4. Logic and Analysis 5. Theory Revision and Probability 6. Structured Reasoning }, ISBN = {3-540-62482-1}, rtnote = {UMich Media Library Q339 .C351 1997}, topic = {nonmonotonic-logic;} } @article{ chellas:1975a, author = {Brian Chellas}, title = {Basic Conditional Logic}, journal = {Journal of Philosophical Logic}, year = {1975}, volume = {4}, number = {2}, pages = {133--154}, topic = {conditionals;} } @incollection{ alcourron:1995a, author = {Carlos E. Alcourr\'on}, title = {Defeasible Logics: Demarcation and Affinities}, booktitle = {Conditionals: From Philosophy to Computer Science}, publisher = {Oxford University Press}, year = {1995}, editor = {Gabriella Crocco and Luis Fari\~nas del Cerro and A. Herzig}, pages = {67--102}, address = {Oxford}, topic = {conditionals;nonmonotonic-logic;} } @incollection{ arlocosta-shapiro:1992a, author = {Horacio Arlo-Costa and Scott Shapiro}, title = {Maps between Nonmonotonic Logic and Conditional Logic}, booktitle = {{KR}'92. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference}, publisher = {Morgan Kaufmann}, year = {1992}, editor = {Bernhard Nebel and Charles Rich and William Swartout}, pages = {553--564}, address = {San Mateo, California}, topic = {kr;nonmonotonic-logic;conditionals;kr-course;} } @incollection{ asher:1995a, author = {Nicholas Asher}, title = {Commonsense Entailment: A Conditional Logic for Some Generics}, booktitle = {Conditionals: From Philosophy to Computer Science}, publisher = {Oxford University Press}, year = {1995}, editor = {Gabriella Crocco and Luis Fari\~nas del Cerro and A. Herzig}, pages = {103--145}, address = {Oxford}, topic = {nonmonotonic-logic;common-sense-entailment;conditionals; nonmonotonic-conditionals;} } @article{ benferat-etal:1997a, author = {Salem Benferat and Didier Dubois and Henri Prade}, title = {Nonmonotonic Reasoning, Conditional Objects, and Possibility Theory}, journal = {Artificial Intelligence}, year = {1997}, volume = {92}, number = {1--2}, pages = {259--276}, topic = {nonmonotonic-reasoning;conditionals;conditional-reasoning;} } @techreport{ boutilier:1992a, author = {Craig Boutilier}, title = {Conditional Logics for Default Reasoning and Belief Revision}, institution = {Computer Science Department, University of Toronto}, number = {KRR--TR--92--1}, year = {1992}, address = {Toronto, Ontario}, rtnote = {This is the PhD Dissertation.}, topic = {kr;conditionals;belief-revision;nonmonotonic-logic;} } @incollection{ delgrande:1998b, author = {James P. Delgrande}, title = {Conditional Logics for Defeasible Logics}, booktitle = {Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 2}, publisher = {Kluwer Academic Publishers}, year = {1998}, editor = {Dov M. Gabbay and Philippe Smets}, pages = {135--174}, address = {Dordrecht}, topic = {conditionals;nonmonotonic-logic;} } @incollection{ gabbay:1995a, author = {Dov M. Gabbay}, title = {Conditional Implications and Non-Monotonic Consequence}, booktitle = {Conditionals: From Philosophy to Computer Science}, publisher = {Oxford University Press}, year = {1995}, editor = {Gabriella Crocco and Luis Fari\~nas del Cerro and A. Herzig}, pages = {337--359}, address = {Oxford}, topic = {conditionals;nonmonotonic-logic;} } @article{ gardenfors-makinson:1994a, author = {Peter G\"ardenfors and David Makinson}, title = {Nonmonotonic Inferences Based on Expectations}, journal = {Artificial Intelligence}, year = {1994}, volume = {65}, number = {2}, pages = {197--245}, note = {Uses selection functions and "expectation relations" to model expectations. Relations between theory revision and nonmonotonic logic.}, topic = {nonmonotonic-logic;belief-revision;conditionals;} } @incollection{ pearl:1994b, author = {Judea Pearl}, title = {From {A}dams' Conditionals to Default Expressions, Causal Conditionals, and Counterfactuals}, booktitle = {Probability and Conditionals: Belief Revision and Rational Decision}, publisher = {Cambridge University Press}, year = {1994}, pages = {47--74}, editor = {Ellery Eells and Brian Skyrms}, address = {Cambridge, England}, topic = {conditionals;causality;nonmonotonic-reasoning;} } @article{ lehmann_d-magidor:1992b1, author = {Daniel Lehmann and Menachem Magidor}, title = {What Does a Conditional Knowledge Base Entail?}, journal = {Artificial intelligence}, year = {1992}, volume = {55}, number = {1}, pages = {1--60}, topic = {nonmonotonic-conditionals;nonmonotonic-logic;} } @article{ mcdermott_d:1982a, author = {Drew McDermott}, title = {Nonmonotonic Logic {II}: Nonmonotonic Modal Theories}, journal = {Journal of the Association for Computing Machinery}, year = {1982}, volume = {29}, number = {1}, pages = {33--57}, rtnote = {In RHT collection.}, topic = {nonmonotonic-logic;} } @article{ stalnaker:1993c, author = {Robert C. Stalnaker}, title = {A Note on Non-Monotonic Modal Logic}, journal = {Artificial Intelligence}, year = {1993}, volume = {64}, number = {2}, pages = {183--196}, note = {Widely circulated in manuscipt form, 1980 to 1992.}, topic = {nonmonotonic-logic;nonmonotonic-reasoning; foundations-of-nonmonotonic-logic;autoepistemic-logic;} } @incollection{ konolige:1994b, author = {Kurt Konolige}, title = {Autoepistemic Logic}, booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning}, publisher = {Oxford University Press}, year = {1994}, editor = {Dov Gabbay and Christopher J. Hogger and J. A. Robinson}, pages = {217--295}, address = {Oxford}, topic = {default-logic;nonmonotonic-logic;} } @incollection{ marek-truszynski:1989a, author = {Wictor Marek and Miros{\l}aw Truszczy\'nski}, title = {Relating Autoepistemic and Default Logics}, booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning}, publisher = {Morgan Kaufmann}, year = {1989}, editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter}, pages = {276--288}, address = {San Mateo, California}, topic = {kr;kr-course;nonmonotonic-logic;default-logic; autoepistemic-logic;} } @article{ marek-truszcynski:1991a, author = {Victor Marek and Miros{\l}aw Truszczy\'nski}, title = {Autoepistemic Logic}, journal = {Journal of the Association for Computing Machinery}, year = {1991}, volume = {38}, number = {3}, pages = {588--619}, rtnote = {In RHT collection.}, topic = {autoepistemic-logic;nonmonotonic-logic;} } @article{ moore_rc:1993b, author = {Robert C. Moore}, title = {Autoepistemic Logic Revisited}, journal = {Artificial Intelligence}, year = {1993}, volume = {59}, number = {1--2}, pages = {27--30}, topic = {nonmonotonic-logic;autoepistemic-logic;} } @article{ bacchus-etal:1999a, author = {Fahiem Bacchus and Joseph Y. Halpern and Hector J. Levesque}, title = {Reasoning about Noisy Sensors and Effectors in the Situation Calculus}, journal = {Artificial Intelligence}, year = {1999}, volume = {111}, number = {1--2}, pages = {171--208}, topic = {planning-formalisms;sensing-actions;uncertainty-in-AI;} } @incollection{ boutilier-etal:1996a, author = {Craig Boutilier and Thomas Dean and Steve Hanks}, title = {Planning under Uncertainty: Structural Assumptions and Computational Leverage}, editor = {Malik Ghallab and Alfredo Milani}, booktitle = {New Directions in {AI} Planning}, year = {1996}, publisher = {IOS Press}, address = {Amsterdam}, pages = {157--171}, topic = {planning;uncertainty-in-AI;foundations-of-planning;} } @article{ dejong_g-bennett:1997a, author = {Gerald D. DeJong and Scott W. Bennett}, title = {Permissive Planning: Extending Classical Planning to Uncertain Task Domains}, journal = {Artificial Intelligence}, year = {1989}, volume = {89}, number = {1--2}, pages = {173--217}, topic = {planning;explanation-based-learning;uncertainty-in-AI;} } @book{ pearl:2000a, author = {Judea Pearl}, title = {Causality: Models, Reasoning, and Inference}, publisher = {Cambridge University Press}, year = {2000}, address = {Cambridge, England}, ISBN = {0-521-77362-8}, rtnote = {In RHT collection.}, topic = {Bayesian-networks;causality;action;conditionals;} } @incollection{ halpern-moses:1984a2, author = {Joseph Y. Halpern and Yoram Moses}, title = {Towards a Theory of Knowledge and Ignorance}, booktitle = {Logics and Models of Concurrent Systems}, publisher = {Springer-Verlag}, year = {1985}, editor = {Krzysztof R. Apt}, pages = {459--476}, address = {Berlin}, xref = {halpern-moses:1984a1}, topic = {epistemic-logic;reasoning-about-knowledge;} } @book{ pylyshyn:1987a, editor = {Zenon Pylyshyn}, title = {The Robot's Dilemma: The Frame Problem in Artificial Intelligence}, publisher = {Ablex Publishing Co.}, address = {Norwood, New Jersey}, year = {1987}, contentnote = {TC: 1. Lars-Erik Janlert, "Modeling Change---the Frame Problem", pp. 1--40 2. Daniel C. Dennett, "Cognitive Wheels: the Frame Problem of {AI}", pp. 41-- 64 3. Clark Glymour, "Android Epistemology and the Frame Problem: Comments on {D}ennett's `Cognitive Wheels'\,", pp. 65--75 4. John Haugeland, "An Overview of the Frame Problem", pp. 77-- 5. Hubert L. Dreyfus and Stuart E. Dreyfus, "How to Stop Worrying about the Frame Problem Even though It's Computationally Intractable", pp. 95--111 6. Drew McDermott, "We've Been Framed: Or, Why {AI} Is Innocent of the Frame Problem", pp. 113--122 7. Patrick J Hayes, "What the Frame Problem Is and Isn't", pp. 123--137 8. Jerry A. Fodor, "Modules, Frames, Fridgeons, Sleeping Dogs, and the Music of the Spheres", pp. 139--149 }, ISBN = {0893913715}, rtnote = {UMich MEDIA UNION LIBRARY Q335 .R631 1987}, topic = {frame-problem;philosophy-AI;} } @book{ ford-pylyshyn:1996a, editor = {Kenneth M. Ford and Zenon Pylyshyn}, title = {The Robot's Dilemma Revisited: The Frame Problem in Artificial Intelligence}, publisher = {Ablex Publishing Co.}, address = {Norwood, New Jersey}, year = {1996}, contentnote = {TC: 0. Zenon Pylyshyn, "The Frame Problem Blues: Once More, with Feeling", pp. xi-- xviii 1. Daniel C. Dennett, "Producing Future by Telling Stories", pp. 1--7 2. Eric Dietrich and Chris Fields, "The Role of the Frame Problem in Fodor's Modularity Thesis: A Case Study of Rationalist Cognitive Science", pp. 9--24 3. Clark Glymour, "The Adventures among the Asteroids of {A}ngela {A}ndroid, Series 8400XF with an Afterword on Planning, Prediction, Learning, the Frame Problem, and a Few Other Subjects", pp. 25--34 4. Lars-Erik Janlert, "The Frame Problem: Freedom or Stability? With Pictures we can Have Both", pp. 35--48 5. Henry J. Kyburg, Jr., "Dennett's Beer", pp. 49--60 6. Eric Lormand, "The Holorobophobe's Dilemma", pp. 61--88 7. Ronald P. Loui, "Back to the Scene of the Crime: Or, Who Survived the {Y}ale Shooting?", pp. 89--98 8. Leora Morgenstern, "The Problem with Solutions to the Frame Problem", pp. 99--133 9. Patrick J. Hayes and Kenneth M. Ford and Neil M. Agnew, "Epilog: {G}oldilocks and the Frame Problem", pp. 135--137 }, ISBN = {1567501435 (pbk)}, rtnote = {UMich MEDIA UNION LIBRARY Q 335 .R621 1996 }, topic = {frame-problem;philosophy-AI;} } @incollection{ dennett:1987a, author = {Daniel Dennett}, title = {Cognitive Wheels: The Frame Problem of {AI}}, booktitle = {The Robot's Dilemma: The Frame Problem in Artificial Intelligence}, editor = {Zenon Pylyshyn}, publisher = {Ablex Publishing Co.}, address = {Norwood, New Jersey}, year = {1987}, pages = {41--64}, topic = {frame-problem;philosophy-AI;} } @incollection{ fodor_ja:1987b, author = {Jerry A. Fodor}, title = {Modules, Frames, Fridgeons, Sleeping Dogs, and the Music of the Spheres}, booktitle = {The Robot's Dilemma: The Frame Problem in Artificial Intelligence}, publisher = {Ablex Publishing Co.}, address = {Norwood, New Jersey}, year = {1987}, editor = {Zenon Pylyshyn}, pages = {139--149}, topic = {frame-problem;philosophy-AI;} } @incollection{ schubert:1990a, author = {Lenhart Schubert}, title = {Monotonic Solution of the Frame Problem in the Situation Calculus; an Efficient Method for Worlds With Fully Specified Actions}, booktitle = {Knowledge Representation and Defeasible Reasoning}, publisher = {Kluwer Academic Publishers}, year = {1990}, editor = {Henry Kyburg and Ronald Loui and Greg Carlson}, pages = {23--67}, address = {Dordrecht}, topic = {kr;frame-problem;foundations-of-planning;action-formalisms; kr-course;} } @article{ reiter_r:1993a, author = {Raymond Reiter}, title = {Proving Properties of States in the Situation Calculus}, journal = {Artificial Intelligence}, year = {1993}, volume = {64}, pages = {337--351}, topic = {kr;action-formalisms;frame-problem;kr-course;} } @incollection{ morgenstern:1996a, author = {Leora Morgenstern}, title = {The Problem with Solutions to the Frame Problem}, booktitle = {The Robot's Dilemma Revisited: The Frame Problem in Artificial Intelligence}, publisher = {Ablex Publishing Co.}, year = {1996}, editor = {Kenneth M. Ford and Zenon Pylyshyn}, pages = {99--133}, address = {Norwood, New Jersey}, topic = {frame-problem;} } @incollection{ lormand:1996a, author = {Eric Lormand}, title = {The Holorobophobe's Dilemma}, booktitle = {The Robot's Dilemma Revisited: The Frame Problem in Artificial Intelligence}, publisher = {Ablex Publishing Co.}, year = {1996}, editor = {Kenneth M. Ford and Zenon Pylyshyn}, pages = {61--88}, address = {Norwood, New Jersey}, topic = {frame-problem;philosophy-AI;} } @book{ goodman_n:1946a, author = {Nelson Goodman}, title = {Fact, Fiction and Forecast}, publisher = {Harvard University Press}, year = {1946}, edition = {Fourth}, topic = {conditionals;induction;} } @book{ carlson_gn-pelletier:1995a, editor = {Greg N. Carlson and Francis Jeffrey Pelletier}, title = {The Generic Book}, publisher = {Chicago University Press}, year = {1995}, address = {Chicago, IL}, contentnote = {TC: 1. Krifka, Pelletier, Carlson, ter Meulen, Chierchia, Link, "Genericity: an Introduction" 2. Kratzer, "Stage-Level and Individual-Level Predicates" 3. Chierchia, "Individual-Level Predicates as Inherent Generics" 4. Carlson, "Truth Conditions of Generic Sentences: Two Contrasting Views" 5. Krifka, "Focus and the Interpretation of Generic Sentences" 6. Rooth, "Indefinites, Adverbs of Quantification, and Focus Semantics" 7. Asher and Morreau, "What Some Generic Sentences Mean" 8. ter Meulen, "Semantic Constraints on Type-Shifting Anaphora" 9. Link, "Generic Information and Dependent Generics" 10. Wilkinson, "The Semantics of the Common Noun `Kind'" 11. Krifka, "Common Nouns: A Contrastive Analysis of English and Chinese" 12. Dahl, "The Marking of the Episodic/Generic Distinction in Tense-Aspect Systems" }, topic = {generics;} } @article{ giunchiglia_e-etal:1997a, author = {Enrico Giunchiglia and G. Neelakantan Kartha and Vladimir Lifschitz}, title = {Representing Action: Indeterminacy and Ramifications}, journal = {Artificial Intelligence}, year = {1997}, volume = {95}, number = {2}, pages = {409--438}, topic = {action-formalisms;ramification-problem;nondeterministic-action;} } @inproceedings{ mccain-turner_h:1995a, author = {Norman McCain and Hudson Turner}, title = {A Causal Theory of Ramifications and Qualifications}, booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence}, year = {1995}, editor = {Chris Mellish}, pages = {1978--1984}, publisher = {Morgan Kaufmann}, address = {San Francisco}, rtnote = {In RHT collection.}, topic = {temporal-reasoning;planning-formalisms;qualification-problem;} } @article{ mcilraith:2000a, author = {Sheila Mcilraith}, title = {Integrating Actions and State Constraints: A Closed-Form Solution to the Ramification Problem}, journal = {Artificial Intelligence}, year = {2000}, volume = {116}, number = {1--2}, pages = {87--121}, topic = {action-formalisms;ramification-problem;} } @incollection{ sandewall:1996a, author = {Erik Sandewall}, title = {Comparative Assessments of Ramification Methods that Use Static Domain Constraints}, booktitle = {{KR}'96: Principles of Knowledge Representation and Reasoning}, publisher = {Morgan Kaufmann}, year = {1996}, editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro}, pages = {99--110}, address = {San Francisco, California}, topic = {kr;ramification-problem;causality;kr-course;} } @incollection{ sandewall:1997a, author = {Erik Sandewall}, title = {Underlying Semantics for Action and Change with Ramification}, booktitle = {Spatial and Temporal Reasoning}, publisher = {Kluwer Academic Publishers}, year = {1997}, editor = {Oliviero Stock}, pages = {289--318 }, address = {Dordrecht}, topic = {action-formalisms;temporal-reasoning;ramification-problem;} } @incollection{ thielscher:1996a, author = {Michael Thielscher}, title = {Causality and the Qualification Problem}, booktitle = {{KR}'96: Principles of Knowledge Representation and Reasoning}, publisher = {Morgan Kaufmann}, year = {1996}, editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro}, pages = {51--62}, address = {San Francisco, California}, topic = {kr;causality;qualification-problem;kr-course;} } @article{ thielscher:1997a, author = {Michael Thielscher}, title = {Ramification and Causality}, journal = {Artificial Intelligence}, year = {1989}, volume = {89}, number = {1--2}, pages = {317--364}, topic = {action-formalisms;temporal-reasoning;ramification-problem; causality;} } @incollection{ austin:1961x, author = {John L. Austin}, title = {A Plea for Excuses}, booktitle = {Philosophical Papers}, publisher = {Oxford University Press}, year = {1961}, editor = {{J.O.} {U}rmson and {G.J.} {W}arnock}, address = {Oxford}, missinginfo = {pages}, topic = {excuses;ordinary-language-philosophy;} } @inproceedings{ lifschitz:1987c, author = {Vladimir Lifschitz}, title = {Formal Theories of Action: Preliminary Report}, booktitle = {Proceedings of the Tenth International Joint Conference on Artificial Intelligence}, year = {1987}, editor = {John McDermott}, publisher = {Morgan Kaufmann}, address = {Los Altos, California}, missinginfo = {pages}, topic = {action-formalisms;} } @inproceedings{ elkan:1995a, author = {Charles Elkan}, title = {On Solving the Qualification Problem}, booktitle = {Working Notes of the {AAAI} Spring Symposium on Extending Theories of Action: Formal Theories and Applications}, year = {1995}, organization = {American Association for Artificial Intelligence}, address = {Menlo Park, California}, rtnote = {In RHT Collection.}, missinginfo = {pages}, topic = {kr;qualification-problem;kr-course;} } @inproceedings{ asher-morreau:1991a, author = {Nicholas Asher and Michael Morreau}, title = {Commonsense Entailment: a Modal Theory of Nonmonotonic Reasoning}, booktitle = {Proceedings of the Twelfth International Joint Conference on Artificial Intelligence}, year = {1991}, editor = {J.~Mylopoulos and R.~Reiter}, pages = {387--392}, publisher = {Morgan Kaufmann}, rtnote = {Extended Version in RHT collection.}, address = {Los Altos, California}, topic = {kr;nonmonotonic-logic;common-sense-entailment;conditionals; nonmonotonic-conditionals;} } @phdthesis{ finger_j:1987a, author = {Jeffrey J. Finger}, title = {Exploiting Constraints in Design Synthesis}, school = {Department of Computer Science, Stanford University}, year = {1987}, type = {Ph.{D}. Dissertation}, address = {Stanford, California}, rtnote = {This is what Stickel calls "predicate specific abduction". Also, this is the original reference for the so-called "ramification problem".}, topic = {abduction;theorem-proving;} } @article{ dowty:1977a, author = {David R. Dowty}, title = {Toward a Semantic Analysis of Verb Aspect and the {E}nglish `Imperfective' Progressive}, journal = {Linguistics and Philosophy}, year = {1977}, volume = {1}, number = {1}, pages = {45--77}, topic = {nl-semantics;tense-aspect;progressive;imperfective-paradox; semantics-course;} } @article{ lascarides:1992a, author = {Alex Lascarides}, title = {The Progressive and the Imperfective Paradox}, journal = {Synt\`hese}, year = {1992}, volume = {87}, number = {6}, pages = {401--447}, topic = {nl-semantics;tense-aspect;progressive;imperfective-paradox; nm-ling;semantics-course;} } @unpublished{ steedman:1998a, author = {Mark Steedman}, title = {The Productions of Time}, year = {1998}, note = {Unpublished manuscript, University of Edinburgh. Available from http://www.cogsci.ed.ac.uk/~steedman/papers.html.}, rtnote = {In RHT collection.}, topic = {temporal-reasoning;temporal-logic;Aktionsarten; frame-problem;Yale-shooting-problem;} } @inproceedings{ lin_fz:1995a, author = {Fangzhen Lin}, title = {Embracing Causality in Specifying the Indirect Effects of Actions}, booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence}, year = {1995}, editor = {Chris Mellish}, pages = {1985--1991}, publisher = {Morgan Kaufmann}, address = {San Francisco}, rtnote = {In RHT collection.}, topic = {causality;action-effects;action;action-formalisms;} } @incollection{ baker_ab:1989a, author = {Andrew B. Baker}, title = {A Simple Solution to the {Y}ale Shooting Problem}, booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning}, publisher = {Morgan Kaufmann}, year = {1989}, editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter}, pages = {11--20}, address = {San Mateo, California}, missinginfo = {number}, topic = {kr;Yale-shooting-problem;kr-course;} } @article{ morgenstern-stein:1994a, author = {Leora Morgenstern and Lynn Stein}, title = {Motivated Action Theory: a Formal Theory of Causal Reasoning}, journal = {Artificial Intelligence}, year = {1994}, volume = {71}, number = {1}, pages = {1--42}, rtnote = {Photocopy on file.}, topic = {causality;frame-problem;Yale-shooting-problem; action-formalisms;} } @article{ kowalski-sergot:1986a, author = {Robert A. Kowalski and Marek J. Sergot}, title = {A Logic-Based Calculus of Events}, journal = {New Generation Computing}, year = {1986}, volume = {4}, pages = {67--95}, rtnote = {This is the original event calculus paper.}, topic = {events;event-calculus;action-formalisms;} } @article{ turner_h:1999a, author = {Hudson Turner}, title = {A Logic of Universal Causation}, journal = {Artificial Intelligence}, year = {1999}, volume = {113}, number = {1--2}, pages = {87--123}, topic = {nonmonotonic-logic;action-formalisms;causality;} } @inproceedings{ baral:1995a, author = {Chitta Baral}, title = {Reasoning about Actions: Non-Deterministic Effects, Constraints, and Qualification}, booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence}, year = {1995}, editor = {Chris Mellish}, pages = {2017--2023}, publisher = {Morgan Kaufmann}, address = {San Francisco}, rtnote = {In RHT collection.}, topic = {planning-formalisms,actions;temporal-reasoning;} } @inproceedings{ brewka-hertzberg:1993a, author = {Gerhard Brewka and J. Hertzberg}, title = {How to Do Things with Worlds: On Formalizing Actions and Plans}, booktitle = {Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence}, year = {1993}, editor = {Ruzena Bajcsy}, pages = {517--532}, publisher = {Morgan Kaufmann}, address = {San Mateo, California}, missinginfo = {A's 1st name}, topic = {action-formalisms;} } @article{ castillo_m-etal:1999a, author = {M. Castillo and Olivier Gasquet and Andreas Herzig}, title = {Formalizing Action and Change in Modal Logic I: The Frame Problem}, journal = {Journal of Logic and Computation}, year = {1999}, volume = {9}, missinginfo = {A's 1st name, number, pages}, topic = {frame-problem;action;formalisms;modal-logic;} } @inproceedings{ elkan:1991b, author = {Charles Elkan}, title = {Reasoning about Action in First-Order Logic}, booktitle = {Proceedings of the Conference of the {C}anadian {S}ociety for {C}omputational {S}tudies of {I}ntelligence ({CSCSI})}, year = {1991}, pages = {221--227}, organization = {Canadian Society for Computational Studies of Intelligence}, publisher = {Morgan Kaufman}, address = {San Francisco}, missinginfo = {Editor}, rtnote = {In RHT collection. Check dates. 1992???}, topic = {planning-formalisms;action-formalisms;} } @article{ gelfond-lifschitz:1998a, author = {Michael Gelfond and Vladimir Lifschitz}, title = {Action Languages}, journal = {Electronic Transactions on {AI}}, year = {1998}, volume = {3}, note = {Available at http://www.ep.liu.se/rs/cis/1998/016/}, topic = {action-formalisms;} } @inproceedings{ giordano-etal:1998a, author = {L. Giordano and A. Martelli and Camilla B. Schwind}, title = {Dealing with Concurrent Actions in Modal Action Logic}, booktitle = {Proceedings of the Thirteenth {E}uropean Conference on {A}rtificial {I}ntelligence}, year = {1998}, pages = {537--541}, missinginfo = {A's 1st name, editor, publisher, address}, topic = {concurrence;action-formalisms;modal-logic;} } @inproceedings{ giunchiglia_e-lifschitz:1998a, author = {Enrico Giunchiglia and Vladimir Lifschitz}, title = {An Action Language Based on Causal Explanation}, booktitle = {Proceedings of the Fourteenth National Conference on Artificial Intelligence and the Ninth Innovative Applications of Artificial Intelligence Conference}, year = {1998}, editor = {Ted Senator and Bruce Buchanan}, pages = {623--628}, organization = {American Association for Artificial Intelligence}, publisher = {AAAI Press}, address = {Menlo Park, California}, topic = {causality;explanation;action-formalisms;} } @incollection{ grunwald:1997a, author = {P. Gr\"unwald}, title = {Causation and Nonmonotonic Temporal Reasoning}, booktitle = {{KI}-97: Advances in Artificial Intelligence}, publisher = {Springer-Verlag}, year = {1997}, editor = {Gerhard Brewka and Christopher Habel and W. Nebel}, pages = {159--170}, address = {Berlin}, missinginfo = {A's 1st name, E's 1st name, W NEBEL???}, topic = {causality;nonmonotonic-logic;} } @incollection{ gustaffson_j-doherty:1996a, author = {Joakim Gustaffson and Patrick Doherty}, title = {Embracing Occlusion in Specifying the Indirect Effects of Actions}, booktitle = {{KR}'96: Principles of Knowledge Representation and Reasoning}, publisher = {Morgan Kaufmann}, year = {1996}, editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro}, pages = {87--98}, address = {San Francisco, California}, missinginfo = {Check spelling of "Gustaffson".}, rtnote = {PMON is the Linkoping action formalism. This is an extension to include nondet actions among other things. Occlusion is a form of formalizing causal reasoning. For occlusion, see sandewall:1989a and sandewall:1994a}, topic = {kr;causality;action-formalisms;kr-course;action-effects;} } @article{ lifschitz:1997a, author = {Vladimir Lifschitz}, title = {On the Logic of Causal Explanation}, journal = {Artificial Intelligence}, year = {1997}, volume = {96}, number = {2}, pages = {451--465}, topic = {causality;circumscription;} } @inproceedings{ mccain-turner_h:1997a, author = {Norman McCain and Hudson Turner}, title = {Causal Theories of Action and Change}, booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference}, year = {1997}, editor = {Howard Shrobe and Ted Senator}, pages = {460--465}, organization = {American Association for Artificial Intelligence}, publisher = {AAAI Press}, address = {Menlo Park, California}, topic = {causality;action-formalisms;} } @inproceedings{ geffner:1990a, author = {Hector Geffner}, title = {Causal Theories of Nonmonotonic Reasoning}, booktitle = {Proceedings of the Eighth National Conference on Artificial Intelligence}, year = {1990}, editor = {Thomas Dietterich and William Swartout}, pages = {524--530}, organization = {American Association for Artificial Intelligence}, publisher = {AAAI Press}, address = {Menlo Park, CA}, topic = {causality;nonmonotonic-reasoning;} } @book{ geffner:1992c, author = {Hector Geffner}, title = {Default Reasoning: Causal and Conditional Theories}, publisher = {{MIT} Press}, year = {1992}, address = {Cambridge, Massachusetts}, topic = {kr;nonmonotonic-reasoning;causality;probabilistic-reasoning; kr-course;} } @book{ adams_ew:1975a, author = {Ernest W. Adams}, title = {The Logic of Conditionals}, publisher = {D. Reidel Publishing Co.}, year = {1975}, address = {Dordrecht}, rtnote = {In RHT Collection. LL single author shelves.}, topic = {conditionals;probability-semantics;} } @inproceedings{ haugh:1987a, author = {Brian Haugh}, title = {Simple Causal Minimization for Temporal Persistence and Projection}, booktitle = {Proceedings of the Seventh National Conference on Artificial Intelligence}, year = {1987}, editor = {Kenneth Forbus and Howard Shrobe}, pages = {218--223}, organization = {American Association for Artificial Intelligence}, publisher = {AAAI Press}, address = {Menlo Park, California}, contentnote = {This develops a causal minimization solution to the YSP.}, topic = {kr;causal-reasoning;frame-problem;yale-shooting-problem; kr-course;} } @article{ nakashima-etal:1997a, author = {Hideyuki Nakashima and Hitoshi Matsubara and Ichiro Osawa}, title = {Causality as a Key to the Frame Problem}, journal = {Artificial Intelligence}, year = {1997}, volume = {91}, number = {1}, pages = {37--50}, topic = {frame-problem;causality;krcourse;} } c@incollection{ lifschitz:1998a, author = {Vladimir Lifschitz}, title = {Situation Calculus and Causal Logic}, booktitle = {{KR}'98: Principles of Knowledge Representation and Reasoning}, publisher = {Morgan Kaufmann}, year = {1998}, editor = {Anthony G. Cohn and Lenhart Schubert and Stuart C. Shapiro}, pages = {536--546}, address = {San Francisco, California}, topic = {kr;temporal-reasoning;action-formalisms; causality;kr-course;} } @inproceedings{ steedman:1995a, author = {Mark Steedman}, title = {Dynamic Semantics for Tense and Aspect}, booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence}, year = {1995}, editor = {Chris Mellish}, pages = {1292--1298}, publisher = {Morgan Kaufmann}, address = {San Francisco}, rtnote = {In RHT collection.}, topic = {tense-aspect;temporal-logic;dynamic-logic;} } @book{ bach_e:1989a, author = {Emmon Bach}, title = {Informal Lectures on Formal Semantics}, publisher = {State University of New York Press}, year = {1989}, address = {Albany, NY}, rtnote = {Reading notes on file.}, topic = {nl-semantics;common-sense-knowledge;semantics-course; nl-metaphysics;} } @book{ weld-dekleer:1990a, editor = {Daniel S. Weld and Johan de Kleer}, title = {Qualitative Reasoning about Physical Systems}, publisher = {Morgan Kaufmann}, year = {1990}, address = {San Mateo, California}, topic = {qualitative-reasoning;kr-course;} } @article{ kuipers:1993a, author = {Benjamin Kuipers}, title = {Reasoning with Qualitative Models}, journal = {Artificial Intelligence}, year = {1993}, volume = {59}, number = {1--2}, pages = {125--132}, topic = {qualitative-reasoning;qualitative-methods;} } @misc{ lesniewski:1916a, author = {Stanis{\l}aw Le\'sniewski}, title = {Podstawy Og\'olnej Teorii Mnogo\'sci {I}}, year = {1916}, address = {Moscow}, publisher = {Poplawski}, note = {English Title: ``Foundations of a general set theory {I}.''}, topic = {mereology;} } @incollection{ cohn_ag-etal:1997a, author = {Anthony G. Cohn and Brandon Bennett and John Gooday and Nicholas M. Gotts}, title = {Representing and Reasoning with Qualitative Spatial Relations}, booktitle = {Spatial and Temporal Reasoning}, publisher = {Kluwer Academic Publishers}, year = {1997}, editor = {Oliviero Stock}, pages = {97--134}, address = {Dordrecht}, topic = {spatial-reasoning;spatial-representation; qualitative-reasoning;} } @article{ clarke_b:1981a, author = {Bowman L. Clarke}, title = {A Calculus of Individuals Based on `Connection'\,}, journal = {Notre {D}ame Journal of Formal Logic}, year = {1981}, volume = {22}, number = {3}, pages = {204--218}, rtnote = {In RHT collection.}, topic = {mereology;spatial-reasoning;} } @article{ clarke_b:1985a, author = {Bowman L. Clarke}, title = {Individuals and Points}, journal = {Notre {D}ame Journal of Formal Logic}, year = {1985}, volume = {26}, number = {1}, pages = {61--75}, topic = {mereology;spatial-reasoning;} } @book{ akman-etal:2001a, editor = {Varol Akman and Paolo Bouquet and Richmond Thomason and Roger A. Young}, title = {Modeling and Using Context}, publisher = {Springer-Verlag}, year = {2001}, address = {Berlin}, contentnote = {TC: 1. Horacio Arlo-Costa, "Trade-Offs between Inductive Power and Logical Omniscience in Modeling Context", pp. 1--14 2. John A. Barnden, "Uncertainty and Conflict Handling in the {ATT}-Meta Context-Based System for Metaphorical Reasoning", pp. 15--29 3. Travis Bauer and David B. Leake, "{W}ord{S}eive: A Method for Real-Time Context Extraction", pp. 30--44 4. John Bell, "Pragmatic Reasoning: Pragmatic Semantics and Semantic Pragmatics", pp. 45--58 5. Massimo Beneceretti and Paolo Bouquet and Chiara Ghidini, "On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective", pp. 59--72 6. Claudia Bianchi, "Context of Utterance and Intended Context", pp. 73--66 7. Paolo Bouquet and Luciano Serafini, "Two Formalizations of Context: A Comparison", pp. 87--101 8. Jocelyn Cohan, "Consider the Alternatives: Focus in Contrast and Context", pp. 102--115 9. John H. Connolly, "Context in the Study of Human Languages and Computer Programming Languages: A Comparison", pp. 116--128 10. Mehdi Dastani and Bipin Indurkhya, "Modeling Context Effect in Perceptual Domains", pp. 129--142 11. Bruce Edmonds, "Learning Appropriate Contexts", pp. 143--155 12. Hamid R. Ekbia and Ana G. Maguitman, "Context and Relevance: A Pragmatic Approach", pp. 156--169 13. Roberta Ferrario, "Counterfactual Reasoning", pp. 170--183 14. Martin Romacker and Udo Hahn, "Context-Based Ambiguity Management for Natural Language Processing", pp. 184--197 15. Amy E. Henninger and Avelino J.Gonzalez and Michael Georgiopoulos and Michael De{M}aro, "A Connectionist-Symbolic Approach to Modeling Agent Behavior: Neural Networks Grouped by Contexts", pp. 198--209 16. Martin Juettner and Ingo Rentschler, "Context Dependency of Pattern-Category Learning", pp. 210--220 17. Boicho Kokinov and Maurice Grinberg, "Simulating Context Effects in Problem Solving with {AMBR}", pp. 221--234 18. David Langlois and Kamel Smaili and Jean-Paul Haton, "A New Method Based on Context for Combining Statistical Language Models", pp. 235--247 19. Tomoko Matsui, "Experimental Pragmatics: Towards Testing Relevance-Based Predictions about Anaphoric Bridging Inferences", pp. 248--260 20. Heiko Maus, "Workflow Context as a Means for Intelligent Information Support", pp. 261--274 21. Renate Motschnig-Pitrik and Ladislav Nykl, "The Role and Modeling of Context in a Cognitive Model of {R}oger's Person-Centred Approach", pp. 275--289 22. Carlo Penco, "Local Holism", pp. 290--303 23. Isodora Stojanovic, "Whom is the Problem of the Essential Indexical a Problem for?", pp. 304--315 24. Charles Tijus, "Contextual Categorization and Cognitive Phenomena", pp. 316--329 25. Elise H. Turner and Roy M. Turner, "Representing the Graphics Context to Support Understanding Plural Anaphora in Multi-Modal Interfaces", pp. 330--342 26. Roy M. Turner and Elise H. Turner and Thomas A. Wagner and Thomas J. Wheeler and Nancy E. Ogle, "Using Explicit, A Priori Contextual Knowledge in an Intelligent Web Search Agent", pp. 343--352 27. Nicla Vassallo, "Contexts and Philosophical Problems of Knowledge", pp. 353--366 28. Holger Wache, "Practical Context Transformation for Information System Interoperability", pp. 367--380 29. Roger A. Young, "Explanation as Contextual", pp. 381--394 30. Elisabetta Zibetti and Vicen\c{c} Quera and Francesc Salvador Beltran and Charles Tijus, "Contextual Categorization: A Mechanism Linking Perception and Knowledge in Modeling and Simulating Perceived Events as Actions", pp. 395--408 31. William A. Adams, "The Motivational Context", pp. 409--412 32. Guido Boella and Leonardo Lesmo, "An Approach to Anaphora Based on Mental Models", pp. 413--416 33. Cristina Bosco and Carla Bazzanella, "Context and Multi-Media Corpora, pp. 417--420 34. Luc Bovens and Stephan Hartmann, "Belief Expansion, Contextual Fit and the Reliability of Information Sources", pp. 421--424 35. Aline Chevalier and Laure Martinex, "The Role of Context in the Acquisition and in the Organization of Knowledge: Studies from Adults and from Children", pp. 425--428 36. Piotr Ciskowski, "{VC}-Dimension of a Context-Dependent Perception", pp. 429--432 37. Christo Dichev, "A Framework for a Context-Driven Web Resource Directory", pp. 433--436 38. Patrick Etcheverry and Phillipe Lopist\'eguy and Pantxika Dagorret, "Specifying Contexts for Coordination Patterns", pp. 437--440 39. Anne-Laure Fayard and Austin Henderson, "Looking at `Situated' Technology: Differences in Pattern of Interaction Reflect Differences in Context", pp. 441-444 40. J.T. Fern\'andez-Breis and Rafael Valencia-Garcia and Rodrigo Martinez-B\'ejar and Pascual Cantos-G\`omez, "A Context-Driven Approach for Knowledge Acquisition: Application to a Leukemia Domain", pp. 445--448 41. Anita Fetzer, "Context in Natural-Language Communication: Presupposed or Co-Supposed?", pp. 449--452 42. Avelino J. Gonzalez and Shinya Sacki, "Using Contexts Competition to Model Tactical Human Behavior in a Simulation", pp. 453--456 43. Roland Klemke and Achim Nick, "Case Studies in Developing Contextualizing Information Systems", pp. 457--460 44. Jean-Charles Pomerol and Patrick Brezillon, "About Some Relationships between Knowledge and Context", pp. 461--464 45. Debbie Richards, "Combining Cases and Rules to Provide Contextualized Knowledge Based Systems", pp. 465--469 }, ISBN = {3-540-42379-6}, topic = {context;} } @book{ casati-varzi:1996a, author = {Roberto Casati and Achille C. Varzi}, title = {Holes and Other Superficialities}, publisher = {The {MIT} Press}, year = {1996}, address = {Cambridge, Massachusetts}, ISBN = {0262032112}, rtnote = {Graduate Library Call No: BD 399 .C371 1994}, xref = {Review: lewis_dk-lewis_s:1998a.}, topic = {spatial-representation;philosophucal-ontology;mereology;} } @book{ casati-varzi:1999a, author = {Roberto Casati and Achille C. Varzi}, title = {Parts and Places: The Structures of Spatial Representation}, publisher = {The {MIT} Press}, year = {1999}, address = {Cambridge, Massachusetts}, ISBN = {026203266X (alk. paper)}, rtnote = {UMich Graduate Library, BD 621 .C351 1999}, xref = {Reviews: aiello:2000a, mason_f:2001a.}, topic = {spatial-representation;philosophical-ontology;mereology;} } @book{ simons_p:1987a, author = {Peter Simons}, title = {Parts: A Study in Ontology}, publisher = {Oxford University Press}, year = {1987}, address = {Oxford}, topic = {mereology;} } @incollection{ gotts:1994a, author = {N.M. Gotts}, title = {How Far Can We `{C}'? Defining a Doughnut Using Connection Alone}, booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning}, publisher = {Morgan Kaufmann}, year = {1994}, editor = {Jon Doyle and Erik Sandewall and Pietro Torasso}, pages = {246--257}, address = {San Francisco, California}, contentnote = {"C" is a connection relation}, missinginfo = {A's 1st name}, topic = {kr;kr-course;spatial-representation;} } @techreport{ gotts:1996a, author = {N.M. Gotts}, title = {Topology from a Single Primitive Relation: Defining Topological Properties and Relations in Terms of Connection}, institution = {School of Computer Studies, University of Leeds}, number = {96.24}, year = {1996}, address = {Leeds}, missinginfo = {A's 1st name}, topic = {spatial-representation;} } @inproceedings{ wolter-zakharyaschev:2000a, author = {Frank Wolter and Michael Zakharyaschev}, title = {Spatio-Temporal Representation and Reasoning based on {RCC-8}}, booktitle = {{KR}2000: Principles of Knowledge Representation and Reasoning}, year = {2000}, editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman}, publisher = {Morgan Kaufmann}, address = {San Francisco}, pages = {3--14}, topic = {spatial-reasoning;temporal-reasoning;} } @incollection{ cohn_ag-:1997a, author = {Anthony G. Cohn}, title = {Qualitative Spatial Representation and Reasoning Techniques}, booktitle = {{KI}-97, Advances in Artificial Intelligence}, publisher = {Springer-Verlag}, year = {1996}, editor = {Gerhard Brewka and Christopher Habel and Bernhard Nebel}, pages = {1--30}, address = {Berin}, topic = {spatial-reasoning;} } @incollection{ galton:1997a, author = {Anthony Galton}, title = {Space, Time, and Movement}, booktitle = {Spatial and Temporal Reasoning}, publisher = {Kluwer Academic Publishers}, year = {1997}, editor = {Oliviero Stock}, pages = {321--352}, address = {Dordrecht}, topic = {spatial-reasoning;temporal-reasoning; reasoning-about-movement;} } @book{ russell_b:1957a, author = {Bertrand Russell}, title = {Mysticism and Logic}, publisher = {Doubleday}, year = {1957}, address = {Garden City, New York}, rtnote = {Has stuff on causality.}, topic = {analytic-philosophy-causality;} } @article{ simon_ha:1952a, author = {Herbert Simon}, title = {On the Definition of the Causal Relation}, journal = {The Journal of Philosophy}, year = {1952}, volume = {49}, missinginfo = {number}, pages = {517--528}, topic = {causality;} } @book{ simon_ha:1977a, author = {Herbert A. Simon}, title = {Models of Discovery}, publisher = {D. Reidel Publishing Co.}, year = {1977}, address = {Dordrecht}, topic = {foundations-of-economics;AI-classics;} } @article{ iwasaki-simon:1986a, author = {Yumi Iwasaki and Herbert Simon}, title = {Causality in Device Behavior}, journal = {Artificial Intelligence}, year = {1986}, volume = {29}, number = {1}, pages = {3--32}, rtnote = {In RHT collection.}, topic = {causality;qualitative-reasoning;} } @book{ fagin-etal:1995b, author = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi}, title = {Reasoning about Knowledge}, publisher = {The {MIT} Press}, year = {1995}, address = {Cambridge, Massachusetts}, rtnote = {Reading notes on file.}, xref = {Reviews: goranko:1999a.}, topic = {epistemic-logic;distributed-systems;communication-protocols; game-theory;} } @inproceedings{ konolige:1986a, author = {Kurt Konolige}, title = {What Awareness Isn't: A Sentential View of Implicit and Explicit Belief}, booktitle = {Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference}, year = {1986}, editor = {Joseph Y. Halpern}, pages = {241--250}, publisher = {Morgan Kaufmann Publishers, Inc.}, address = {Los Altos, California}, topic = {hyperintensionality;epistemic-logic;belief;} } @article{ lakemeyer:1994a, author = {Gerhard Lakemeyer}, title = {Limited Reasoning in First-Order Knowledge Bases}, journal = {Artificial Intelligence}, year = {1997}, volume = {71}, number = {2}, pages = {213--255}, topic = {belief;epistemic-logic;hyperintensionality;} } @book{ laux-wansing:1995a, editor = {Armin Laux and Heinrich Wansing}, title = {Knowledge and Belief in Philosophy and Artificial Intelligence}, publisher = {Akedemie Verlag}, year = {1995}, address = {Berlin}, rtnote = {Not in Hillman .}, topic = {epistemic-logic;propositional-attitudes;belief;} } @inproceedings{ levesque:1984b, author = {Hector J. Levesque}, title = {A Logic of Implicit and Explicit Belief}, booktitle = {Proceedings of the Fourth National Conference on Artificial Intelligence}, year = {1984}, pages = {198--202}, organization = {American Association for Artificial Intelligence}, missinginfo = {editor, publisher, address}, topic = {propositional-attitudes;epistemic-logic;resource-limited-reasoning; hyperintensionality;belief;} } @book{ meyer_jjc-vanderhoek:1995a, author = {{John-Jules Ch.} Meyer and Wiebe {van der Hoek}}, title = {Epistemic Logic for {AI} and Computer Science}, publisher = {Cambridge University Press}, year = {1995}, address = {Cambridge}, ISBN = {052146014X (hardback)}, rtnote = {UMich MEDIA UNION LIBRARY, QA 76 .M4951 1995.}, xref = {Review: verbrugge:1999a.}, contentnote = {TC: 0. "Introduction" 1. "Basics: The Modal Approach to Logic" 2. "Various Notions of Knowledge and Belief" 3. "Knowledge and Ignorance" 4. "Default Logic by Epistemi Logic" A1. "Konolige's Deduction Model of Belief" A2. "Knowledge Structures (Fagin, Halpern & Vardi)" A3. "First-Order Epistemic Logic" A4. "Table of the Basic Logical Systems" }, topic = {epistemic-logic;logic-in-AI;} } @incollection{ moore_rc:1985a3, author = {Robert C. Moore}, title = {A Formal Theory of Knowledge and Action}, booktitle = {Formal Theories of the Commonsense World}, editor = {Jerry R. Hobbs and Robert C. Moore}, publisher = {Ablex Publishing Corporation}, year = {1985}, pages = {319--358}, address = {Norwood, New Jersey}, xref = {Journal Publication: moore_rc:1985a2.}, topic = {kr;foundations-of-planning;action;epistemic-logic;kr-course;} } @book{ moore_rc:1995a, author = {Robert C. Moore}, title = {Logic and Representation}, publisher = {Cambridge University Press}, year = {1995}, address = {Cambridge, England}, topic = {kr;logic-in-AI;autoepistemic-logic;action;kr-course;} } @inproceedings{ scherl-levesque:1993a, author = {Richard B. Scherl and Hector J. Levesque}, title = {The Frame Problem and Knowledge-Producing Actions}, booktitle = {Proceedings of the Eleventh National Conference on Artificial Intelligence}, year = {1993}, editor = {Richard Fikes and Wendy Lehnert}, pages = {698--695}, organization = {American Association for Artificial Intelligence}, publisher = {AAAI Press}, address = {Menlo Park, California}, rtnote = {In RHT collection.}, topic = {kr;action;epistemic-logic;frame-problem;kr-course;} } @inproceedings{ fagin-etal:1984b, author = {Ronald Fagin and Joseph Y. Halpern and Moshe Y. Vardi}, title = {A Model Theoretic Analysis of Knowledge}, booktitle = {Proceedings of the Twenty-Fifth Annual Symposium on the Foundations of Computer Science}, year = {1984}, pages = {268--278}, missinginfo = {organization, publisher, address}, topic = {epistemic-logic;} } @incollection{ geanakopolos:1994b, author = {John Geanakopolos}, title = {Common Knowledge}, booktitle = {Handbook of Game Theory, Volume 2}, publisher = {Elsevier Science Publishers}, year = {1994}, editor = {Robert Aumann and S. Hart}, chapter = {40}, address = {Amsterdam}, missinginfo = {E's 1st name, pages}, topic = {mutual-belief;game-theory;} } @book{ osborne_mj-rubenstein:1994a, author = {Martin J. Osborne and Ariel Rubenstein}, title = {A Course in Game Theory}, publisher = {The {MIT} Press}, year = {1994}, address = {Cambridge, Massachusetts}, rtnote = {Econ HB144 0733 1994. This book is highly recommended.}, contentnote = {Chapter 5 contains an account of knowledge and common knowledge in game theory.}, topic = {game-theory;} } @book{ halpern:1986c, editor = {Joseph Y. Halpern}, title = {Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference ({TARK} 1986)}, publisher = {Morgan Kaufmann Publishers, Inc.}, year = {1986}, address = {Los Altos, California}, topic = {reasoning-about-knowledge;epistemic-logic;} } @book{ simon_ha:1982a, author = {Herbert A. Simon}, title = {Models of Bounded Rationality, Volume 1}, publisher = {The {MIT} Press}, year = {1982}, address = {Cambridge, Massachusetts}, topic = {limited-rationality;} } @book{ simon_ha:1982b, author = {Herbert A. Simon}, title = {Models of Bounded Rationality, Volume 2}, publisher = {The {MIT} Press}, year = {1982}, address = {Cambridge, Massachusetts}, topic = {limited-rationality;} } @book{ russell_sj-wefald:1991a, author = {Stuart J. Russell and Eric Wefald}, title = {Do the Right Thing}, publisher = {The {MIT} Press}, year = {1991}, address = {Cambridge, Massachusetts}, topic = {limited-rationality;} } @incollection{ rosenschein_sj:1989a, author = {Stanley J. Rosenschein}, title = {Synthesizing Information-Tracking Automata from Environment Descriptions}, booktitle = {{KR}'89: Principles of Knowledge Representation and Reasoning}, publisher = {Morgan Kaufmann}, year = {1989}, editor = {Ronald J. Brachman and Hector J. Levesque and Raymond Reiter}, pages = {386--393}, address = {San Mateo, California}, topic = {kr;cognitive-robotics;epistemic-logic;kr-course;} } @article{ rosenschein_sj-kaelbling:1995a, author = {Stanley J. Rosenschein and Leslie Pack Kaelbling}, title = {A Situated View of Representation and Control}, journal = {Artificial Intelligence}, year = {1995}, volume = {73}, number = {1--2}, pages = {149--173}, topic = {cognitive-robotics;foundations-of-robotics;} } @article{ perlis:1985a, author = {Donald Perlis}, title = {Languages With Self-Reference {I}: Foundations}, journal = {Artificial Intelligence}, year = {1985}, volume = {25}, pages = {301--322}, missinginfo = {number}, rtnote = {In RHT collection.}, topic = {self-reference;semantic-paradoxes;} } @article{ hintikka:1970e, author = {Jaakko Hintikka}, title = {Objects of Knowledge and Belief: Aquaintances and Public Figures}, journal = {The Journal of Philosophy}, year = {1970}, volume = {67}, number = {21}, pages = {869--883}, topic = {epistemic-logic;quantifying-in-modality;logic-of-perception; knowing-who;} } @inproceedings{ baral-etal:2000a, author = {Chitta Baral and Sheila McIlraith and Tran Cao San}, title = {Formulating Diagnostic Reasoning Using an Action Language with Narratives and Sensing}, booktitle = {{KR}2000: Principles of Knowledge Representation and Reasoning}, year = {2000}, editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman}, publisher = {Morgan Kaufmann}, address = {San Francisco}, pages = {311--322}, topic = {diagnosis;action-formalisms;sensing-actions;} } @inproceedings{ degiacomo-rossali:1999a, author = {Giuseppe De Giacomo and Riccardi Rosali}, title = {Minimal Knowledge Approach to Reasoning about Actions and Sensing}, booktitle = {Proceedings of the {IJCAI}-99 Workshop on Nonmonotonic Reasoning, Action and Change}, year = {1999}, editor = {Michael Thielscher}, pages = {25--32}, organization = {IJCAI}, publisher = {International Joint Conference on Artificial Intelligence}, address = {Murray Hill, New Jersey}, topic = {action-formalisms;sensing-actions;} } @incollection{ golden-weld:1996a, author = {Keith Golden and Daniel Weld}, title = {Representing Sensing Actions: The Middle Ground Revisited}, booktitle = {{KR}'96: Principles of Knowledge Representation and Reasoning}, publisher = {Morgan Kaufmann}, year = {1996}, editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro}, pages = {174--185}, address = {San Francisco, California}, topic = {kr;cognitive-robotics;reasoning-about-knowledge;actions; sensing-actions;} } @inproceedings{ pirri-finzi:1999a, author = {Fiora Pirri and Alberto Finzi}, title = {A Preliminary Approach to Perception in Theory of Agents}, booktitle = {Proceedings of the {IJCAI}-99 Workshop on Nonmonotonic Reasoning, Action and Change}, year = {1999}, editor = {Michael Thielscher}, pages = {49--56}, organization = {IJCAI}, publisher = {International Joint Conference on Artificial Intelligence}, address = {Murray Hill, New Jersey}, topic = {action-formalisms;sensing-actions;} } @inproceedings{ thielscher:2000a, author = {Michael Thielscher}, title = {Representing the Knowledge of a Robot}, booktitle = {{KR}2000: Principles of Knowledge Representation and Reasoning}, year = {2000}, editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman}, publisher = {Morgan Kaufmann}, address = {San Francisco}, pages = {109--120}, topic = {epistemic-logic;sensing-actions;sensing-formalisms;} }