complexity analysis

Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics IJCAI 2021 The Complexity of Object Association in Multiple Object Tracking AAAI 2021 A Feasible Level Proximal Point Method for Nonconvex Sparse Constrained Optimization NeurIPS 2020 Pareto Probing: Trading Off Accuracy for Complexity EMNLP 2020 POP ≡ POCL, Right? Complexity Results for Partial Order (Causal Link) Makespan Minimization AAAI 2020 Proportional Belief Merging AAAI 2020 Refining Tournament Solutions via Margin of Victory AAAI 2020 Task and Motion Planning Is PSPACE-Complete AAAI 2020 Variance Reduction via Accelerated Dual Averaging for Finite-Sum Optimization NeurIPS 2020 A Refined Understanding of Cost-optimal Planning with Polytree Causal Graphs IJCAI 2019 Complexity of Abstract Argumentation under a Claim-Centric View AAAI 2019 Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming AAAI 2019 Explanations for Query Answers under Existential Rules IJCAI 2019 Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings AAAI 2019 Semantic Characterization of Data Services through Ontologies IJCAI 2019 Strong Equivalence for Epistemic Logic Programs Made Easy AAAI 2019 Unknown Agents in Friends Oriented Hedonic Games: Stability and Complexity AAAI 2019 Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting IJCAI 2019 A Model of Distributed Query Computation in Client-Server Scenarios on the Semantic Web IJCAI 2018 Complexity of Approximate Query Answering under Inconsistency in Datalog+/- IJCAI 2018 Computational Social Choice Meets Databases IJCAI 2018 Constrained Coalition Formation on Valuation Structures: Formal Framework, Applications, and Islands of Tractability (Extended Abstract) IJCAI 2018 Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving IJCAI 2018 On how complexity affects the stability of a predictor AISTATS 2018 Parameterized hardness of active inference PGM 2018