×

Computational logic. Essays in honor of Alan Robinson. (English) Zbl 0793.03002

Cambridge, MA: MIT Press. viii, 727 p. (1991).
[The articles of this volume will not be indexed individually.]
Contents: Larry Wos, Ross Overbeek and Ewing Lusk, Subsumptions, a sometimes undervalued procedure (pp. 3-40); Hans Jürgen Ohlbach and Jörg H. Siekmann, The Markgraf Karl refutation procedure (pp. 41-112); Melvin Fitting, Modal logic should say more than it does (pp. 113-135); W. W. Bledsoe, Interactive proof presentation (pp. 136-165); Maurice Bruynooghe, Intelligent backtracking revisited (pp. 166-177); Alan Bundy, A science of reasoning (pp. 178-198); Ehud Shapiro, Inductive inference of theories from facts (pp. 199-254); Jean-Pierre Jouannaud and Claude Kirchner, Solving equations in abstract algebras: a rule-based survey of unification (pp. 257-321); Hubert Comon, Disunification: a survey (pp. 322-359); Deepak Kapur and Hantao Zhang, A case study of the completion procedure: proving ring commutativity problems (pp. 360-394); Gérard Huet and Jean-Jacques Lévy, Computations in orthogonal rewriting systems. I, II (pp. 395-414, 415-443); Paris C. Kanellakis, Harry G. Mairson and John C. Mitchell, Unification and ML-type reconstruction (pp. 444-478); Mitchell Wand and Patrick M. O’Keefe, Automatic dimensional inference (pp. 479-483); Keith L. Clark, Logic- programming schemes and their implementations (pp. 487-541); Donald W. Loveland and David W. Reed, A near-Horn Prolog for compilation (pp. 542-564); P. A. Gardner and J. C. Shepherdson, Unfold/fold transformations of logic programs (pp. 565-583); Andrea Corradini and Ugo Montanari, An algebraic representation of logic- program computations (pp. 584-612); Jack Minker, Arcot Rajasekar and Jorge Lobo, Theory of disjunctive logic programs (pp. 613-639); Jeffrey F. Naughton and Raghu Ramakrishnan, Bottom-up evaluation of logic programs (pp. 640-700); E. W. Elcock, Asys, the first logic-programming language: a view of the inevitability of logic programming (pp. 701-721).

MSC:

03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
03B35 Mechanization of proofs and logical operations
03B40 Combinatory logic and lambda calculus
68N17 Logic programming
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
00B30 Festschriften

Biographic References:

Robinson, Alan
PDFBibTeX XMLCite