Cover Image
Read Now

141
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming -- Bounded...”
Cover Image
Read Now

142
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Logic Programs With Monotone Cardinality Atoms -- Set Constraints in Logic Programming -- Verifying...”
Cover Image
Read Now

143
Published 1995
Springer Berlin Heidelberg
Table of Contents: “...Complexity results for abductive logic programming -- A terminological interpretation of (abductive...”
Cover Image
Read Now

144
by Plümer, Lutz
Published 1990
Springer Berlin Heidelberg
Table of Contents: “...Basic notions -- Static program properties and transformations -- Terminating logic programs...”
Cover Image
Read Now

145
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...Disjunctive deductive databases -- Netlog — A concept oriented logic programming language -- From...”
Cover Image
Read Now

146
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...: And/or-parallel copying-based execution of logic programs -- Blackboard communication in Prolog -- Data...”
Cover Image
Read Now

147
by Hölldobler, Steffen
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...Preliminaries -- Equational Logic Programming -- Universal Unification -- SLDE-Resolution...”
Cover Image
Read Now

148
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...-commutative Logic -- Session 10 -- CHAT Is ? (SLG-WAM) -- Proving Failure of Queries for Definite Logic...”
Cover Image
Read Now

149
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... strategy -- Towards an object-oriented methodology for deductive synthesis of logic programs -- Logic...”
Cover Image
Read Now

150
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... approach -- RISC-CLP(CF) constraint logic programming over complex functions -- Logical closures -- Higher...”
Cover Image
Read Now

151
by Nienhuys-Cheng, Shan-Hwei, Wolf, Ronald de
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...-resolution -- What is inductive logic programming? -- The framework for model inference -- Inverse resolution...”
Cover Image
Read Now

152
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... linear integer programming -- The completion of typed logic programs and SLDNF-resolution --...”
Cover Image
Read Now

153
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...Knowledge representation with logic programs -- Datalog with nested rules -- Partial evidential...”
Cover Image
Read Now

154
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... knowing: The prepositional case -- Affordable classes of normal logic programs -- Automated reasoning...”
Cover Image
Read Now

155
Published 1994
Springer London
Table of Contents: “..., Deductive Synthesis and Transformation of Logic Programs -- Reachability Analysis for the Extension...”
Cover Image
Read Now

156
Published 1992
Springer London
Table of Contents: “... and Synthesis in Constructive Formal Systems -- Synthesis and Transformation of Logic Programs from Constructive...”
Cover Image
Read Now

157 Table of Contents: “...1. Introduction -- 2. Logic Programming -- 2.1 Logic -- 2.2 Propositional Logic -- 2.3 First-Order...”
Cover Image
Read Now

158
by Hölldobler, Steffen
Published 1989
Springer
Cover Image
Read Now

160
Published 1990
Springer