Cover Image
Read Now

61
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... compilation method for parallel logic languages -- The art of building a parallel logic programming system...”
Cover Image
Read Now

62
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... computations -- A semantic basis for termination analysis of logic programs and its realization using symbolic...”
Cover Image
Read Now

63
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...Inductive logic programming for natural language processing -- An initial experiment...”
Cover Image
Read Now

64
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... of semantics for normal constraint logic programs -- Order-sorted termination: The unsorted way -- Unravelings...”
Cover Image
Read Now

65
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- At the Interface of Inductive Logic Programming and Statistics -- From Promising to Profitable Applications of ILP...”
Cover Image
Read Now

66
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... programming with polymorphically order-sorted types -- Integrating logic programming and equational...”
Cover Image
Read Now

67
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... knowledge base systems -- Elementary formal system as a logic programming language -- Debugger for a...”
Cover Image
Read Now

68
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...SLWV — A theorem prover for logic programming -- A Correct goal-directed proof procedure for a...”
Cover Image
Read Now

69
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... -- Birkhoff's HSP-theorem for cumulative logic programs -- Finite domains and exclusions as first-class...”
Cover Image
Read Now

70
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...Concurrent constraint programming -- Specifications using multiple-conclusion logic programs...”
Cover Image
Read Now

71
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...Attribute-value learning versus inductive logic programming: The missing links -- Advances in ILP...”
Cover Image
Read Now

72
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Semantics of constraint logic programs with bounded quantifiers -- Translating a modal language...”
Cover Image
Read Now

73
by Alferes, Jose Julio, Moniz Pereira, Luis
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Normal logic programs -- Extended logic programs -- Why a new semantics for extended programs...”
Cover Image
Read Now

74
by Bramer, Max
Published 2005
Springer London
“...Logic Programming is the name given to a distinctive style of programming, very different from...”