1
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... -- Constructing models of hidden structure -- Amalgamated logic programming and non-monotonic reasoning --...

2
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... -- Knowledge Representation and Integration -- Knowledge Discovery and Data Mining -- Logic for AI and Logic...

3
Published 1993
Springer Berlin Heidelberg
Table of Contents: ...On extended disjunctive logic programs -- Model finding strategies in semantically guided instance...

4
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... -- PAC-learning logic programs under the closed-world assumption -- Planning, truth criteria...

5
Published 2005
Springer Berlin Heidelberg
Table of Contents: ...) Disjunctive Logic Programming -- Interactive SOM-Based Gene Grouping: An Approach to Gene Expression Data...

6
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... prioritized circumscription in logic programs -- Extending temporal logic for capturing evolving behaviour...

7
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... of definite logic programs -- Amphion: Automatic programming for scientific subroutine libraries -- RUTH...

8
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... expressed in affirmative or negative forms -- Logic programs for intelligent web search -- Representing...

9
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... Integrated Microarray Data -- Using Data Mining for Dynamic Level Design in Games -- A Logic Programming...

10
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... with Stratified Logic Programs in Knowledge Representation -- Emergence Measurement and Analyzes of Conceptual...

11
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... Logics over Distributive Lattices -- Disjunctive Logic Programs with Inheritance Revisited -- Knowledge...

12
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... to Context-Aware Applications -- Quasi-Classical Model Semantics for Logic Programs – A Paraconsistent...