complexity analysis

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