Cover Image

From logic to logic programming /

Show other versions (1)

This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolut...

Full description

Bibliographic Details
Main Author:	Doets, Kees
Format:	eBook
Language:	English
Published:	Cambridge, Mass. : MIT Press, ©1994.
Series:	Foundations of computing
Subjects:	Logic programming. COMPUTER SCIENCE/Artificial Intelligence Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

From logic to logic programming /
by: Doets, Kees
Published: (1994)

Logic programming : proceedings of the eleventh International Conference on Logic Programming /
Published: (1994)

Logic programming languages : constraints, functions, and objects /
Published: (1993)

From standard logic to logic programming : introducing a logic based approach to artificial intelligence /
Published: (1988)

Handbook of logic in artificial intelligence and logic programming /
Published: (1993)

Theory and practice of logic programming.
Published: (2001)

Termination proofs for logic programs /
by: Plümer, Lutz
Published: (1990)

Distributed constraint logic programming /
by: Leung, Ho-Fung
Published: (1993)

Logic grammars : with 40 illustrations /
by: Abramson, Harvey
Published: (1989)

Logic programming and non-monotonic reasoning : proceedings of the second international workshop /
Published: (1993)

The logic of information structures /
by: Wansing, H. (Heinrich)
Published: (1993)

Logic-based artificial intelligence /
Published: (2000)

Uncertainly treatment using paraconsistent logic : introducing paraconsistent artificial neural networks /
by: Silva Filho, João Inácio da
Published: (2010)

Logic for computer science and artificial intelligence /
by: Caferra, Ricardo, 1945-
Published: (2011)

An introduction to default logic /
by: Besnard, Philippe
Published: (1989)

Epistemic logic for AI and computer science /
by: Meyer, John-Jules Ch
Published: (1995)

A resolution principle for a logic with restricted quantifiers /
by: Bürckert, H.-J. (Hans-Jürgen)
Published: (1991)

Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings /
Published: (1993)

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings /
Published: (1991)

From modal logic to deductive databases : introducing a logic based approach to artificial intelligence /
Published: (1989)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 /
by: Lau, Kung-Kiu
Published: (1993)

Logic for Applications /
by: Nerode, Anil
Published: (1997)

Logic Programming and Databases /
by: Ceri, Stefano
Published: (1990)

Logic programming : proceedings of the Fourteenth International Conference on Logic Programming /
Published: (1997)

Logic programming : proceedings of the 1999 International Conference on Logic Programming /
Published: (2000)

Logic programming : proceedings of the Tenth International Conference on Logic Programming /
Published: (1993)

Logic programming : proceedings of the twelfth International Conference on Logic Programming /
Published: (1995)

LISP, Lore, and Logic : an Algebraic View of LISP Programming, Foundations, and Applications /
by: Stark, W. Richard
Published: (1990)

Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming /
Published: (1996)

Parallel logic programming /
by: Tick, Evan, 1959-
Published: (1991)

Logic programming '89 : proceedings of the 8th conference, Tokyo, Japan, July 12-14, 1989 /
Published: (1991)

Foundations of disjunctive logic programming /
by: Lobo, Jorge
Published: (1992)

Parallel logic programming /
by: Takeuchi, Akikazu, 1953-
Published: (1992)

Logic programming : proceedings of the 1995 international symposium /
Published: (1995)

Logic programming : proceedings of the 1997 International Symposium /
Published: (1997)

Parallelism and implementation of logic and constraint logic programming /
Published: (1999)

Philosophical Logic and Artificial Intelligence /
by: Thomason, Richmond H.
Published: (1989)

From natural language processing to logic for expert systems : a logic based approach to artificial intelligence /
Published: (1991)

Conditional inference and logic for intelligent systems : a theory of measure-free conditioning /
by: Goodman, Irwin R.
Published: (1991)

Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings /
Published: (2005)