An Order-Sorted Quantified Modal Logic for Meta-ontology
暂无分享,去创建一个
[1] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[2] D. Gabbay,et al. Handbook of tableau methods , 1999 .
[3] Anthony G. Cohn,et al. Taxonomic reasoning with many-sorted logics , 1989, Artificial Intelligence Review.
[4] Mark Reynolds. D. M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-dimensional modal logics: theory and applications . Studies in Logic and the Foundations of Mathematics, vol. 148. Elsevier, Amsterdam, xiv + 747 pp. , 2005 .
[5] Jean Goubault-Larrecq,et al. A Tableau System for Linear-TIME Temporal Logic , 1997, TACAS.
[6] Ken Kaneiwa,et al. Order-sorted logic programming with predicate hierarchy , 2004, Artif. Intell..
[7] M. Schmidt-Schauβ. Computational Aspects of an Order-Sorted Logic with Term Declarations , 1989 .
[8] Frank Wolter,et al. On the Computational Complexity of Spatio-Temporal Logics , 2003, FLAIRS.
[9] James W. Garson,et al. Quantification in Modal Logic , 1984 .
[10] Nicola Guarino,et al. Ontological Analysis of Taxonomic Relationships , 2000, ER.
[11] Torben Braüner,et al. First-order modal logic , 2007, Handbook of Modal Logic.
[12] Marta Cialdea Mayer,et al. Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics , 2001, Stud Logica.
[13] Nicola Guarino,et al. Supporting ontological analysis of taxonomic relationships , 2001, Data Knowl. Eng..
[14] D. Gabbay,et al. Many-Dimensional Modal Logics: Theory and Applications , 2003 .
[15] Rajeev Goré,et al. Tableau Methods for Modal and Temporal Logics , 1999 .
[16] Barry Smith,et al. Basic Concepts of Formal Ontology , 1998 .
[17] Christoph Walther. A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution , 1984, AAAI.
[18] Manfred Schmidt-Schauß,et al. Computational Aspects of an Order-Sorted Logic with Term Declarations , 1989, Lecture Notes in Computer Science.
[19] Nicola Guarino,et al. An Ontology of Meta-Level Categories , 1994, KR.
[20] Riichiro Mizoguchi,et al. Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity , 2004, KR.
[21] Peter H. Schmitt,et al. An Order-Sorted Logic for Knowledge Representation Systems , 1992, Artif. Intell..
[22] Frank Pfenning,et al. Logic Programming and Automated Reasoning , 1994, Lecture Notes in Computer Science.
[23] Marta Cialdea Mayer,et al. First Order Linear Temporal Logic over Finite Time Structures , 1999, LPAR.
[24] Alan M. Frisch. The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning , 1991, Artif. Intell..