Co-occurring keywords · papers mentioning both
Papers
2-ASP(Q) Solving Based on CEGAR
AAAI 2026
Adaptive Manipulation for Coalitions in Knockout Tournaments
AAAI 2025
On Undisputed Sets in Abstract Argumentation
AAAI 2023
On the Complexity of Inductively Learning Guarded Clauses
AAAI 2022
Kemeny Consensus Complexity
IJCAI 2021
Knowledge-Base Degrees of Inconsistency: Complexity and Counting
AAAI 2021
The Complexity Landscape of Claim-Augmented Argumentation Frameworks
AAAI 2021
Very Hard Electoral Control Problems
AAAI 2019
On Minimum Representations of Matched Formulas (Extended Abstract)
IJCAI 2017