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

2
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... goal, architecture and current results -- Declarative semantics for contradictory modular logic...

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

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

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

6
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... -- Intelligent User Interface and Ontologies -- A Plausibility Description Logics for Reasoning with Information...

7
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... Extension of Situation Calculus to Epistemic Logic -- Rule Based Abduction -- An Efficient Proof Method...

8
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... in description logics: A first step -- Comparison of conceptual graphs for modelling knowledge of multiple...

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

10
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... -- Adapting to Human Gamers Using Coevolution -- Wisdom of Crowds in the Prisoner’s Dilemma Context -- Logical...

11
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... of Imbalanced Classes -- Converting between Various Sequence Representations -- Considerations on Logical...

12
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Based on Paraconsistent Intuitionistic Fuzzy Relations -- Logical Data Independence Reconsidered...

13
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... Seeds of Future Discoveries in Nowadays Literature -- Logical and Theoretical Aspects of Intelligent...

14
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... within a Static Clustering -- Discovering Explanations from Longitudinal Data -- Logic for Artificial...

15
Published 2003
Springer Berlin Heidelberg
... and integration, knowledge discovery and data mining, logic for artificial intelligence, soft computing, and Web...