Logic and Articial Intelligence
暂无分享,去创建一个
[1] Alex Lascarides,et al. The progressive and the imperfective paradox , 1991, Synthese.
[2] Raymond Reiter,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .
[3] Alon Y. Levy. Logic-based techniques in data integration , 2001 .
[4] J. Horty. Agency and Deontic Logic , 2001 .
[5] Chitta Baral,et al. Reasoning agents in dynamic domains , 2000 .
[6] Michael Thielscher,et al. Representing the Knowledge of a Robot , 2000, KR.
[7] Frank Wolter,et al. Spatio-temporal representation and reasoning based on RCC-8 , 2000, International Conference on Principles of Knowledge Representation and Reasoning.
[8] Tran Cao Son,et al. Formulating diagnostic problem solving using an action language with narratives and sensing , 2000, KR.
[9] Gerhard Lakemeyer,et al. The logic of knowledge bases , 2000 .
[10] Hudson Turner,et al. A Logic of Universal Causation , 1999, Artif. Intell..
[11] Roberto Casati,et al. Parts and Places: The Structures of Spatial Representation , 1999 .
[12] Jon Doyle,et al. Background to Qualitative Decision Theory , 1999, AI Mag..
[13] Bernhard Nebel,et al. On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus , 1999, Artif. Intell..
[14] Wai-Kiang Yeap,et al. Computing a Representation of the Local Environment , 1999, Artif. Intell..
[15] Markus Hannebauer,et al. Belief-Desire-Intention Deliberation in Artificial Soccer , 1998, AI Mag..
[16] Vladimir Lifschitz,et al. Formalizing Common Sense: Papers by John McCarthy , 1998 .
[17] Randall H. Wilson,et al. Geometric Reasoning about Assembly Tools , 1998, Artif. Intell..
[18] Vladimir Lifschitz,et al. Situation Calculus and Causal Logic , 1998, KR.
[19] Vladimir Lifschitz,et al. On the Logic of Causal Explanation (Research Note) , 1997, Artif. Intell..
[20] Anthony G. Cohn,et al. Qualitative Spatial Representation and Reasoning Techniques , 1997, KI.
[21] Enrico Giunchiglia,et al. Representing Action: Indeterminacy and Ramifications , 1997, Artif. Intell..
[22] Hudson Turner,et al. Causal Theories of Action and Change , 1997, AAAI/IAAI.
[23] Jürgen Dix,et al. Nonmonotonic Reasoning: An Overview , 1997, CSLI Lecture Notes.
[24] Didier Dubois,et al. Nonmonotonic Reasoning, Conditional Objects and Possibility Theory , 1997, Artif. Intell..
[25] Grigoris Antoniou,et al. Nonmonotonic reasoning , 1997 .
[26] Hitoshi Matsubara,et al. Causality As a Key to the Frame Problem , 1997, Artif. Intell..
[27] Scott W. Bennett,et al. Permissive Planning: Extending Classical Planning to Uncertain Task Domains , 1997, Artif. Intell..
[28] Leendert van der Torre,et al. Reasoning about obligations: defeasibility in preference-based deontic logic , 1997 .
[29] Antony Galton,et al. Space, Time, and Movement , 1997 .
[30] Anthony G. Cohn,et al. Representing and Reasoning with Qualitative Spatial Relations About Regions , 1997 .
[31] Keith Golden,et al. Representing Sensing Actions: The Middle Ground Revisited , 1996, KR.
[32] Jon Barwise,et al. Logical reasoning with diagrams , 1996 .
[33] Eric Lormand,et al. The holorobophobe's dilemma , 1996 .
[34] Craig Boutilier,et al. Iterated revision and minimal change of conditional beliefs , 1996, J. Philos. Log..
[35] Nicholas Asher,et al. Commonsense entailment: a conditional logic for some generics , 1996 .
[36] Carlos E. Alchourrón,et al. Defeasible logics: demarcation and affinities , 1996 .
[37] Dov M. Gabbay,et al. Conditional implications and non-monotonic consequence , 1996 .
[38] T. Dean,et al. Planning under uncertainty: structural assumptions and computational leverage , 1996 .
[39] L. Morgenstern. The problem with solutions to the frame problem , 1996 .
[40] Nils J. Nilsson,et al. Eye on the Prize , 1995, AI Mag..
[41] Mark Steedman,et al. Dynamic Semantics for Tense and Aspect , 1995, IJCAI.
[42] Chitta Baral,et al. Reasoning about actions: Non-deterministic effects, Constraints, and Qualification , 1995, IJCAI.
[43] Hector J. Levesque,et al. Reasoning about Noisy Sensors in the Situation Calculus , 1995, IJCAI.
[44] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[45] Eric Hammer,et al. Logic and Visual Information , 1995 .
[46] Leslie Pack Kaelbling,et al. A Situated View of Representation and Control , 1995, Artif. Intell..
[47] Alice ter Meulen,et al. Genericity: An Introduction , 1995 .
[48] Mark Stefik,et al. Introduction to knowledge systems , 1995 .
[49] Alex Lascarides,et al. Lexical Disambiguation in a Discourse Context , 1995, J. Semant..
[50] Ariel Rubinstein,et al. A Course in Game Theory , 1995 .
[51] Judea Pearl,et al. From Adams' conditionals to default expressions, causal conditionals, and counterfactuals , 1994 .
[52] Johanna D. Moore. Participating in explanatory dialogues , 1994 .
[53] Leora Morgenstern,et al. Motivated Action Theory: a Formal Theory of Causal Reasoning , 1994, Artif. Intell..
[54] Nicholas Mark Gotts,et al. How Far Can We 'C'? Defining a 'Doughnut' Using Connection Alone , 1994, KR.
[55] Dov M. Gabbay,et al. Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .
[56] John F. Horty,et al. Some direct theories of nonmonotonic inheritance , 1994 .
[57] Robert C. Moore. Logic and Representation , 1994 .
[58] Alex Lascarides,et al. Intentions and information in discourse , 1994 .
[59] Robert Stalnaker,et al. A Note on Non-Monotonic Modal Logic , 1993, Artif. Intell..
[60] Raymond Reiter,et al. Proving Properties of States in the Situation Calculus , 1993, Artif. Intell..
[61] Jerry R. Hobbs,et al. Interpretation as Abduction , 1993, Artif. Intell..
[62] John McCarthy,et al. Notes on Formalizing Context , 1993, IJCAI.
[63] Kurt Konolige,et al. A Representationalist Theory of Intention , 1993, IJCAI.
[64] Robert C. Moore. Autoepistemic Logic Revisited , 1993, Artif. Intell..
[65] J. McCarthy,et al. History of Circumscription , 1993, Artif. Intell..
[66] V. Wiktor Marek,et al. Nonmonotonic Logic , 1993, Artificial Intelligence.
[67] Martha E. Pollack,et al. The Uses of Plans , 1992, Artif. Intell..
[68] Hector Geffner,et al. Default reasoning - causal and conditional theories , 1992 .
[69] James G. Schmolze,et al. The KL-ONE family , 1992 .
[70] R. Guha. Contexts: a formalization and some applications , 1992 .
[71] Richmond H. Thomason,et al. NETL and subsequent path-based inheritance theories , 1992 .
[72] M. David Sadek,et al. A Study in the Logic of Intention , 1992, KR.
[73] Anand S. Rao,et al. Modeling Rational Agents within a BDI-Architecture , 1997, KR.
[74] Kenneth D. Forbus,et al. Qualitative Spatial Reasoning: The Clock Project , 1991, Artif. Intell..
[75] David J. Israel. A Short Sketch of the Life and Career of John McCarthy , 1991, Artificial and Mathematical Theory of Computation.
[76] Ronald Fagin,et al. A model-theoretic analysis of knowledge , 1991, JACM.
[77] Gerhard Brewka,et al. Nonmonotonic Reasoning: Logical Foundations of Commonsense By Gerhard Brewka (Cambridge University Press, 1991) , 1991, SGAR.
[78] Stuart J. Russell,et al. Do the right thing , 1991 .
[79] Peter F. Patel-Schneider,et al. Living wiht Classic: When and How to Use a KL-ONE-Like Language , 1991, Principles of Semantic Networks.
[80] Nicholas Asher,et al. Commonsense Entailment: A Modal Theory of Non-monotonic Reasoning , 1991, IJCAI.
[81] Hector J. Levesque,et al. Intention is Choice with Commitment , 1990, Artif. Intell..
[82] Witold Łukaszewicz. Non-monotonic reasoning : formalization of commonsense reasoning , 1990 .
[83] Johan de Kleer,et al. Readings in qualitative reasoning about physical systems , 1990 .
[84] Ramanathan V. Guha,et al. Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project , 1990 .
[85] Stuart M. Shieber,et al. Constraint-based grammar formalisms - parsing and type inference for natural and computer languages , 1992 .
[86] Stanley J. Rosenschein,et al. Synthesizing Information-Tracking Automata from Environment Descriptions , 1989, KR.
[87] Andrew B. Baker,et al. A Simple Solution to the Yale Shooting Problem , 1989, KR.
[88] Daniel Lehmann,et al. What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..
[89] Emmon Bach,et al. Informal Lectures on Formal Semantics , 1989 .
[90] Joseph L. Mundy,et al. Geometric Reasoning and Artificial Intelligence: Introduction to the Special Volume , 1988, Artif. Intell..
[91] Kenneth D. Forbus. Qualitative physics: past present and future , 1988 .
[92] Kurt Konolige,et al. On the Relation Between Default and Autoepistemic Logic , 1987, Artif. Intell..
[93] David E. Smith,et al. Reasoning About Action I: A Possible Worlds Approach , 1987, Artif. Intell..
[94] Vladimir Lifschitz,et al. Formal Theories of Action (Preliminary Report) , 1987, IJCAI.
[95] J. Finger,et al. Exploiting constraints in design synthesis , 1987 .
[96] Hector J. Levesque,et al. Taking Issue: Guest Editor's introduction 1 , 1987 .
[97] Herbert A. Simon,et al. Causality in Device Behavior , 1989, Artif. Intell..
[98] Drew McDermott,et al. Default Reasoning, Nonmonotonic Logics, and the Frame Problem , 1986, AAAI.
[99] Kurt Konolige,et al. What Awareness Isn't: A Sentential View of Implicit and Explicit Belief , 1986, TARK.
[100] D. McDermott,et al. Temporal Reasoning and Default Logics. , 1985 .
[101] B. L. Clark. Individuals and points. , 1985 .
[102] Bruce G. Buchanan,et al. The MYCIN Experiments of the Stanford Heuristic Programming Project , 1985 .
[103] John McCarthy,et al. Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.
[104] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[105] Robert C. Moore. A Formal Theory of Knowledge and Action , 1984 .
[106] John P. Burgess,et al. Basic Tense Logic , 1984 .
[107] William J. Clancey,et al. The Epistemology of a Rule-Based Expert System - A Framework for Explanation , 1981, Artif. Intell..
[108] J. Benthem. The Logic of Time , 1983 .
[109] H. Simon,et al. Models of Bounded Rationality: Empirically Grounded Economic Reason , 1997 .
[110] Drew McDermott,et al. Nonmonotonic Logic II: Nonmonotonic Modal Theories , 1982, JACM.
[111] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[112] Bowman L. Clarke,et al. A calculus of individuals based on "connection" , 1981, Notre Dame J. Formal Log..
[113] Drew McDermott,et al. Non-Monotonic Logic I , 1987, Artif. Intell..
[114] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[115] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..
[116] Jon Doyle,et al. A Truth Maintenance System , 1979, Artif. Intell..
[117] J. McCarthy. First Order Theories of Individual Concepts and Propositions. , 1979 .
[118] John B. Kidd,et al. Models of Discovery , 1978 .
[119] R. Reiter. On Closed World Data Bases , 1987, Logic and Data Bases.
[120] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.
[121] David R. Dowty. Toward a semantic analysis of verb aspect and the English ‘imperfective’ progressive , 1977 .
[122] Brian F. Chellas. Basic conditional logic , 1975, J. Philos. Log..
[123] E. W. Adams,et al. The logic of conditionals , 1975 .
[124] Marvin Minsky,et al. A framework for representing knowledge , 1974 .
[125] John Austin,et al. A plea for excuses , 1971 .
[126] Saul Amarel,et al. On representations of problems of reasoning about actions , 1968 .
[127] Bruce Lercher. Quine W. V.. Variables explained away. Proceedings of the American Philosophical Society, vol. 104 (1960), pp. 343–347. Reprinted in Selected logic papers, by W. V. Quine, Random House, New York, pp. 227–235. , 1967, Journal of Symbolic Logic.
[128] John Brunner,et al. The Productions of Time , 1967 .
[129] J. McCarthy. Situations, Actions, and Causal Laws , 1963 .
[130] R. Carnap. Meaning and synonymy in natural languages , 1955 .
[131] N. Goodman. Fact, Fiction, and Forecast , 1955 .