(ML)2: A Formal Language for KADS Models
暂无分享,去创建一个
[1] Frank van Harmelen,et al. Meta-Level Inference Systems , 1991 .
[2] Manfred Schmidt-Schauß,et al. Computational Aspects of an Order-Sorted Logic with Term Declarations , 1989, Lecture Notes in Computer Science.
[3] Anthony G. Cohn,et al. On the Solution of Schubert's Steamroller in Many-Sorted Logic , 1985, IJCAI.
[4] Robert C. Moore. The Role of Logic in Knowledge Representation and Commonsense Reasoning , 1982, AAAI.
[5] M. Schmidt-Schauβ. Computational Aspects of an Order-Sorted Logic with Term Declarations , 1989 .
[6] Christoph Walther,et al. A Many-Sorted Calculus Based on Resolution and Paramodulation , 1982, IJCAI.
[7] David J. Israel. The Role of Logic in Knowledge Representation , 1983, Computer.
[8] Bob J. Wielinga,et al. Differentiating Problem Solving Methods , 1992, EKAW.
[9] Mark A. Musen. Automated generation of model-based knowledge acquisition tools , 1989 .
[10] Fausto Giunchiglia,et al. Reflection in Constructive and Non-constructive Automated Reasoning , 1988, META.
[11] Ronald J. Brachman,et al. An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..
[12] Brian Cantwell Smith,et al. Reflection and semantics in LISP , 1984, POPL.
[13] Larry Eshelman,et al. MOLE: A Knowledge-Acquisition Tool for Cover-and-Differentiate Systems , 1988 .
[14] Robert A. Kowalski,et al. Logic for problem solving , 1982, The computer science library : Artificial intelligence series.
[15] Richard W. Weyhrauch,et al. Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..
[16] Rod M. Burstall,et al. Structured Theories in LCF , 1983, CAAP.
[17] B. Chandrasekaran. Towards a Functional Architecture for Intelligence Based on Generic Information Processing Tasks , 1987, IJCAI.
[18] Frank van Harmelen,et al. A Conceptual Modelling Framework for Knowledge-level Reflection , 1991, AI Commun..
[19] Alfred Tarski,et al. Der Wahrheitsbegriff in den formalisierten Sprachen , 1935 .
[20] Robert C. Moore. The role of logic in artificial intelligence , 1985 .
[21] Jan Treur,et al. On the use of reflection principles in modelling complex reasoning , 1991, Int. J. Intell. Syst..
[22] Solomon Feferman,et al. Transfinite recursive progressions of axiomatic theories , 1962, Journal of Symbolic Logic.
[23] Willem Jonker,et al. Yet Another Formalisation of KADS Conceptual Models , 1992, EKAW.
[24] Christoph Walther. A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution , 1984, AAAI.
[25] T. Broadbent,et al. Module Algebra , 1970, Nature.
[26] Bob J. Wielinga,et al. KADS: a modelling approach to knowledge engineering , 1992 .
[27] Frank van Harmelen,et al. A formalization of knowledge-level models for knowledge acquisition , 1993 .