-
Localising iceberg inconsistencies
Artificial intelligence , 2017
Enthalten in: Artificial intelligence
OLC Architektur
-
A logic-based theory of deductive arguments
Artificial intelligence , 2001
Enthalten in: Artificial intelligence
OLC Architektur
-
Weighted argument systems: Basic definitions, algorithms, and complexity results
Artificial intelligence , 2011
Enthalten in: Artificial intelligence
OLC Architektur
-
Analysing inconsistent first-order knowledgebases
Artificial intelligence , 2008
Enthalten in: Artificial intelligence
OLC Architektur
-
Encoding deductive argumentation in quantified Boolean formulae
Artificial intelligence , 2009
Enthalten in: Artificial intelligence
OLC Architektur
-
On the measure of conflicts: Shapley Inconsistency Values
Artificial intelligence , 2010
Enthalten in: Artificial intelligence
OLC Architektur
-
Encoding deductive argumentation in quantified Boolean formulae
Artificial intelligence , 2009
Enthalten in: Artificial intelligence
OLC Architektur
-
Instantiating abstract argumentation with classical logic arguments: Postulates and properties
Artificial intelligence , 2011
Enthalten in: Artificial intelligence
OLC Architektur
-
Analysing inconsistent first-order knowledgebases
Artificial intelligence , 2008
Enthalten in: Artificial intelligence
OLC Architektur