-
Evaluating epistemic negation in answer set programming
Artificial intelligence , 2016
Enthalten in: Artificial intelligence
OLC Architektur
-
Data repair of inconsistent nonmonotonic description logic programs
Artificial intelligence , 2016
Enthalten in: Artificial intelligence
OLC Architektur
-
Computing intersections of Horn theories for reasoning with models
Artificial intelligence , 1999
Enthalten in: Artificial intelligence
OLC Architektur
-
Complexity results for structure-based causality
Artificial intelligence , 2002
Enthalten in: Artificial intelligence
OLC Architektur
-
Default reasoning from conditional knowledge bases: Complexity and tractable cases
Artificial intelligence , 2000
Enthalten in: Artificial intelligence
OLC Architektur
-
A logic programming approach to knowledge-state planning, II: The DLVK system
Artificial intelligence , 2003
Enthalten in: Artificial intelligence
OLC Architektur
-
Enhancing model checking in verification by AI techniques
Artificial intelligence , 1999
Enthalten in: Artificial intelligence
OLC Architektur
-
Heterogeneous active agents, I: Semantics
Artificial intelligence , 1999
Enthalten in: Artificial intelligence
OLC Architektur
-
Semantic forgetting in answer set programming
Artificial intelligence , 2008
Enthalten in: Artificial intelligence
OLC Architektur
-
Data repair of inconsistent nonmonotonic description logic programs
Artificial intelligence , 2016
Enthalten in: Artificial intelligence
OLC Architektur
-
Heterogeneous active agents, II: Algorithms and complexity
Artificial intelligence , 1999
Enthalten in: Artificial intelligence
OLC Architektur
-
Preferred answer sets for extended logic programs
Artificial intelligence , 1999
Enthalten in: Artificial intelligence
OLC Architektur
-
Complexity results for explanations in the structural-model approach
Artificial intelligence , 2004
Enthalten in: Artificial intelligence
OLC Architektur
-
Semantic forgetting in answer set programming
Artificial intelligence , 2008
Enthalten in: Artificial intelligence
OLC Architektur
-
Updating action domain descriptions
Artificial intelligence , 2010
Enthalten in: Artificial intelligence
OLC Architektur