Axiomatizing Complex Concepts from Fundamentals
暂无分享,去创建一个
[1] Nicholas Rescher,et al. The Logic of Decision and Action , 1967 .
[2] J. McCarthy. CIRCUMSCRIPTION — A FORM OF NONMONOTONIC REASONING , 2007 .
[3] Jerry R. Hobbs. Ontological Promiscuity , 1985, ACL.
[4] Emmon Bach. Time, Tense, and Aspect: An Essay in English Metaphysics , 1981 .
[5] David L. Davidson,et al. The Logical Form of Action Sentences , 2001 .
[6] John McCarthy. First Order Theories of Individual Concepts and Propositions. , 1979 .
[7] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.
[8] Ramanathan V. Guha,et al. Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project , 1990 .
[9] Alex S. Taylor,et al. Machine intelligence , 2009, CHI.
[10] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..
[11] R. Hursthouse. THE LOGIC OF DECISION AND ACTION , 1969 .
[12] Yoav Shoham,et al. Nonmonotonic Reasoning and Causation , 1990, Cogn. Sci..
[13] Jerry R. Hobbs. Toward a Useful Concept of Causality for Lexical Semantics , 2005, J. Semant..
[14] Jerry R. Hobbs,et al. An ontology of time for the semantic web , 2004, TALIP.
[15] Jerry R. Hobbs. Monotone Decreasing Quantiers in a Scope-Free Logical Form , 1996 .