Order-sorted logic programming with predicate hierarchy
暂无分享,去创建一个
[1] Hao Wang,et al. Logic of many-sorted theories , 1952, Journal of Symbolic Logic.
[2] J. W. Lloyd,et al. Foundations of logic programming; (2nd extended ed.) , 1987 .
[3] Katsumi Nitta,et al. New HELIC-II: a software tool for legal reasoning , 1995, ICAIL '95.
[4] Arnold Oberschelp. Untersuchungen zur mehrsortigen Quantorenlogik , 1962 .
[5] Gillier,et al. Logic for Computer Science , 1986 .
[6] Anthony G. Cohn,et al. A more expressive formulation of many sorted logic , 1987, Journal of Automated Reasoning.
[7] J. M. Larrazabal,et al. Reasoning about change , 1991 .
[8] Michael Kifer,et al. Logical foundations of object-oriented and frame-based languages , 1995, JACM.
[9] Frank Pfenning,et al. Types in Logic Programming , 1992, ICLP.
[10] Mariam Fraser,et al. Event , 2006, Photographs and the Practice of History.
[11] Serge Abiteboul,et al. Foundations of Databases , 1994 .
[12] David S. Touretzky,et al. The Mathematics of Inheritance Systems , 1984 .
[13] Kees Doets,et al. From logic to logic programming , 1994, Foundations of computing series.
[14] Raad Al-Asady. Inheritance theory - an artificial intelligence approach , 1995, Ablex computational science series.
[15] Drew McDermott,et al. A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..
[16] Seiki Akama. Constructive predicate logic with strong negation and model theory , 1988, Notre Dame J. Formal Log..
[17] Patricia Johann,et al. Deduction Systems , 1997, Graduate Texts in Computer Science.
[18] Christoph Walther,et al. Many-sorted unification , 1988, JACM.
[19] Manfred Schmidt-Schauß,et al. Computational Aspects of an Order-Sorted Logic with Term Declarations , 1989, Lecture Notes in Computer Science.
[20] M. Schmidt-Schauβ. Computational Aspects of an Order-Sorted Logic with Term Declarations , 1989 .
[21] María Manzano. Introduction to many-sorted logic , 1993 .
[22] Christoph Walther. A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution , 1984, AAAI.
[23] 横田 一正. Quixote : a constraint-based approach to a deductive object-oriented database , 1995 .
[24] Krzysztof R. Apt,et al. From logic programming to Prolog , 1996, Prentice Hall International series in computer science.
[25] Bob Carpenter,et al. The logic of typed feature structures , 1992 .
[26] Andreas Podelski,et al. Towards a Meaning of LIFE , 1991, J. Log. Program..
[27] Rodney W. Topor,et al. A Semantics for Typed Logic Programs , 1992, Types in Logic Programming.
[28] Hassan Aït-Kaci,et al. LOGIN: A Logic Programming Language with Built-In Inheritance , 1986, J. Log. Program..
[29] Michael Hanus. Logic Programming with Type Specifications , 1992, Types in Logic Programming.
[30] 兼岩 憲. An Order-Sorted Logic with Predicate-Hierarchy, Eventuality and Implicit Negation (Knowledge Management)(Special Issue:Doctorial Theses on Aritifical Intelligence) , 2001 .
[31] Gunter Saake,et al. Logics for databases and information systems , 1998 .
[32] Arnold Oberschelp,et al. Order Sorted Predicate Logic , 1990, Sorts and Types in Artificial Intelligence.
[33] Alberto Martelli,et al. An Efficient Unification Algorithm , 1982, TOPL.
[34] Jean H. Gallier,et al. Logic for Computer Science: Foundations of Automatic Theorem Proving , 1985 .
[35] Trudy Weibel,et al. An Order-Sorted Resolution in Theory and Practice , 1997, Theor. Comput. Sci..
[36] Satoshi Tojo,et al. Event, Property, and Hierarchy in Order-Sorted Logic , 1999, ICLP.
[37] Katsumi Nitta,et al. Knowledge Representation of New HELIC II , 1994, ICLP Workshop: Legal Application of Logic Programming.
[38] J. V. Tucker,et al. Many-sorted logic and its applications , 1993 .
[39] James F. Allen. Towards a General Theory of Action and Time , 1984, Artif. Intell..
[40] Christoph Walther,et al. A Many-Sorted Calculus Based on Resolution and Paramodulation , 1982, IJCAI.
[41] Ken Kaneiwa. The completeness of logic programming with sort predicates , 2004, Systems and Computers in Japan.
[42] Herbert B. Enderton,et al. A mathematical introduction to logic , 1972 .
[43] Ron van der Meyden,et al. Logical Approaches to Incomplete Information: A Survey , 1998, Logics for Databases and Information Systems.
[44] Ceusters Werner,et al. Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning (KR2004), Whistler, BC, 2-5 June 2004 , 2004 .
[45] E. Yasukawa,et al. Objects , Properties , and Modules in QUIXOT , 1992 .
[46] Claus-Rainer Rollinger,et al. Sorts and Types in Artificial Intelligence , 1990, Lecture Notes in Computer Science.
[47] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.
[48] Riichiro Mizoguchi,et al. Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity , 2004, KR.
[49] Gert Smolka,et al. Feature-Constraint Logics for Unification Grammars , 1989, J. Log. Program..
[50] Peter H. Schmitt,et al. An Order-Sorted Logic for Knowledge Representation Systems , 1992, Artif. Intell..
[51] Anthony G. Cohn,et al. Taxonomic reasoning with many-sorted logics , 1989, Artificial Intelligence Review.
[52] Alan M. Frisch. The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning , 1991, Artif. Intell..
[53] Satoshi Tojo,et al. An Order-Sorted Resolution with Implicitly Negative Sorts , 2001, ICLP.