On the complexity of data disjunctions
Theoretical Computer Science - Complexity and logic
Six Hypotheses in Search of a Theorem
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Complexity results for explanations in the structural-model approach
Artificial Intelligence
Probabilistic logic under coherence: complexity and algorithms
Annals of Mathematics and Artificial Intelligence
Information and Computation
Variable-strength conditional preferences for ranking objects in ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Expressive probabilistic description logics
Artificial Intelligence
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Complexity of Counting the Optimal Solutions
COCOON '08 Proceedings of the 14th annual international conference on Computing and Combinatorics
Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
The Computational Complexity of Ideal Semantics I: Abstract Argumentation Frameworks
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Complexity of counting the optimal solutions
Theoretical Computer Science
Responsibility and blame: a structural-model approach
Journal of Artificial Intelligence Research
The computational complexity of ideal semantics
Artificial Intelligence
Information and Computation
Sparse sets, approximable sets, and parallel queries to NP
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
Weighted argument systems: Basic definitions, algorithms, and complexity results
Artificial Intelligence
The complexity of quasigroup isomorphism and the minimum generating set problem
ISAAC'06 Proceedings of the 17th international conference on Algorithms and Computation
Functions Computable with Nonadaptive Queries to NP
Theory of Computing Systems
| Hi-index | 5.24 |