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

Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics IJCAI 2021
Variance Reduction via Accelerated Dual Averaging for Finite-Sum Optimization NIPS 2020
Pareto Probing: Trading Off Accuracy for Complexity EMNLP 2020
Task and Motion Planning Is PSPACE-Complete AAAI 2020
A Feasible Level Proximal Point Method for Nonconvex Sparse Constrained Optimization NIPS 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
Unknown Agents in Friends Oriented Hedonic Games: Stability and Complexity AAAI 2019
Complexity of Abstract Argumentation under a Claim-Centric View AAAI 2019
Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings AAAI 2019
Semantic Characterization of Data Services through Ontologies IJCAI 2019
Explanations for Query Answers under Existential Rules IJCAI 2019
Strong Equivalence for Epistemic Logic Programs Made Easy AAAI 2019
Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming AAAI 2019
A Refined Understanding of Cost-optimal Planning with Polytree Causal Graphs IJCAI 2019
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting IJCAI 2019
On how complexity affects the stability of a predictor AISTATS 2018
Probabilistic bipolar abstract argumentation frameworks: complexity results IJCAI 2018
Complexity of Approximate Query Answering under Inconsistency in Datalog+/- IJCAI 2018
Computational Social Choice Meets Databases IJCAI 2018
A Model of Distributed Query Computation in Client-Server Scenarios on the Semantic Web IJCAI 2018
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving IJCAI 2018
Query Answering in Propositional Circumscription IJCAI 2018
Parameterized hardness of active inference PGM 2018