conftrace_

complexity analysis

93 papers

Explore in graph

Co-occurring keywords

computational complexity (399) abstract argumentation (49) argumentation semantics (24) automated planning (152) description logic (107) knowledge base (804) knowledge representation (301) game theory (854) argumentation framework (50) multi-agent system (1819)

Papers

Complexity of Efficient Outcomes in Binary-Action Polymatrix Games and Implications for Coordination Problems IJCAI 2023
Efficient Semiring-Weighted Earley Parsing ACL 2023
Complexity of Safety and coSafety Fragments of Linear Temporal Logic AAAI 2023
Model-Checking for Ability-Based Logics with Constrained Plans AAAI 2023
On Undisputed Sets in Abstract Argumentation AAAI 2023
Structurally Restricted Fragments of Numeric Planning – a Complexity Analysis AAAI 2023
Explanations for Negative Query Answers under Inconsistency-Tolerant Semantics IJCAI 2022
Controlling the Spread of Two Secrets in Diverse Social Networks (Student Abstract) AAAI 2022
Algorithms for Acyclic Weighted Finite-State Automata with Failure Arcs EMNLP 2022
On the Complexity of Inductively Learning Guarded Clauses AAAI 2022
On Preferences and Priority Rules in Abstract Argumentation IJCAI 2022
A Multivariate Complexity Analysis of Qualitative Reasoning Problems IJCAI 2022
Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases (Extended Abstract) IJCAI 2022
Lifting in multi-agent systems under uncertainty UAI 2022
Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks – A Complexity Analysis AAAI 2021
Decomposition-Guided Reductions for Argumentation and Treewidth IJCAI 2021
Scalable Verification of Quantized Neural Networks AAAI 2021
The Complexity of Object Association in Multiple Object Tracking AAAI 2021
Argumentation Frameworks with Strong and Weak Constraints: Semantics and Complexity AAAI 2021
Preferred Explanations for Ontology-Mediated Queries under Existential Rules AAAI 2021
Knowledge-Base Degrees of Inconsistency: Complexity and Counting AAAI 2021
Algebra of Modular Systems: Containment and Equivalence AAAI 2021
On the Tractability of SHAP Explanations AAAI 2021
On the Second-order Convergence Properties of Random Search Methods NIPS 2021
How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements IJCAI 2021