Cover Image
Read Now

201
by Apt, Krzysztof R.
Published 1988
M. Kaufmann Publishers
Subjects: “...Logic programming / fast...”
Cover Image
Read Now

202
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Programming -- Directions for Logic Programming -- Logic Programming Languages -- Agents as Multi-threaded...”
Cover Image
Read Now

203
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Logic for Action and Change -- Logic Programming Updating - A Guided Approach -- Representing Knowledge...”
Cover Image
Read Now

208
by Hitzler, Pascal
Published 2011
Taylor & Francis
“... account of the mathematical methods and tools required for the semantic analysis of logic programs...”
Cover Image
Read Now

209
by Deransart, Pierre
Published 1993
MIT Press
Subjects: “...Logic programming...”
Cover Image
Read Now

210
by Pereira, Luís Moniz
Published 1993
MIT Press
Subjects: “...Logic programming / Congresses...”
Cover Image
Read Now

211
by Hitzler, Pascal
Published 2010
Taylor & Francis
“... for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order...”
Cover Image
Read Now

212
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... to diagnostic reasoning -- Some issues and trends in the semantics of logic programming -- Parallel logic...”
Cover Image
Read Now

213
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... by algorithmic debugging and program slicing -- A constraint logic programming shell -- Modifying the simplex...”
Cover Image
Read Now

215
by Flener, Pierre
Published 1995
Springer US
Table of Contents: “... -- 3 Inductive Inference in Automatic Programming -- 4 A Logic Program Development Methodology -- 5...”
Cover Image
Read Now

216
Published 2011
Springer Berlin Heidelberg
Table of Contents: “... and Tools: PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information -- ASP as a...”
Cover Image
Read Now

219
by Jacquet, Jean-Marie
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...Logic programming -- A reconciliation calculus -- A basic scheme for concurrent logic programming...”
Cover Image
Read Now

220
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...Logic frameworks for logic programs -- An extended transformation system for CLP programs -- Using...”