Linked bibliography for the SEP article "Logic and Artificial Intelligence" by Richmond Thomason |
This is an automatically generated and experimental page
If everything goes well, this page should display the bibliography of the aforementioned article as it appears in the Stanford Encyclopedia of Philosophy, but with links added to PhilPapers records and Google Scholar for your convenience. Some bibliographies are not going to be represented correctly or fully up to date. In general, bibliographies of recent works are going to be much better linked than bibliographies of primary literature and older works. Entries with PhilPapers records have links on their titles. A green link indicates that the item is available online at least partially.
This experiment has been authorized by the editors of the Stanford Encyclopedia of Philosophy. The original article and bibliography can be found here.
- Adams, Ernest W., 1975, The Logic of Conditionals, Dordrecht: D. Reidel Publishing Co. (Scholar)
- Aiello, Luigia Carlucci, Doyle, Jon, and Shapiro, Stuart (eds.), 1996, KR'96: Principles of Knowledge Representation and Reasoning, San Francisco: Morgan Kaufmann. (Scholar)
- Akman, Varol, Bouquet, Paolo, Thomason, Richmond, and Young, Roger A. (eds.), 2001, Modeling and Using Context, Berlin: Springer-Verlag, ISBN 3-540-42379-6. (Scholar)
- Alcourrón, Carlos E., 1995, “Defeasible logics: Demarcation and affinities”, in Conditionals: From Philosophy to Computer Science, Gabriella Crocco, Luis Fari nas del Cerro, and A. Herzig, eds., Oxford: Oxford University Press, 67-102. (Scholar)
- Allen, James F., Fikes, Richard, and Sandewall, Erik (eds.), 1989, KR'89: Principles of Knowledge Representation and Reasoning, San Francisco: Morgan Kaufmann. (Scholar)
- Allen, James F., Fikes, Richard, and Sandewall, Erik (eds.), 1991, KR'91: Principles of Knowledge Representation and Reasoning, San Mateo, California: Morgan Kaufmann. (Scholar)
- Allwein, Gerard and Barwise, Jon (eds.), 1996, Logical Reasoning With Diagrams, Oxford: Oxford University Press. (Scholar)
- Amarel, Saul, 1968, “On representations of problems of reasoning about actions”, in Machine Intelligence 3, D. Mitchie, ed., Chichester, England: Ellis Horwood, 131-171. (Scholar)
- Antoniou, Grigoris, 1997, Nonmonotonic Reasoning, Cambridge, Massachusetts: The MIT Press. (Scholar)
- Antoniou, Grigoris and Wang, Kewen, 2007, “Default logic”, in Handbook of the History of Logic, Volume 8: The Many-Valued and Nonmonotonic Turn in Logic, Dov Gabbay and John Woods, eds., Amsterdam: Elsevier Science Publishers, 517-555. (Scholar)
- Arlo-Costa, Horacio and Shapiro, Scott, 1992, “Maps between nonmonotonic logic and conditional logic”, in KR'92. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference, Bernhard Nebel, Charles Rich, and William Swartout, eds., San Mateo, California: Morgan Kaufmann, 553-564. (Scholar)
- Asher, Nicholas, 1995, “Commonsense entailment: A conditional logic for some generics”, in Conditionals: From Philosophy to Computer Science, Gabriella Crocco, Luis Fari nas del Cerro, and A. Herzig, eds., Oxford: Oxford University Press, 103-145. (Scholar)
- Asher, Nicholas and Lascarides, Alex, 1994, “Intentions and information in discourse”, in Proceedings of the Thirty-Second Meeting of the Association for Computational Linguistics, James Pustejovsky, ed., Association for Computational Linguistics, San Francisco: Morgan Kaufmann, 35-41. (Scholar)
- Asher, Nicholas and Lascarides, Alex, 1997, “Lexical disambiguation in a discourse context”, in Lexical Semantics: The Problem of Polysemy, James Pustejovsky and Brian Boguraev, eds., Oxford: Oxford University Press, 69-108. (Scholar)
- Asher, Nicholas and Morreau, Michael, 1991, “Commonsense entailment: a modal theory of nonmonotonic reasoning”, in Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, J. Mylopoulos and R. Reiter, eds., Los Altos, California: Morgan Kaufmann, 387-392. (Scholar)
- Austin, John L., 1961, “A plea for excuses”, in Philosophical Papers, J.O. Urmson and G.J. Warnock, eds., Oxford: Oxford University Press.
- Baader, Franz, Calvanese, Diego, McGuinness, Deborah L., Nardi, Daniele, and Patel-Schneider, Peter (eds.), 2004, The Description Logic Handbook: Theory, Implementation and Applications, Cambridge, England: Cambridge University Press. (Scholar)
- Bacchus, Fahiem, Halpern, Joseph Y., and Levesque, Hector J., 1999, “Reasoning about noisy sensors and effectors in the situation calculus”, Artificial Intelligence, 111(1-2): 171-208. (Scholar)
- Bach, Emmon, 1989, Informal Lectures on Formal Semantics, Albany, NY: State University of New York Press. (Scholar)
- Baker, Andrew B., 1989, “A simple solution to the Yale shooting problem”, in KR'89: Principles of Knowledge Representation and Reasoning, Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, eds., San Mateo, California: Morgan Kaufmann, 11-20. (Scholar)
- Baral, Chitta, 1995, “Reasoning about actions: Non-deterministic effects, constraints, and qualification”, in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, Chris Mellish, ed., San Francisco: Morgan Kaufmann, 2017-2023. (Scholar)
- Baral, Chitta and Gelfond, Michael, 2000, “Reasoning agents in dynamic domains”, in Logic-Based Artificial Intelligence, Jack Minker, ed., Dordrecht: Kluwer Academic Publishers, 257-279. (Scholar)
- Baral, Chitta, McIlraith, Sheila, and San, Tran Cao, 2000, “Formulating diagnostic reasoning using an action language with narratives and sensing”, in KR2000: Principles of Knowledge Representation and Reasoning, Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, eds., San Francisco: Morgan Kaufmann, 311-322. (Scholar)
- Belnap, Jr., Nuel D., 1996, “Agents in branching time”, in Logic and Reality: Essays on the Legacy of Arthur Prior, Jack Copeland, ed., Oxford: Oxford University Press, 239-271. (Scholar)
- Benferat, Salem, Dubois, Didier, and Prade, Henri, 1997, “Nonmonotonic reasoning, conditional objects, and possibility theory”, Artificial Intelligence, 92(1-2): 259-276. (Scholar)
- Besnard, Philippe, 1992, Default Logic, Berlin: Springer-Verlag. (Scholar)
- Birnbaum, Lawrence, 1991, “Rigor mortis: A response to Nilsson's ‘Logic and artificial intelligence’”, Artificial Intelligence, 47(1-3): 57-77. (Scholar)
- Bochman, Alexander, 2004, “A causal approach to nonmonotonic reasoning”, Artificial Intelligence, 160(1-2): 105-143.
- Bochman, Alexander, 2007, “Non-monotonic reasoning and belief change”, in Handbook of the History of Logic, Volume 8: The Many-Valued and Nonmonotonic Turn in Logic, Dov Gabbay and John Woods, eds., Amsterdam: Elsevier Science Publishers, 557-632. (Scholar)
- Boolos, George, 1993, The Logic of Provability, Cambridge, England: Cambridge Universoti Press. (Scholar)
- Bouquet, Paolo, Serafini, Luigi, Brézillon, Patrick, Benerecetti, Massimo, and Castellani, Francesca (eds.), 1999, Modeling and Using Contexts: Proceedings of the Second International and Interdisciplinary Conference, CONTEXT'99, Berlin: Springer-Verlag. (Scholar)
- Boutilier, Craig, 1992, “Conditional logics for default reasoning and belief revision”, Tech. Rep. KRR-TR-92-1, Computer Science Department, University of Toronto, Toronto, Ontario. (Scholar)
- Boutilier, Craig, 1996, “Iterated revision and minimal change of conditional beliefs”, Journal of Philosophical Logic, 25(3): 263-305. (Scholar)
- Boutilier, Craig, Dean, Thomas, and Hanks, Steve, 1996, “Planning under uncertainty: Structural assumptions and computational leverage”, in New Directions in AI Planning, Malik Ghallab and Alfredo Milani, eds., Amsterdam: IOS Press, 157-171. (Scholar)
- Brachman, Ronald J., Levesque, Hector J., and Reiter, Raymond (eds.), 1989, KR'89: Principles of Knowledge Representation and Reasoning, San Mateo, California: Morgan Kaufmann. (Scholar)
- Brachman, Ronald J., McGuinness, Deborah L., Patel-Schneider, Peter F., and Resnik, Lori A., 1991, “Living with CLASSIC: When and how to use a KL-ONE-like language”, in Principles of Semantic Networks, John F. Sowa, ed., San Mateo, California: Morgan Kaufmann, 401-456. (Scholar)
- Brachman, Ronald J. and Levesque, Hector J., 2004, Knowledge Representation and Reasoning, Amsterdam: Elsevier. (Scholar)
- Brewka, Gerhard, 1991, Nonmonotonic Reasoning: Logical Foundations of Commonsense, Cambridge, England: Cambridge University Press. (Scholar)
- Brewka, Gerhard, Dix, Jürgen, and Konolige, Kurt, 1997, Nonmonotonic Reasoning: An Overview, Stanford: CSLI Publications. (Scholar)
- Brewka, Gerhard and Lang, Jérôome (eds.), 2008, KR2008: Proceedings of the Eleventh National Conference, Palo Alto: AAAI Press. (Scholar)
- Buchanan, Bruce and Shortliffe, Edward H., 1984, Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project, Reading, Massachusetts: Addison Wesley. (Scholar)
- Burger, Wilhelm and Bhanu, Bir, 1992, Qualitative Motion Planning, Dordrecht: Kluwer Academic Publishers, ISBN 0792392515. (Scholar)
- Burgess, John P., 1984, “Basic tense logic”, in Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic, Dov Gabbay and Franz Guenther, eds., Dordrecht: D. Reidel Publishing Co., 89-133. (Scholar)
- Burkhard, Hans-Dieter, Hannebauer, Markus, and Wendler, Jan, 1998, “Belief-desire-intention deliberation in artificial soccer”, The AI Magazine, 1998(3): 87-93. (Scholar)
- Buszkowski, Wojciech, 1996, “Mathematical linguistics and proof theory”, in Handbook of Logic and Language, Johan van Benthem and Alice ter Meulen, eds., Amsterdam: Elsevier, 683-736. (Scholar)
- Carlson, Greg N. and Pelletier, Francis Jeffry (eds.), 1995, The Generic Book, Chicago, IL: Chicago University Press. (Scholar)
- Carnap, Rudolph, 1955, “Meaning and synonymy in natural languages”, Philosophical Studies, 7: 33-47. Reprinted in Carnap 1956, pp. 233-247. (Scholar)
- Carnap, Rudolph, 1956, Meaning and Necessity, Chicago: Chicago University Press, 2 ed. (First edition published in 1947.). (Scholar)
- Casati, Roberto and Varzi, Achille C., 1996, Holes and Other Superficialities, Cambridge, Massachusetts: The MIT Press, ISBN 0262032112. (Scholar)
- Casati, Roberto and Varzi, Achille C., 1999, Parts and Places: The Structures of Spatial Representation, Cambridge, Massachusetts: The MIT Press, ISBN 026203266X (alk. paper). (Scholar)
- Chellas, Brian, 1975, “Basic conditional logic”, Journal of Philosophical Logic, 4(2): 133-154. (Scholar)
- Chen, Su-Shing (ed.), 1990, Advances in Spatial Reasoning, Volume 1, Norwood, New Jersey: Ablex. (Scholar)
- Clancey, William J., 1983, “The epistemology of a rule-based expert system: a framework for explanation”, Artificial Intelligence, 20: 215-251. (Scholar)
- Clark, Keith L., 1978, “Negation as failure”, in Logic and Data Bases, H. Gallaire and Jack Minker, eds., New York: Plenum Press, 293-322. (Scholar)
- Clarke, Bowman L., 1981, “A calculus of individuals based on ‘connection’”, Notre Dame Journal of Formal Logic, 22(3): 204-218.
- Clarke, Bowman L., 1985, “Individuals and points”, Notre Dame Journal of Formal Logic, 26(1): 61-75. (Scholar)
- Cohen, Philip R. and Levesque, Hector J., 1990, “Intention is choice with commitment”, Artificial Intelligence, 42(3): 213-261. (Scholar)
- Cohn, Anthony G., 1996, “Qualitative spatial representation and reasoning techniques”, in KI-97, Advances in Artificial Intelligence, Gerhard Brewka, Christopher Habel, and Bernhard Nebel, eds., Berin: Springer-Verlag, 1-30. (Scholar)
- Cohn, Anthony G., Bennett, Brandon, Gooday, John, and Gotts, Nicholas M., 1997, “Representing and reasoning with qualitative spatial relations”, in Spatial and Temporal Reasoning, Oliviero Stock, ed., Dordrecht: Kluwer Academic Publishers, 97-134. (Scholar)
- Cohn, Anthony G., Giunchiglia, Fausto, and Selman, Bart (eds.), 2000, KR2000: Principles of Knowledge Representation and Reasoning, San Francisco: Morgan Kaufmann. (Scholar)
- Cohn, Anthony G., Schubert, Lenhart, and Shapiro, Stuart C. (eds.), 1998, KR'89: Principles of Knowledge Representation and Reasoning, San Francisco: Morgan Kaufmann. (Scholar)
- Copeland, B. Jack, 1996, “Arthur Prior's life and legacy”, in Logic and Reality: Essays on the Legacy of Arthur Prior, Jack Copeland, ed., Oxford: Oxford University Press, 1-40. (Scholar)
- Davis, Ernest, 1991, Common Sense Reasoning, San Francisco: Morgan Kaufmann. (Scholar)
- Davis, Ernest and Morgenstern, Leora, 2004, “Introduction: Progress in formal commonsense reasoning”, Artificial Intelligence, 153(1-2): 1-12. (Scholar)
- Davis, Martin, 1988, “Mathematical logic and the origin of modern computers”, in The Universal Turing Machine: A Half-Century Survey, Rolf Herkin, ed., Oxford: Oxford University Press, 149-174. (Scholar)
- DeJong, Gerald D. and Bennett, Scott W., 1989, “Permissive planning: Extending classical planning to uncertain task domains”, Artificial Intelligence, 89(1-2): 173-217. (Scholar)
- Delgrande, James P., 1998, “Conditional logics for defeasible logics”, in Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 2, Dov M. Gabbay and Philippe Smets, eds., Dordrecht: Kluwer Academic Publishers, 135-174. (Scholar)
- Dennett, Daniel, 1987, “Cognitive wheels: The frame problem of AI”, in The Robot's Dilemma: The Frame Problem in Artificial Intelligence, Zenon Pylyshyn, ed., Norwood, New Jersey: Ablex Publishing Co., 41-64. (Scholar)
- Doherty, Patrick, Fikes,, Richard, and Sandewall, Erik (eds.), 2006, KR'2006: Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Palo Alto: AAAI Press. (Scholar)
- Dowty, David R., 1977, “Toward a semantic analysis of verb aspect and the English ‘imperfective’ progressive”, Linguistics and Philosophy, 1(1): 45-77. (Scholar)
- Doyle, Jon, 1979, “A truth maintenance system”, Artificial Intelligence, 12(3): 231-272.
- Doyle, Jon, Sandewall, Erik, and Torasso, Pietro (eds.), 1994, KR'94: Principles of Knowledge Representation and Reasoning, San Francisco: Morgan Kaufmann. (Scholar)
- Doyle, Jon and Thomason, Richmond H., 1999, “Background to qualitative decision theory”, AI Magazine, 20(2): 55-68. (Scholar)
- Dubois, Didier, Welty, Christopher, and Williams, Mary-Anne (eds.), 2004,KR2004: Principles of Knowledge Representation and Reasoning, Palo Alto: AAAI Press. (Scholar)
- Elkan, Charles, 1991, “Reasoning about action in first-order logic”, in Proceedings of the Conference of the Canadian Society for Computational Studies of Intelligence (CSCSI), Canadian Society for Computational Studies of Intelligence, San Francisco: Morgan Kaufman, 221-227. (Scholar)
- Elkan, Charles, 1995, “On solving the qualification problem”, in Working Notes of the AAAI Spring Symposium on Extending Theories of Action: Formal Theories and Applications, Menlo Park, California: American Association for Artificial Intelligence. (Scholar)
- Fagin, Ronald, Halpern, Joseph Y., Moses, Yoram, and Vardi, Moshe Y., 1995, Reasoning about Knowledge, Cambridge, Massachusetts: The MIT Press. (Scholar)
- Fagin, Ronald, Halpern, Joseph Y., and Vardi, Moshe Y., 1984, “A model theoretic analysis of knowledge”, in Proceedings of the Twenty-Fifth Annual Symposium on the Foundations of Computer Science, 268-278.
- Fensel, Dieter, Giunchiglia, Fausto, McGuinness, Deborah, and Williams, Mary-Anne (eds.), 2002, KR2002: Principles of Knowledge Representation and Reasoning, San Francisco, California: Morgan Kaufmann. (Scholar)
- Fikes, Richard, 1996, “Ontologies: What are they, and where's the research?”, in KR'96: Principles of Knowledge Representation and Reasoning, Luigia Carlucci Aiello, Jon Doyle, and Stuart Shapiro, eds., San Francisco, California: Morgan Kaufmann, 652-654. (Scholar)
- Finger, Jeffrey J., 1987, Exploiting Constraints in Design Synthesis, Ph.D. dissertation, Department of Computer Science, Stanford University, Stanford, California. (Scholar)
- Fodor, Jerry A., 1987, “Modules, frames, fridgeons, sleeping dogs, and the music of the spheres”, in The Robot's Dilemma: The Frame Problem in Artificial Intelligence, Zenon Pylyshyn, ed., Norwood, New Jersey: Ablex Publishing Co., 139-149. (Scholar)
- Forbus, Kenneth D., 1988, “Qualitative physics: Past, present, and future”, in Exploring Artificial Intelligence, Howard E. Shrobe, ed., San Mateo, California: Morgan Kaufmann, 239-296. (Scholar)
- Forbus, Kenneth D., Nielsen, Paul, and Faltings, Boi, 1991, “Qualitative spatial reasoning: The CLOCK project”, Artificial Intelligence, 51(1-3): 417-471. (Scholar)
- Ford, Kenneth M. and Pylyshyn, Zenon (eds.), 1996, The Robot's Dilemma Revisited: The Frame Problem in Artificial Intelligence, Norwood, New Jersey: Ablex Publishing Co., ISBN 1567501435 (pbk). (Scholar)
- Gabbay, Dov, Hogger, Christopher J., and Robinson, J. A. (eds.), 1994, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, Oxford: Oxford University Press. (Scholar)
- Gabbay, Dov M., 1995, “Conditional implications and non-monotonic consequence”, in Conditionals: From Philosophy to Computer Science, Gabriella Crocco, Luis Fari nas del Cerro, and A. Herzig, eds., Oxford: Oxford University Press, 337-359. (Scholar)
- Galton, Anthony, 1997, “Space, time, and movement”, in Spatial and Temporal Reasoning, Oliviero Stock, ed., Dordrecht: Kluwer Academic Publishers, 321-352. (Scholar)
- Gärdenfors, Peter and Makinson, David, 1994, “Nonmonotonic inferences based on expectations”, Artificial Intelligence, 65(2): 197-245. Uses selection functions and “expectation relations” to model expectations. Relations between theory revision and nonmonotonic logic. (Scholar)
- Geanakopolos, John, 1994, “Common knowledge”, in Handbook of Game Theory, Volume 2, Robert Aumann and S. Hart, eds., Amsterdam: Elsevier Science Publishers, chap. 40. (Scholar)
- Geffner, Hector, 1990, “Causal theories of nonmonotonic reasoning”, in Proceedings of the Eighth National Conference on Artificial Intelligence, Thomas Dietterich and William Swartout, eds., American Association for Artificial Intelligence, Menlo Park, CA: AAAI Press, 524-530. (Scholar)
- Geffner, Hector, 1992, Default Reasoning: Causal and Conditional Theories, Cambridge, Massachusetts: MIT Press. (Scholar)
- Gelfond, Michael and Lifschitz, Vladimir, 1998, “Action languages”, Electronic Transactions on AI, 3. Available at http://www.ep.liu.se/rs/cis/1998/016/. (Scholar)
- Genesereth, Michael and Nilsson, Nils J., 1987, Logical Foundations of Artificial Intelligence, San Mateo, California: Morgan Kaufmann. (Scholar)
- Ginsberg, Matthew L. (ed.), 1987, Readings in Nonmonotonic Reasoning, Los Altos, California: Morgan Kaufmann. (Out of print.). (Scholar)
- Giunchiglia, Enrico, Kartha, G. Neelakantan, and Lifschitz, Vladimir, 1997, “Representing action: Indeterminacy and ramifications”, Artificial Intelligence, 95(2): 409-438. (Scholar)
- Giunchiglia, Enrico and Lifschitz, Vladimir, 1998, “An action language based on causal explanation”, in Proceedings of the Fourteenth National Conference on Artificial Intelligence and the Ninth Innovative Applications of Artificial Intelligence Conference, Ted Senator and Bruce Buchanan, eds., American Association for Artificial Intelligence, Menlo Park, California: AAAI Press, 623-628. (Scholar)
- Glasgow, Janice, Narayanan, N. Hari, and Chandrasekaran, B. (eds.), 1995, Diagrammatic Reasoning, Cambridge, Massachusetts: The MIT Press. (Scholar)
- Golden, Keith and Weld, Daniel, 1996, “Representing sensing actions: The middle ground revisited”, in KR'96: Principles of Knowledge Representation and Reasoning, Luigia Carlucci Aiello, Jon Doyle, and Stuart Shapiro, eds., San Francisco, California: Morgan Kaufmann, 174-185. (Scholar)
- Goodman, Nelson, 1946, Fact, Fiction and Forecast, Harvard University Press, fourth ed. (Scholar)
- Gotts, N.M., 1994, “How far can we ‘C’? defining a doughnut using connection alone”, in KR'94: Principles of Knowledge Representation and Reasoning, Jon Doyle, Erik Sandewall, and Pietro Torasso, eds., San Francisco, California: Morgan Kaufmann, 246-257. (Scholar)
- Gotts, N.M., 1996, “Topology from a single primitive relation: Defining topological properties and relations in terms of connection”, Tech. Rep. 96.24, School of Computer Studies, University of Leeds, Leeds. (Scholar)
- Guha, Ramanathan V., 1991, “Contexts: a formalization and some applications”, Tech. Rep. STAN-CS-91-1399, Stanford Computer Science Department, Stanford, California. (Scholar)
- Gustaffson, Joakim and Doherty, Patrick, 1996, “Embracing occlusion in specifying the indirect effects of actions”, in KR'96: Principles of Knowledge Representation and Reasoning, Luigia Carlucci Aiello, Jon Doyle, and Stuart Shapiro, eds., San Francisco, California: Morgan Kaufmann, 87-98. (Scholar)
- Halpern, Joseph Y. (ed.), 1986, Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference (TARK 1986), Los Altos, California: Morgan Kaufmann Publishers, Inc. (Scholar)
- Halpern, Joseph Y. and Moses, Yoram, 1985, “Towards a theory of knowledge and ignorance”, in Logics and Models of Concurrent Systems, Krzysztof R. Apt, ed., Berlin: Springer-Verlag, 459-476. (Scholar)
- Hammer, Eric M., 1995, Logic and Visual Information, Stanford, California: CSLI Publications. (Scholar)
- Hanks, Steven and McDermott, Drew, 1985, “Temporal reasoning and default logics”, Tech. Rep. YALEU/CSD/RR#430, Department of Computer Science, Yale University, New Haven, Connecticut. (Scholar)
- Hanks, Steven and McDermott, Drew, 1986, “Default reasoning, nonmonotonic logics and the frame problem”, in Proceedings of the Fifth National Conference on Artificial Intelligence, Tom Kehler and Stan Rosenschein, eds., American Association for Artificial Intelligence, Los Altos, California: Morgan Kaufmann, 328-333. (Scholar)
- Hanks, Steven and McDermott, Drew, 1987, “Non-monotonic logics and temporal projection”, Artificial Intelligence, 33(3): 379-412. (Scholar)
- Haugeland, John, 1981, “Semantic engines: An introduction to mind design”, in Mind Design, John Haugeland, ed., Cambridge, Massachusetts: The MIT Press, 1-34. (Scholar)
- Haugh, Brian, 1987, “Simple causal minimization for temporal persistence and projection”, in Proceedings of the Seventh National Conference on Artificial Intelligence, Kenneth Forbus and Howard Shrobe, eds., American Association for Artificial Intelligence, Menlo Park, California: AAAI Press, 218-223. (Scholar)
- Hintikka, Jaakko, 1962, Knowledge and Belief, Ithaca, New York: Cornell University Press. (Scholar)
- Hintikka, Jaakko, 1970, “Objects of knowledge and belief: Aquaintances and public figures”, The Journal of Philosophy, 67(21): 869-883. (Scholar)
- Hintikka, Jaakko, 1986, “Reasoning about knowledge in philosophy: The paradigm of epistemic logic”, in Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, Joseph Y. Halpern, ed., Los Altos, California: Morgan Kaufmann Publishers, Inc., 63-80. (Scholar)
- Hobbs, Jerry, et al., Mark, Appelt, Douglas, and Martin, Paul, 1993, “Interpretation as abduction”, Artificial Intelligence, 63(1-2): 69-142. (Scholar)
- Hobbs and Gordon, Hobbs, Jerry and Gordon, Andrew (2005) Encoding Knowledge of Commonsense Psychology. 7th International Symposium on Logical Formalizations of Commonsense Reasoning. May 22-24, 2005, Corfu, Greece. (Scholar)
- Horty, John F., 1994, “Some direct theories of nonmonotonic inheritance”, in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, Dov Gabbay, Christopher J. Hogger, and J. A. Robinson, eds., Oxford University Press, 111-187. (Scholar)
- Horty, John F., 2001, Agency and Deontic Logic, Oxford: Oxford University Press, ISBN 0195134613. (Scholar)
- Horty, John, 2012, Reasons as Defaults, Oxford: Oxford University Press. (Scholar)
- Israel, David J., 1991, “A short sketch of the life and career of john McCarthy”, in Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, Vladimir Lifschitz, ed., San Diego, California: Academic Press. (Scholar)
- Iwasaki, Yumi and Simon, Herbert, 1986, “Causality in device behavior”, Artificial Intelligence, 29(1): 3-32. (Scholar)
- Johnston, Benjamin and Williams, Mary-Anne, “A Generic Framework for Approximate Simulation in Commonsense Reasoning Systems”, AAAI 2007 Spring Symposium on Commonsense Reasoning, American Association for Artificial Intelligence, Menlo Park, 2007. (Scholar)
- Kapur, Deepak and Mundy, Joseph L., 1988, “Geometric reasoning and artificial intelligence: Introduction to the special volume”, Artificial Intelligence, 37(1-3): 1-11. (Scholar)
- Konolige, Kurt, 1986, “What awareness isn't: A sentential view of implicit and explicit belief”, in Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, Joseph Y. Halpern, ed., Los Altos, California: Morgan Kaufmann Publishers, Inc., 241-250. (Scholar)
- Konolige, Kurt, 1988, “On the relation between default and autoepistemic logic”, Artificial Intelligence, 35(3): 343-382. (See also errata, Artificial Intelligence 41(1): 115.). (Scholar)
- Konolige, Kurt, 1994, “Autoepistemic logic”, in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, Dov Gabbay, Christopher J. Hogger, and J. A. Robinson, eds., Oxford: Oxford University Press, 217-295. (Scholar)
- Konolige, Kurt and Pollack, Martha, 1993, “A representationalist theory of intention”, in Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, Ruzena Bajcsy, ed., San Mateo, California: Morgan Kaufmann.
- Kosslyn, Stephen Michael, 1990, “Visual cognition: Introduction”, in An Invitation to Cognitive Science. Volume 2: Visual Cognition and Action, Daniel N. Osherson and Howard Lasnik, eds., Cambridge, Massachusetts: The MIT Press, 3-4. (Scholar)
- Kowalski, Robert A. and Sergot, Marek J., 1986, “A logic-based calculus of events”, New Generation Computing, 4: 67-95.
- Krifka, Manfred, Pelletier, Francis Jeffrey, Carlson, Gregory, ter Meulen, Alice, Chierchia, Gennaro, and Link, Godehard, 1995, “Genericity: An introduction”, in The Generic Book, Gregory Carlson and Francis Jeffrey Pelletier, eds., Chicago, IL: Chicago University Press, 1-124. (Scholar)
- Kuipers, Benjamin, 1993, “Reasoning with qualitative models”, Artificial Intelligence, 59(1-2): 125-132. (Scholar)
- Lakemeyer, Gerhard, 1997, “Limited reasoning in first-order knowledge bases”, Artificial Intelligence, 71(2): 213-255. (Scholar)
- Lascarides, Alex, 1992, “The progressive and the imperfective paradox”, Synthese, 87(6): 401-447. (Scholar)
- Laux, Armin and Wansing, Heinrich (eds.), 1995, Knowledge and Belief in Philosophy and Artificial Intelligence, Berlin: Akedemie Verlag. (Scholar)
- Lehmann, Daniel and Magidor, Menachem, 1992, “What does a conditional knowledge base entail?”, Artificial intelligence, 55(1): 1-60. (Scholar)
- Lenat, Douglas B. and Guha, R.V., 1989, Building Large Knowledge-Based Systems: Representation and Inference in the CYC Project., Reading, Massachusetts: Addison-Wesley Publishing Company. (Scholar)
- Lesniewski, Stanisaw, 1916, “Podstawy ogólnej teorii mnogosci I”, English Title: “Foundations of a general set theory I.”. (Scholar)
- Levesque, Hector and Lakemeyer, Gerhard, 2000, The Logic of Knowledge Bases, Cambridge, Massachusetts: The MIT Press, ISBN 0-262-12232-4 (hardback). (Scholar)
- Levesque, Hector J., 1984, “A logic of implicit and explicit belief”, in Proceedings of the Fourth National Conference on Artificial Intelligence, American Association for Artificial Intelligence, 198-202.
- Levesque, Hector J., 1987, “Taking issue: Guest editor's introduction”, Computational Intelligence, 3(3): 149-150. (Scholar)
- Levy, Alon Y., 2000, “Logic-based techniques in data integration”, in Logic-Based Artificial Intelligence, Jack Minker, ed., Dordrecht: Kluwer Academic Publishers, 575-595. (Scholar)
- Lifschitz, Vladimir, 1987, “Formal theories of action: Preliminary report”, in Proceedings of the Tenth International Joint Conference on Artificial Intelligence, John McDermott, ed., Los Altos, California: Morgan Kaufmann. (Scholar)
- Lifschitz, Vladimir (ed.), 1990a, Formalizing Common Sense: Papers by John McCarthy, Norwood, New Jersey: Ablex Publishing Corporation. (Scholar)
- Lifschitz, Vladimir, 1990b, “Understanding common sense: McCarthy's research in artificial intelligence”, in Formalizing Common Sense: Papers by John McCarthy, Vladimir Lifschitz, ed., Norwood, New Jersey: Ablex Publishing Corporation, 1-8. (Scholar)
- Lifschitz, Vladimir, 1997, “On the logic of causal explanation”, Artificial Intelligence, 96(2): 451-465. (Scholar)
- Lifschitz, Vladimir, 1998, “Situation calculus and causal logic”, in KR'98: Principles of Knowledge Representation and Reasoning, Anthony G. Cohn, Lenhart Schubert, and Stuart C. Shapiro, eds., San Francisco, California: Morgan Kaufmann, 536-546. (Scholar)
- Lin, Fangzhen, 1995, “Embracing causality in specifying the indirect effects of actions”, in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, Chris Mellish, ed., San Francisco: Morgan Kaufmann, 1985-1991. (Scholar)
- Lin, Fangzhen, Sattler, Ulrike, and Truszczynski, Miroslaw (eds.), 2010, KR2010: Proceedings of the Twelfth International Conference, Palo Alto: AAAI Press. (Scholar)
- Lormand, Eric, 1996, “The holorobophobe's dilemma”, in The Robot's Dilemma Revisited: The Frame Problem in Artificial Intelligence, Kenneth M. Ford and Zenon Pylyshyn, eds., Norwood, New Jersey: Ablex Publishing Co., 61-88. (Scholar)
- Łukasiewicz, Jan, 1970, Jan Łukasiewicz, Selected Writings, North-Holland. Edited by Ludwik Borowski. (Scholar)
- Łukaszewicz, Witold, 1990, Non-Monotonic Reasoning: Formalization of Commonsense Reasoning, New York: Ellis Horwood, ISBN 0136244467. (Scholar)
- Makinson, David, 2005, “How to go non-monotonic”, in Handbook of Philosophical Logic (Volume 12, Second edition), Dov Gabbay and Franz Guenthner, eds., Berlin: Springer-Verlag, 175--278. (Scholar)
- Marek, Victor and Truszczynski, Mirosaw, 1991, “Autoepistemic logic”, Journal of the Association for Computing Machinery, 38(3): 588-619. (Scholar)
- Marek, Wictor and Truszczynski, Mirosaw, 1989, “Relating autoepistemic and default logics”, in KR'89: Principles of Knowledge Representation and Reasoning, Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, eds., San Mateo, California: Morgan Kaufmann, 276-288. (Scholar)
- Marek, Wictor and Truszczynski, Mirosaw, 1994, Nonmonotonic Logic: Context-Dependent Reasoning, Berlin: Springer-Verlag. (Scholar)
- McCain, Norman and Turner, Hudson, 1995, “A causal theory of ramifications and qualifications”, in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, Chris Mellish, ed., San Francisco: Morgan Kaufmann, 1978-1984.
- McCain, Norman and Turner, Hudson, 1997, “Causal theories of action and change”, in Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference, Howard Shrobe and Ted Senator, eds., American Association for Artificial Intelligence, Menlo Park, California: AAAI Press, 460-465. (Scholar)
- McCarthy, John, 1959, “Programs with common sense”, in Proceedings of the Teddington Conference on the Mechanization of Thought Processes, London: Her Majesty's Stationary Office, 75-91. (Scholar)
- McCarthy, John, 1979, “First order theories of individual concepts and propositions”, in Machine Intelligence 9, J.E. Hayes, D. Mitchie, and L.I. Mikulich, eds., Chichester, England: Ellis Horwood, 129-148. (Scholar)
- McCarthy, John, 1980, “Circumscription: A form of non-monotonic reasoning”, Artificial Intelligence, 13: 27-39. (Scholar)
- McCarthy, John, 1983, “Situations, actions, and causal laws”, Tech. Rep. Memo 2, Stanford Artificial Intelligence Project, Stanford University. (Scholar)
- McCarthy, John, 1986, “Applications of circumscription to formalizing common sense knowledge”, Artificial Intelligence, 13: 27-39. (Scholar)
- McCarthy, John, 1987, “Epistemological problems of artificial intelligence”, in Readings in Nonmonotonic Reasoning, Matthew L. Ginsberg, ed., Los Altos, California: Morgan Kaufmann, 46-55. (Scholar)
- McCarthy, John, 1993a, “History of circumscription”, Artificial Intelligence, 59: 23-26. (Scholar)
- McCarthy, John, 1993b, “Notes on formalizing contexts”, in Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, Ruzena Bajcsy, ed., San Mateo, California: Morgan Kaufmann, 555-560. (Scholar)
- McCarthy, John, 1999, “Elaboration tolerance”, Http://www-formal.stanford.edu/jmc/elaboration.html. (Scholar)
- McCarthy, John and Buvac, Saša, 1998, “Formalizing context (expanded notes)”, in Computing Natural Language, Atocha Aliseda, Rob van Glabbeek, and Dag Westerståhl, eds., Stanford, California: CSLI Publications, 13-50. (Scholar)
- McCarthy, John and Hayes, Patrick J., 1969, “Some philosophical problems from the standpoint of artificial intelligence”, in Machine Intelligence 4, B. Meltzer and D. Michie, eds., Edinburgh: Edinburgh University Press, 463-502. (Scholar)
- McDermott, Drew, 1982, “Nonmonotonic logic II: Nonmonotonic modal theories”, Journal of the Association for Computing Machinery, 29(1): 33-57. (Scholar)
- McDermott, Drew, 1987, “Critique of pure reason”, Computational Intelligence, 3(3): 149-160. (Scholar)
- McDermott, Drew and Doyle, Jon, 1980, “Non-monotonic logic I”, Artificial Intelligence, 13: 41-72. (Scholar)
- Meyer, John-Jules Ch. and van der Hoek, Wiebe, 1995, Epistemic Logic for AI and Computer Science, Cambridge: Cambridge University Press, ISBN 052146014X (hardback). (Scholar)
- Minker, Jack, 1997, “Logic and databases: Past, present and future”, AI Magazine, 18(3): 21-47. (Scholar)
- Minker, Jack, 2000a, “Introduction to logic-based artificial intelligence”, in Logic-Based Artificial Intelligence, Jack Minker, ed., Dordrecht: Kluwer Academic Publishers, 3-33. (Scholar)
- Minker, Jack (ed.), 2000, Logic-Based Artificial Intelligence, Dordrecht: Kluwer Academic Publishers. (Scholar)
- Minsky, Marvin, 1974, “A framework for representing knowledge”, Tech. Rep. 306, Artificial Intelligence Laboratory, MIT. Republished in several places, including Haugeland 1981.
- Moore, Johanna, 1995, Participating in Explanatory Dialogues, The MIT Press. (Scholar)
- Moore, Robert C., 1985, “A formal theory of knowledge and action”, in Formal Theories of the Commonsense World, Jerry R. Hobbs and Robert C. Moore, eds., Norwood, New Jersey: Ablex Publishing Corporation, 319-358.
- Moore, Robert C., 1993, “Autoepistemic logic revisited”, Artificial Intelligence, 59(1-2): 27-30. (Scholar)
- Moore, Robert C., 1995b, Logic and Representation, Cambridge, England: Cambridge University Press. (Scholar)
- Morgenstern, Leora, 1996, “The problem with solutions to the frame problem”, in The Robot's Dilemma Revisited: The Frame Problem in Artificial Intelligence, Kenneth M. Ford and Zenon Pylyshyn, eds., Norwood, New Jersey: Ablex Publishing Co., 99-133. (Scholar)
- Morgenstern, Leora, 2001, “Mid-Sized Axiomatizations of Commonsense Problems: A Case Study in Egg Cracking”, Studia Logica, 67(3):333-384. (Scholar)
- Morgenstern, Leora and Stein, Lynn, 1994, “Motivated action theory: a formal theory of causal reasoning”, Artificial Intelligence, 71(1): 1-42. (Scholar)
- Mueller, Erik T., 2006, Common Sense Reasoning, Elsevier. (Scholar)
- Nakashima, Hideyuki, Matsubara, Hitoshi, and Osawa, Ichiro, 1997, “Causality as a key to the frame problem”, Artificial Intelligence, 91(1): 37-50. (Scholar)
- Nebel, Bernhard, Rich, Charles, and Swartout, William (eds.), 1992, KR’: Principles of Knowledge Representation and Reasoning, San Francisco: Morgan Kaufmann.
- Nilsson, Nils J., 1991, “Logic and artificial intelligence”, Artificial Intelligence, 47(1-3): 31-56. (Scholar)
- Nilsson, Nils J., 1995, “Eye on the prize”, Available at http://robotics.Stanford.EDU/~nilsson/. (Scholar)
- Ohrstrom, Peter and Hasle, Per F.V., 1995, Temporal Logic from Ancient Ideas to Artificial Intelligence, Dordrecht: Kluwer Academic Publishers. (Scholar)
- Osborne, Martin J. and Rubenstein, Ariel, 1994, A Course in Game Theory, Cambridge, Massachusetts: The MIT Press. (Scholar)
- Osherson, Daniel N. and Lasnik, Howard (eds.), 1990, An Invitation to Cognitive Science. Volume 2: Visual Cognition and Action, Cambridge, Massachusetts: The MIT Press. (Scholar)
- Pearl, Judea, 1994, “From Adams' conditionals to default expressions, causal conditionals, and counterfactuals”, in Probability and Conditionals: Belief Revision and Rational Decision, Ellery Eells and Brian Skyrms, eds., Cambridge, England: Cambridge University Press, 47-74. (Scholar)
- Pearl, Judea, 2000, Causality: Models, Reasoning, and Inference, Cambridge, England: Cambridge University Press, ISBN 0-521-77362-8. (Scholar)
- Perlis, Donald, 1985, “Languages with self-reference I: Foundations”, Artificial Intelligence, 25: 301-322. (Scholar)
- Pirri, Fiora and Finzi, Alberto, 1999, “A preliminary approach to perception in theory of agents”, in Proceedings of the IJCAI-99 Workshop on Nonmonotonic Reasoning, Action and Change, Michael Thielscher, ed., IJCAI, Murray Hill, New Jersey: International Joint Conference on Artificial Intelligence, 49-56.
- Pollack, Martha, 1992, “The uses of plans”, Artificial Intelligence, 57(1): 43-68. (Scholar)
- Pollock, John L., 1995, Cognitive Carpentry: A Manual for How to Build a Person, Cambridge, Massachusetts: The MIT Press. (Scholar)
- Prior, Arthur, 1956, Time and Modality, Oxford: Oxford University Press. (Scholar)
- Prior, Arthur, 1967, Past, Present and Future, Oxford: Oxford University Press. (Scholar)
- Prior, Arthur, 1968, Papers on Time and Tense, Oxford: Oxford University Press. (Scholar)
- Pylyshyn, Zenon (ed.), 1987, The Robot's Dilemma: The Frame Problem in Artificial Intelligence, Norwood, New Jersey: Ablex Publishing Co., ISBN 0893913715. (Scholar)
- Quine, Willard V.O, 1960, “Variables explained away”, in Selected Logic Papers, Willard V. Quine, ed., Cambridge, Massachusetts: Harvard University Press, 227-235. (Scholar)
- Rao, Anand S. and Georgeff, Michael P., 1991, “Modeling rational agents within a BDI-architecture”, in KR'91: Principles of Knowledge Representation and Reasoning, James F. Allen, Richard Fikes, and Erik Sandewall, eds., San Mateo, California: Morgan Kaufmann, 473-484. (Scholar)
- Reiter, Raymond, 1978, “On closed world data bases”, in Logic and Data Bases, H. Gallaire and J. Minker, eds., New York: Plenum Press, 55-76. (Scholar)
- Reiter, Raymond, 1980, “A logic for default reasoning”, Artificial Intelligence, 13: 81-32.
- Reiter, Raymond, 1993, “Proving properties of states in the situation calculus”, Artificial Intelligence, 64: 337-351. (Scholar)
- Reiter, Raymond, 2001, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, Cambridge, Massachusetts: The MIT Press. (Scholar)
- Renz, Jochen and Nebel, Bernhard, 1999, “On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus”, Artificial Intelligence, 108(1-2): 69-123. (Scholar)
- Rosenschein, Stanley J., 1989, “Synthesizing information-tracking automata from environment descriptions”, in KR'89: Principles of Knowledge Representation and Reasoning, Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, eds., San Mateo, California: Morgan Kaufmann, 386-393. (Scholar)
- Rosenschein, Stanley J. and Kaelbling, Leslie Pack, 1995, “A situated view of representation and control”, Artificial Intelligence, 73(1-2): 149-173.
- Rounds, William C., 1996, “Feature logics”, in Handbook of Logic and Language, Johan van Benthem and Alice ter Meulen, eds., Amsterdam: Elsevier, 475-533. (Scholar)
- Russell, Bertrand, 1957, Mysticism and Logic, Garden City, New York: Doubleday. (Scholar)
- Russell, Stuart and Norvig, Peter, 2003, Artificial Intelligence: A Modern Approach, Englewood Cliffs, New Jersey: Prentice Hall, 2 ed., ISBN 0137903952. (Scholar)
- Russell, Stuart J. and Wefald, Eric, 1991, Do the Right Thing, Cambridge, Massachusetts: The MIT Press. (Scholar)
- Sadek, M.D., 1992, “A study in the logic of intention”, in KR'92. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference, Bernhard Nebel, Charles Rich, and William Swartout, eds., San Mateo, California: Morgan Kaufmann, 462-473.
- Sandewall, Eric, 1972, “An approach to the frame problem, and its implementation”, in Machine Intelligence 7, D. Michie and B. Meltzer, eds., Edinburgh University Press, 195-204. (Scholar)
- Sandewall, Erik, 1994, Features and Fluents: A Systematic Approach to the Representation of Knowledge About Dynamical Systems, Oxford: Oxford University Press. (Scholar)
- Schlechta, Karl, 1997, Nonmonotonic Logics, Berin: Springer-Verlag, ISBN 3-540-62482-1. (Scholar)
- Schlechta, Karl, 2007, “Non-monotonic logics: A preferential approach”, in Handbook of the History of Logic, Volume 8: The Many-Valued and Nonmonotonic Turn in Logic, Dov Gabbay and John Woods, eds., Amsterdam: Elsevier Science Publishers, 451-516. (Scholar)
- Schubert, Lenhart, 1990, “Monotonic solution of the frame problem in the situation calculus; an efficient method for worlds with fully specified actions”, in Knowledge Representation and Defeasible Reasoning, Henry Kyburg, Ronald Loui, and Greg Carlson, eds., Dordrecht: Kluwer Academic Publishers, 23-67. (Scholar)
- Seligman, Jerry and Moss, Lawrence S., 1996, “Situation theory”, in Handbook of Logic and Language, Johan van Benthem and Alice ter Meulen, eds., Amsterdam: Elsevier, 239-307. (Scholar)
- Shanahan, Murray, 1997, Solving the Frame Problem, Cambridge, Massachusetts: The MIT Press. (Scholar)
- Shanahan, Murray, 2004, “An attempt to formalise a non-trivial benchmark problem in common sense reasoning”, Artificial Intelligence, 153(1-2): 141-165. (Scholar)
- Shieber, Stuart, 1992, Constraint-Based Grammar Formalisms: Parsing and Type Inference for Natural and Computer Languages, Cambridge, Massachusetts: The MIT Press. (Scholar)
- Shoham, Yoav, 1988, Reasoning About Change: Time and Causation From the Standpoint of Artificial Intelligence, Cambridge, Massachusetts: The MIT Press. (Scholar)
- Simon, Herbert, 1952, “On the definition of the causal relation”, The Journal of Philosophy, 49: 517-528. (Scholar)
- Simon, Herbert, 1966, “On reasoning about action”, Tech. Rep. Complex Information Processing Paper #87, Carnegie Institute of Technology, Pittsburgh, Pennsylvania. (Scholar)
- Simon, Herbert A., 1977, Models of Discovery, Dordrecht: D. Reidel Publishing Co. (Scholar)
- Simon, Herbert A., 1982a, Models of Bounded Rationality, Volume 1, Cambridge, Massachusetts: The MIT Press. (Scholar)
- Simon, Herbert A., 1982b, Models of Bounded Rationality, Volume 2, Cambridge, Massachusetts: The MIT Press. (Scholar)
- Simons, Peter, 1987, Parts: A Study in Ontology, Oxford: Oxford University Press. (Scholar)
- Stalnaker, Robert C., 1993, “A note on non-monotonic modal logic”, Artificial Intelligence, 64(2): 183-196. Widely circulated in manuscipt form, 1980 to 1992.
- Steedman, Mark, 1995, “Dynamic semantics for tense and aspect”, in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, Chris Mellish, ed., San Francisco: Morgan Kaufmann, 1292-1298. (Scholar)
- Stefik, Mark J., 1995, An Introduction to Knowledge Systems, San Francisco: Morgan Kaufmann. (Scholar)
- Stock, Oliviero (ed.), 1997, Spatial and Temporal Reasoning, Dordrecht: Kluwer Academic Publishers, ISBN 0792346440 (paper). (Scholar)
- Stone, Matthew, 1998, Modality in Dialogue: Planning, Pragmatics and Computation, Ph.D. dissertation, Computer Science Department, University of Pennsylvania, Philadelphia, Pennsylvania. (Scholar)
- Thielscher, Michael, 1989, “Ramification and causality”, Artificial Intelligence, 89(1-2): 317-364. (Scholar)
- Thielscher, Michael, 1996, “Causality and the qualification problem”, in KR'96: Principles of Knowledge Representation and Reasoning, Luigia Carlucci Aiello, Jon Doyle, and Stuart Shapiro, eds., San Francisco, California: Morgan Kaufmann, 51-62. (Scholar)
- Thielscher, Michael, 2000, “Representing the knowledge of a robot”, in KR2000: Principles of Knowledge Representation and Reasoning, Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, eds., San Francisco: Morgan Kaufmann, 109-120. (Scholar)
- Thomason, Richmond H., 1992, “NETL and subsequent path-based inheritance theories”, in Semantic Networks in Artificial Intelligence, Fritz Lehmann, ed., Oxford: Pergamon Press, 179-204.
- Thomason, Richmond, 2003, “Dynamic contextual intensional logic: logical foundations and an application”, in Modeling and Using Context: Fourth International and Interdisciplinary Conference, Patrick Blackburn, Chiara Ghidini, and Roy Turner, eds., Berlin: Springer-Verlag, 328-341. (Scholar)
- Thomason, Richmond, 2005, “Making contextual intensional logic nonmonotonic”, in Modeling and Using Context: Fifth International and Interdisciplinary Conference, Anind Dey, Boicho Kokinov, David Leake, and Roy Turner, eds., Berlin: Springer-Verlag, 502-514. (Scholar)
- Turner, Hudson, 1999, “A logic of universal causation”, Artificial Intelligence, 113(1-2): 87-123.
- van Benthem, Johan, 1983, The Logic of Time, Dordrecht: D. Reidel Publishing Company. (Scholar)
- van Benthem, Johan and ter Meulen, Alice, 1996, Handbook of Logic and Language, Amsterdam: Elsevier Science Publishers. (Scholar)
- van der Torre, Leendert W.N., 1997, Reasoning about Obligations: Defeasibility in Preference-Based Deontic Logic, Amsterdam: Thesis Publishers. (Scholar)
- van Harmelen, Frank, Lifschitz, Vladimir, and Porter, Bruce (eds.) 2008,Handbook of Knowledge Representation, Amsterdam: Elsevier. (Scholar)
- von Wright, Georg Henrik, 1983, Practical Reason: Philosophical Papers, Volume 1, Ithaca: Cornell University Press, ISBN 0801416736. (Scholar)
- Weld, Daniel S. and de Kleer, Johan (eds.), 1990, Qualitative Reasoning about Physical Systems, San Mateo, California: Morgan Kaufmann. (Scholar)
- Wilson, Randall H., 1998, “Geometric reasoning about assembly tools”, Artificial Intelligence, 98(1-2): 237-279. (Scholar)
- Wobcke, Wayne, Pagnucco, Maurice, and Zhang, C. (eds.), 1998, Agents and Multi-Agent Systems—Formalisms, Methodologies, and Applications, Berlin: Springer-Verlag. (Scholar)
- Wolter, Frank and Zakharyaschev, Michael, 2000, “Spatio-temporal representation and reasoning based on RCC-8”, in KR2000: Principles of Knowledge Representation and Reasoning, Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, eds., San Francisco: Morgan Kaufmann, 3-14. (Scholar)
- Woods, William A. and Schmolze, James G., 1992, “The KL-ONE family”, in Semantic Networks in Artificial Intelligence, Fritz Lehmann, ed., Oxford: Pergamon Press, 133-177. (Scholar)
- Yeap, Wai K. and Jeffries, Margaret E., 1999, “Computing a representation of the local environment”, Artificial Intelligence, 107(2): 265-301. (Scholar)
Generated Fri May 3 18:51:07 2013
