On kernels, defaults and even graphs
Annals of Mathematics and Artificial Intelligence
Coherence in finite argument systems
Artificial Intelligence
On the equivalence and range of applicability of graph-based representations of logic programs
Information Processing Letters
Comparing a Pair-Wise Compatibility Heuristic and Relaxed Stratification: Some Preliminary Results
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Two party immediate response disputes: properties and efficiency
Artificial Intelligence
Prevarication in dispute protocols
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Graphs and colorings for answer set programming
Theory and Practice of Logic Programming
On the existence of stable models of non-stratified logic programs
Theory and Practice of Logic Programming
Audiences in argumentation frameworks
Artificial Intelligence
Argumentation in artificial intelligence
Artificial Intelligence
Computational properties of argument systems satisfying graph-theoretic constraints
Artificial Intelligence
Preferred extensions as stable models*
Theory and Practice of Logic Programming
Efficient profile aggregation and policy evaluation in a middleware for adaptive mobile applications
Pervasive and Mobile Computing
Graph-Based Domain Mapping for Transfer Learning in General Games
ECML '07 Proceedings of the 18th European conference on Machine Learning
Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
A review of current defeasible reasoning implementations
The Knowledge Engineering Review
Inconsistency tolerance in weighted argument systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Complexity Properties of Restricted Abstract Argument Systems
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
An algorithm to compute minimally grounded and admissible defence sets in argument systems
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Asking the Right Question: Forcing Commitment in Examination Dialogues
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
The Computational Complexity of Ideal Semantics I: Abstract Argumentation Frameworks
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Argumentation Context Systems: A Framework for Abstract Group Argumentation
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Graph theoretical characterization and computation of answer sets
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
The computational complexity of ideal semantics
Artificial Intelligence
Computational properties of resolution-based grounded semantics
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Reasoning in Argumentation Frameworks of Bounded Clique-Width
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Computation in Extended Argumentation Frameworks
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Flexible concept-based argumentation in dynamic scenes
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Weighted argument systems: Basic definitions, algorithms, and complexity results
Artificial Intelligence
On the resolution-based family of abstract argumentation semantics and its grounded instance
Artificial Intelligence
A computational method for defeasible argumentation based on a recursive warrant semantics
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
On the intertranslatability of argumentation semantics
Journal of Artificial Intelligence Research
Inference from controversial arguments
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Finding kernels or solving SAT
Journal of Discrete Algorithms
Symmetric argumentation frameworks
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Augmenting tractable fragments of abstract argumentation
Artificial Intelligence
Towards fixed-parameter tractable algorithms for abstract argumentation
Artificial Intelligence
On the complexity of computing the justification status of an argument
TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
Parametric properties of ideal semantics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Augmenting tractable fragments of abstract argumentation
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
The Multivariate Algorithmic Revolution and Beyond
Conflict, consistency and truth-dependencies in graph representations of answer set logic programs
GKR'11 Proceedings of the Second international conference on Graph Structures for Knowledge Representation and Reasoning
Automata for infinite argumentation structures
Artificial Intelligence
Complexity-sensitive decision procedures for abstract argumentation
Artificial Intelligence
Hi-index | 5.23 |