Semantical considerations on nonmonotonic logic
Artificial Intelligence
Introduction to artificial intelligence
Introduction to artificial intelligence
Artificial Intelligence
Fusion, propagation, and structuring in belief networks
Artificial Intelligence
Artificial Intelligence
A theory of diagnosis from first principles
Artificial Intelligence
Information Processing Letters
Exploiting constraints in design synthesis
Exploiting constraints in design synthesis
More complicated questions about maxima and minima, and some closures of NP
Theoretical Computer Science
Motivation analysis, abductive unification, and nonmonotonic equality
Artificial Intelligence
A logical framework for default reasoning
Artificial Intelligence
The complexity of optimization problems
Journal of Computer and System Sciences - Structure in Complexity Theory Conference, June 2-5, 1986
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Explanation and prediction: an architecture for default and abductive reasoning
Computational Intelligence
Hypothesis classification, abductive diagnosis and therapy
Proceedings of the international workshop on Expert systems in engineering : Principles and applications: Principles and applications
Abductive inference models for diagnostic problem-solving
Abductive inference models for diagnostic problem-solving
Database updates through abduction
Proceedings of the sixteenth international conference on Very large databases
Nonmonotonic reasoning: logical foundations of common sense
Nonmonotonic reasoning: logical foundations of common sense
SIAM Journal on Computing
Complexity classification of truth maintenance systems
STACS 91 Proceedings of the 8th annual symposium on Theoretical aspects of computer science
Some results concerning the computational complexity of abduction
Proceedings of the first international conference on Principles of knowledge representation and reasoning
The computational complexity of abduction
Artificial Intelligence - Special issue on knowledge representation
A spectrum of logical definitions of model-based diagnosis
Computational Intelligence
Abduction versus closure in causal theories
Artificial Intelligence
Generalizations of Opt P to the polynomial hierarchy
Theoretical Computer Science
On the greedy algorithm for satisfiability
Information Processing Letters
On the complexity of propositional knowledge base revision, updates, and counterfactuals
Artificial Intelligence
Propositional circumscription and extended closed-world reasoning are &Pgr;p2-complete
Theoretical Computer Science
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
On Finding Extensions of Default Theories
ICDT '92 Proceedings of the 4th International Conference on Database Theory
On Using Oracles That Compute Values
STACS '93 Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science
Word problems requiring exponential time(Preliminary Report)
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
ACM Computing Surveys (CSUR)
Two forms of dependence in propositional logic: controllability and definability
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Computing intersections of Horn theories for reasoning with models
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Qualifying the expressivity/efficiency tradeoff: reformation-based diagnosis
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Monotonic reductions, representative equivalence, and compilation of intractable problems
Journal of the ACM (JACM)
Consistency restoriation and explanations in dynamic CSPs----application to configuration
Artificial Intelligence
Ordered binary decision diagrams as knowledge-bases
Artificial Intelligence
An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation
Journal of Automated Reasoning
Conditional independence in propositional logic
Artificial Intelligence
Default Logic as a Query Language
IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction
IEEE Transactions on Knowledge and Data Engineering
A Multi-adjoint Logic Approach to Abductive Reasoning
Proceedings of the 17th International Conference on Logic Programming
Approximation of Relations by Propositional Formulas: Complexity and Semantics
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Reasoning with Ordered Binary Decision Diagrams
ISAAC '00 Proceedings of the 11th International Conference on Algorithms and Computation
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Abduction with Penalization in Logic Programming
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
On computing all abductive explanations
Eighteenth national conference on Artificial intelligence
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Expressing default abduction problems as quantified Boolean formulas
AI Communications
Enhancing disjunctive logic programming systems by SAT checkers
Artificial Intelligence
Complexity results for explanations in the structural-model approach
Artificial Intelligence
Man bites dog: looking for interesting inconsistencies in structured news reports
Data & Knowledge Engineering
Learning in a compiler for MINSAT algorithms
Theory and Practice of Logic Programming
A framework for compiling preferences in logic programs
Theory and Practice of Logic Programming
Approximating cost-based abduction is NP-hard
Artificial Intelligence
An Effective Algorithm for the Futile Questioning Problem
Journal of Automated Reasoning
A unified interaction scheme for information sources
Journal of Intelligent Information Systems
Tractable database design through bounded treewidth
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A backjumping technique for disjunctive logic programming
AI Communications
Compilability of propositional abduction
ACM Transactions on Computational Logic (TOCL)
A SAT-based solver for Q-ALL SAT
Proceedings of the 44th annual Southeast regional conference
Expressing default abduction problems as quantified Boolean formulas
AI Communications
A split-combination approach to merging knowledge bases in possibilistic logic
Annals of Mathematics and Artificial Intelligence
Monadic datalog over finite structures with bounded treewidth
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On computing all abductive explanations from a propositional Horn theory
Journal of the ACM (JACM)
Solving abduction by computing joint explanations
Annals of Mathematics and Artificial Intelligence
Comparing action descriptions based on semantic preferences
Annals of Mathematics and Artificial Intelligence
On look-ahead heuristics in disjunctive logic programming
Annals of Mathematics and Artificial Intelligence
What makes propositional abduction tractable
Artificial Intelligence
Abduction for Accessing Information Sources
Fundamenta Informaticae
Semantic forgetting in answer set programming
Artificial Intelligence
Outlier detection using default reasoning
Artificial Intelligence
Counting Complexity of Minimal Cardinality and Minimal Weight Abduction
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
A Nonmonotonic Approach to Semantic Matchmaking and Request Refinement in E-Marketplaces
International Journal of Electronic Commerce
Test Generation for Model-Based Diagnosis
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Encoding deductive argumentation in quantified Boolean formulae
Artificial Intelligence
Bounded treewidth as a key to tractability of knowledge representation and reasoning
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Efficient datalog abduction through bounded treewidth
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Computing minimal diagnoses by greedy stochastic search
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Computing observation vectors for max-fault min-cardinality diagnoses
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Incremental algorithms for approximate compilation
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Abduction with bounded treewidth: from theoretical tractability to practically efficient computation
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
New polynomial classes for logic-based abduction
Journal of Artificial Intelligence Research
Semantic matchmaking as non-monotonic reasoning: a description logic approach
Journal of Artificial Intelligence Research
Abducing priorities to derive intended conclusions
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Improvements to the evaluation of quantified boolean formulae
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Model-based diagnosis in the real world: lessons learned and challenges remaining
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Counting complexity of propositional abduction
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Abductive matchmaking using description logics
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Outlier detection using default logic
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Equivalence in abductive logic
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Propositional abduction is almost always hard
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Informatics creativity: a role for abductive reasoning?
Communications of the ACM
Bounded treewidth as a key to tractability of knowledge representation and reasoning
Artificial Intelligence
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Tractable database design and datalog abduction through bounded treewidth
Information Systems
Experimenting with look-back heuristics for hard ASP programs
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Hierarchical decision making in multi-agent systems using answer set programming
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
The hyper system: knowledge reformation for efficient first-order hypothetical reasoning
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Algorithms for effective argumentation in classical propositional logic: a connection graph approach
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Counting complexity of propositional abduction
Journal of Computer and System Sciences
Monadic datalog over finite structures of bounded treewidth
ACM Transactions on Computational Logic (TOCL)
Outlier detection for simple default theories
Artificial Intelligence
Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
The Complexity of Handling Minimal Solutions in Logic-Based Abduction
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A benchmark diagnostic model generation system
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Sets of boolean connectives that make argumentation easier
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Approximate model-based diagnosis using greedy stochastic search
Journal of Artificial Intelligence Research
Belief extrapolation (or how to reason about observations and unpredicted change)
Artificial Intelligence
Troubleshooting with human-readable automated reasoning
LISA'10 Proceedings of the 24th international conference on Large installation system administration
Maximal-confirmation diagnoses
Knowledge-Based Systems
Algorithms for generating arguments and counterarguments in propositional logic
International Journal of Approximate Reasoning
Solving conflicts in information merging by a flexible interpretation of atomic propositions
Artificial Intelligence
Communicating ASP and the polynomial hierarchy
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
A logical study of partial entailment
Journal of Artificial Intelligence Research
Detecting and repairing anomalous evolutions in noisy environments
Annals of Mathematics and Artificial Intelligence
GAPs: Geospatial Abduction Problems
ACM Transactions on Intelligent Systems and Technology (TIST)
The complexity of abduction for separated heap abstractions
SAS'11 Proceedings of the 18th international conference on Static analysis
Compositional Shape Analysis by Means of Bi-Abduction
Journal of the ACM (JACM)
Penalty logic and its link with Dempster-Shafer theory
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Solving hard ASP programs efficiently
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Abduction for extending incomplete information sources
SETN'06 Proceedings of the 4th Helenic conference on Advances in Artificial Intelligence
Cooperating answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Enumerating minimal explanations by minimal hitting set computation
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Task-Based dependency management for the preservation of digital objects using rules
SETN'10 Proceedings of the 6th Hellenic conference on Artificial Intelligence: theories, models and applications
Review: Artificial intelligence approaches to network management: recent advances and a survey
Computer Communications
Computers & Mathematics with Applications
A calculus for generating ground explanations
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains
ACM Transactions on Computational Logic (TOCL)
Abduction for Accessing Information Sources
Fundamenta Informaticae
Fundamenta Informaticae
Mind the (intelligibility) gap
ECDL'07 Proceedings of the 11th European conference on Research and Advanced Technology for Digital Libraries
Towards Practical ABox Abduction in Large Description Logic Ontologies
International Journal on Semantic Web & Information Systems
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems
ACM Transactions on Computational Logic (TOCL)
Parallel Abductive Query Answering in Probabilistic Logic Programs
ACM Transactions on Computational Logic (TOCL)
Proof-Directed Parallelization Synthesis by Separation Logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
Do hard SAT-related reasoning tasks become easier in the Krom fragment?
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Reasoning about explanations for negative query answers in DL-lite
Journal of Artificial Intelligence Research
Hi-index | 0.02 |
Abduction is an important form of nonmonotonic reasoning allowing one to find explanations for certain symptoms or manifestations. When the application domain is described by a logical theory, we speak about logic-based abduction. Candidates for abductive explanations are usually subjected to minimality criteria such as subset-minimality, minimal cardinality, minimal weight, or minimality under prioritization of individual hypotheses. This paper presents a comprehensive complexity analysis of relevant decision and search problems related to abduction on propositional theories. Our results indicate that abduction is harder than deduction. In particular, we show that with the most basic forms of abduction the relevant decision problems are complete for complexity classes at the second level of the polynomial hierarchy, while the use of prioritization raises the complexity to the third level in certain cases.