163
Published 2019
Springer International Publishing
Table of Contents: ... -- Treewidth and Counting Projected Answer Sets -- Splitting Epistemic Logic Programs -- Founded World Views...

164
Published 2021
Springer International Publishing
... on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020. Due...

165
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... Program Transformation Schemas -- Logic Program Schemas, Constraints, and Semi-unification -- Implicit...

166
Published 2011
Springer Berlin Heidelberg
... on Functional and Constraint Logic Programming, WFLP 2010, held in Madrid, Spain, in January 2010, as part...

167
Published 2011
Springer Berlin Heidelberg
... for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation...

168
Published 2011
Springer Berlin Heidelberg
... on Functional and Constraint Logic Programming, WFLP 2011, held in Odense, Denmark, in July 2011 as Part...

169
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... for Logic Programs with Variables -- A Unified Semantics for Constraint Handling Rules in Transaction Logic...

170
Published 2008
Springer Berlin Heidelberg
Table of Contents: ...Probabilistic Inductive Logic Programming -- Formalisms and Systems -- Relational Sequence Learning...

171
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... -- Nested Epistemic Logic Programs -- An Algebraic Account of Modularity in ID-Logic -- Default Reasoning...

172
Published 2017
Springer International Publishing
Table of Contents: ... -- LPNMR Systems -- The ASP System DLV2 -- lp2normal - A Normalization Tool for Extended Logic Programs...

173
by Bhattacharya, Alakananda, Konar, Amit, Mandal, Ajit K.
Published 2006
Springer Berlin Heidelberg
Table of Contents: ...An Introduction to Logic Programming -- Parallel and Distributed Models for Logic Programming — A...

177
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... Semi-Normal Default Logic on the Basis of its Expressive Power -- Locally Determined Logic Programs...

178
Published 2019
Springer International Publishing
... on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018...

179
Published 2022
Springer International Publishing
Table of Contents: ... Statements in Probabilistic Logic Programming -- A Comparative Study of Three Neural-Symbolic Approaches...

180
by Doets, Kees
Published 1994
MIT Press
Subjects: ...Logic programming...