-
Conditional independence in propositional logic
Artificial intelligence , 2002
Enthalten in: Artificial intelligence
OLC Architektur
-
Consistency restoration and explanations in dynamic CSPs-Application to configuration
Artificial intelligence , 2002
Enthalten in: Artificial intelligence
OLC Architektur
-
On propositional definability
Artificial intelligence , 2008
Enthalten in: Artificial intelligence
OLC Architektur
-
Compiling propositional weighted bases
Artificial intelligence , 2004
Enthalten in: Artificial intelligence
OLC Architektur
-
On the merging of Dung's argumentation systems
Artificial intelligence , 2007
Enthalten in: Artificial intelligence
OLC Architektur
-
Reasoning under inconsistency: A forgetting-based approach
Artificial intelligence , 2010
Enthalten in: Artificial intelligence
OLC Architektur
-
Disjunctive merging: Quota and Gmin merging operators
Artificial intelligence , 2010
Enthalten in: Artificial intelligence
OLC Architektur
-
On propositional definability
Artificial intelligence , 2008
Enthalten in: Artificial intelligence
OLC Architektur