On the computational complexity of assumption-based argumentation for default reasoning
Artificial Intelligence
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Preferred Extensions of Argumentation Frameworks: Query Answering and Computation
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Hi-index | 0.00 |