Computational Logic: Logic Programming and Beyond
暂无分享,去创建一个
J. van Leeuwen | Antonis C. Kakas | Robert A. Kowalski | Fariba Sadri | R. Kowalski | A. Kakas | J. V. Leeuwen | F. Sadri | J. Leeuwen
[1] José Meseguer,et al. Axiomatizing Reflective Logics and Languages , 1996 .
[2] Norman W. Paton,et al. Stimuli and Business Policies as Modelling Constructs: Their Definition and Validation Through the Event Calculus , 1997, CAiSE.
[3] Rance Cleaveland,et al. Implementing mathematics with the Nuprl proof development system , 1986 .
[4] Christoph Brzoska,et al. Temporal Logic Programming with Metric and Past Operators , 1993, Executable Modal and Temporal Logics.
[5] Pattie Maes,et al. Concepts and experiments in computational reflection , 1987, OOPSLA '87.
[6] Donald Perlis,et al. Languages With Self-Reference I: Foundations , 1985, Artif. Intell..
[7] Robert A. Kowalski,et al. The Situation Calculus and Event Calculus Compared , 1994, ILPS.
[8] José Meseguer,et al. Principles of OBJ2 , 1985, POPL.
[9] Stuart J. Russell,et al. Do the right thing - studies in limited rationality , 1991 .
[10] Gaetano Aurelio Lanzarone,et al. SLD - Resolution with Reflection , 1994, ILPS.
[11] Peter Gärdenfors. Belief Revision: A Vade-Mecum , 1992, META.
[12] Gaetano Aurelio Lanzarone,et al. Reflective Agents in Metalogic Programming , 1992, META.
[13] James F. Allen. Towards a General Theory of Action and Time , 1984, Artif. Intell..
[14] Fausto Giunchiglia,et al. A Metatheory of a Mechanized Object Theory , 1996, Artif. Intell..
[15] Suryanarayana M. Sripada,et al. Efficient Implementation of the Event Calculus for Temporal Database Applications , 1995, ICLP.
[16] John W. Lloyd. Temporal Logic Programming in Dense Time , 1995 .
[17] Robert A. Kowalski,et al. Database Updates in the Event Calculus , 1992, J. Log. Program..
[18] Fausto Giunchiglia,et al. Introspective Metatheoretic Reasoning , 1994, META.
[19] Frank van Harmelen. Definable Naming Relations in Meta-level Systems , 1992, META.
[20] Daniele Nardi,et al. Reasoning About Knowledge and Ignorance , 1988, Fifth Generation Computer Systems.
[21] Michael J. Maher,et al. A Theory of Complete Logic Programs with Equality , 1984, J. Log. Program..
[22] Douglas B. Moran,et al. The Open Agent Architecture: A Framework for Building Distributed Software Systems , 1999, Appl. Artif. Intell..
[23] Thierry Coquand,et al. The Calculus of Constructions , 1988, Inf. Comput..
[24] Kurt Konolige,et al. An Autoepistemic Analysis of Metalevel Reasoning in Logic Programming , 1992, META.
[25] Jean G. Vaucher,et al. ObjVProlog: Metaclasses in Logic , 1989, ECOOP.
[26] Y. Shoham,et al. Temporal reasoning in artificial intelligence , 1988 .
[27] Douglas S. Bridges,et al. Foundations of real and abstract analysis , 1997, Graduate texts in mathematics.
[28] Margus Veanes,et al. Meta-programming with theory systems , 1995 .
[29] Joseph A. Goguen,et al. Algebraic semantics of imperative programs , 1996, Foundations of computing series.
[30] M. Clavel,et al. Principles of Maude , 1996, WRLA.
[31] John W. Lloyd,et al. Analysis of Meta-Programs , 1989, META.
[32] Alonzo Church,et al. A formulation of the simple theory of types , 1940, Journal of Symbolic Logic.
[33] John W. Lloyd,et al. The Gödel programming language , 1994 .
[34] E. Landau,et al. Foundations of analysis : the arithmetic of whole, rational, irrational, and complex numbers , 1966 .
[35] Bruce G. Buchanan,et al. Meta-Level Knowledge: Overview and Applications , 1977, IJCAI.
[36] Corin A. Gurr,et al. Towards fast and declarative meta-programming , 1995 .
[37] Gaetano Aurelio Lanzarone,et al. A metalogic programming approach: language, semantics and applications , 1994, J. Exp. Theor. Artif. Intell..
[38] Gaetano Aurelio Lanzarone,et al. A Metalogic Programming Language , 1989, ICLP.
[39] Yuejun Jiang,et al. A vademecum of ambivalent logic , 1995 .
[40] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.
[41] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[42] Marianne Kalsbeek. Correctness of the Vanilla meta-interpreter and ambivalent syntax , 1995 .
[43] Pascal Van Hentenryck. Ambivalent logic as the semantic basis of metalogic programming: I , 1994 .
[44] Gianfranco Rossi,et al. Logic Meta-Programming Facilities in 'LOG , 1992, META.
[45] Henning Christiansen,et al. A Complete Resolution method for Logical Meta-Programming Languages , 1992, META.
[46] Joseph A. Goguen,et al. Putting Theories Together to Make Specifications , 1977, IJCAI.
[47] Robert A. Kowalski,et al. Reconciling the Event Calculus With the Situation Calculus , 1997, J. Log. Program..
[48] Anand S. Rao,et al. Modeling Rational Agents within a BDI-Architecture , 1997, KR.
[49] John McCarthy. First Order Theories of Individual Concepts and Propositions. , 1979 .
[50] Daniele Nardi,et al. Reasoning about Student Knowledge and Reasoning , 1991, IJCAI.
[51] Stefania Costantini. Semantics of a Metalogic Programming Language , 1990, Int. J. Found. Comput. Sci..
[52] Leon Sterling,et al. The Art of Prolog , 1987, IEEE Expert.
[53] Frank Pfenning,et al. The Practice of Logical Frameworks , 1996, Colloquium on Trees in Algebra and Programming.
[54] Daniele Nardi,et al. Yet Another Solution to the Three Wisemen Puzzle , 1988, ISMIS.
[55] Alessandro Provetti. Hypothetical Reasoning from Situation Calculus to Event Calculus , 1994, TIME.
[56] Robert A. Kowalski,et al. Towards a Unified Agent Architecture that Combines Rationality with Reactivity , 1996, Logic in Databases.
[57] Robert A. Kowalski,et al. A Metalogic Programming Approach to Multi-Agent Knowledge and Belief , 1991, Artificial and Mathematical Theory of Computation.
[58] Michael R. Genesereth,et al. Logical foundations of artificial intelligence , 1987 .
[59] D. Pedreschi,et al. Composition Operators for Logic Theories , 1990 .
[60] Patrick Cegielski. Un fondement des Mathématiques , 1999 .
[61] Antonio Brogi,et al. Modular logic programming , 1994, TOPL.
[62] Antonio Brogi,et al. Meta-logic for program composition: semantics issues , 1995 .
[63] Antonio Brogi,et al. Programming by Combining General Logic Programs , 1999, J. Log. Comput..
[64] Luigia Carlucci Aiello,et al. Using Meta-Theoretic Reasoning to do Algebra , 1980, CADE.
[65] Anand S. Rao,et al. BDI Agents: From Theory to Practice , 1995, ICMAS.
[66] Gaetano Aurelio Lanzarone,et al. Semantical Properties of Encodings in Logic Programming , 1995, ILPS.
[67] Patrick Lincoln,et al. Maude as a metalanguage , 1998, WRLA.
[68] Donald Perlis,et al. Languages with Self-Reference II: Knowledge, Belief, and Modality , 1988, Artif. Intell..
[69] Edmund M. Clarke,et al. Analytica - A Theorem Prover in Mathematica , 1992, CADE.
[70] Danny De Schreye,et al. Two semantics for definite meta-programs, using the non-ground representation , 1995 .
[71] Antonio Brogi,et al. Composing logic programs by meta-programming in Go¨del , 1995 .
[72] Andreas Blass,et al. The Logic of Choice , 2000, Journal of Symbolic Logic.
[73] Gernot Salzer,et al. Automated Deduction in Classical and Non-Classical Logics , 2002, Lecture Notes in Computer Science.
[74] C. Cecchi,et al. Representation and use of metaknowledge , 1986, Proceedings of the IEEE.
[75] Robert A. Kowalski,et al. The Iff Proof Procedure for Abductive Logic Programming , 1997, J. Log. Program..
[76] Jonas Barklund,et al. A Basis for a Multilevel Metalogic Programming Language , 1994 .
[77] Giorgio Levi,et al. A Formalization of Metaprogramming for real , 1993, ICLP.
[78] Robert A. Kowalski,et al. Amalgamating language and metalanguage in logic programming , 1982 .
[79] Pattie Maes,et al. Computational reflection , 1987, The Knowledge Engineering Review.
[80] Danny De Schreye,et al. Why Untyped Nonground Metaprogramming Is Not (Much Of) A Problem , 1995, J. Log. Program..
[81] Luís Moniz Pereira,et al. Model-based diagnosis preferences and strategies representation with logic meta-programming , 1995 .
[82] Gaetano Aurelio Lanzarone,et al. Reflection principles in computational logic , 2000, J. Log. Comput..
[83] Francesca Toni,et al. Combining Introspection and Communication with Rationality and Reactivity in Agents , 1998, JELIA.
[84] Brian Cantwell Smith,et al. Reflection and semantics in LISP , 1984, POPL.
[85] Robert A. Kowalski,et al. Problems and Promises of Computational Logic , 1990 .
[86] William M. Farmer,et al. IMPS: An Interactive Mathematical Proof System , 1990, CADE.
[87] Robert A. Kowalski,et al. From logic programming towards multi‐agent systems , 1999, Annals of Mathematics and Artificial Intelligence.
[88] Jonas Barklund. What Is a Meta-Variable in Prolog? , 1988, META.
[89] Ian Welch,et al. From Dalang to Kava - The Evolution of a Reflective Java Extension , 1999, Reflection.
[90] Fausto Giunchiglia,et al. Multilanguage hierarchical logics (or: how we can do without modal logics) , 1994, CNKBS.
[91] Azriel Levy. Basic set theory , 1979 .
[92] Daniele Nardi,et al. A Meta-Level Abstract Description of Diagnosis in Intelligent Educational Systems. , 1991 .
[93] Pascal Van Hentenryck. Efficient and complete demo predicates for definite clause languages , 1994 .
[94] Sushil Jajodia,et al. An Architecture for Supporting Interoperability among Temporal Databases , 1997, Temporal Databases, Dagstuhl.
[95] Jürgen Dix,et al. Meta-agent programs , 2000, J. Log. Program..
[96] Gerhard Brewka,et al. Declarative Representation of Revision Strategies* , 2000, J. Appl. Non Class. Logics.