60. Birthday: Alan Robinson, 1991

Jean-Louis Lassez, Gordon D. Plotkin (Eds.): Computational Logic - Essays in Honor of Alan Robinson. The MIT Press, 1991, ISBN 0-262-12156-5

Inference

Larry Wos, Ross A. Overbeek, Ewing L. Lusk: Subsumption, a Sometimes Undervalued Procedure. 3-40
Hans Jürgen Ohlbach, Jörg H. Siekmann: The Markgraf Karl Refutation Procedure. 41-112
Melvin Fitting: Modal Logic Should Say More Than It Does. 113-135
W. W. Bledsoe: Interactive Proof Presentation. 136-165
Maurice Bruynooghe: Intelligent Backtracking Revisted. 166-177
Alan Bundy: A Science of Reasoning. 178-198
Ehud Y. Shapiro: Inductive Inference of Theories from Facts. 199-254

Jean-Pierre Jouannaud, Claude Kirchner: Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification. 257-321
Hubert Comon: Disunification: A Survey. 322-359
Deepak Kapur, Hantao Zhang: A Case Study of the Completion Procedure: Proving Ring Commutativity Problems. 360-394
Gérard P. Huet, Jean-Jacques Lévy: Computations in Orthogonal Rewriting Systems, I. 395-414
Gérard P. Huet, Jean-Jacques Lévy: Computations in Orthogonal Rewriting Systems, II. 415-443
Paris C. Kanellakis, Harry G. Mairson, John C. Mitchell: Unification and ML-Type Reconstruction. 444-478
Mitchell Wand, Patrick O'Keefe: Automatic Dimensional Inference. 479-483

Keith L. Clark: Logic-Programming Schemes and Their Implementation. 487-541
Donald W. Loveland, David W. Reed: A Near-Horn Prolog for Compilation. 542-564
P. A. Gardner, John C. Shepherdson: Unfold/Fold Transformations of Logic Programs. 565-583
Andrea Corradini, Ugo Montanari: An Algebraic Representation of Logic-Program Computations. 584-612
Jack Minker, Arcot Rajasekar, Jorge Lobo: Theory of Disjunctive Logic Programs. 613-639
Jeffrey F. Naughton, Raghu Ramakrishnan: Bottom-Up Evaluation of Logic Programs. 640-700
E. W. Elcock: Absys, the First Logic-Programming Language: A View of the Inevitability of Logic Programming. 701-721

Last update Tue May 22 23:23:09 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page