共 50 条
- [41] Quantitative Reasoning over Incomplete Abstract Argumentation Frameworks PROCEEDINGS OF THE THIRTY-THIRD INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2024, 2024, : 3360 - 3368
- [42] On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 2985 - 2991
- [45] Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 101 - 110
- [46] Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 2684 - 2690
- [48] Developing Content for LKIF: Ontologies and Frameworks for Legal Reasoning LEGAL KNOWLEDGE AND INFORMATION SYSTEMS, 2006, 152 : 169 - 174
- [49] Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 1905 - 1911
- [50] Bipolar Abstract Dialectical Frameworks Are Covered by Kleene's Three-valued Logic PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, 2023, : 3123 - 3131