Outlier detection for simple default theories (original) (raw)
Related papers
Outlier detection in default logics: the tractability/intractability frontier
Restricted default theories: Expressive power and outlier detection tasks
Theoretical Computer Science, 2015
Outlier detection using default reasoning
Artificial Intelligence, 2008
Outlier detection using default logic
2003
Complexity of Default Logic on Generalized Conjunctive Queries
Lecture Notes in Computer Science, 2007
Complexity of Recursive Normal Default Logic
Fundamenta Informaticae
Reasoning with Sets of Defaults in Default Logic
Computational Intelligence, 2004
Lecture Notes in Computer Science, 1998
Default negation in Normal Logic Programs considered as minimal abduction of positive hypotheses
2020
The complexity of logic-based abduction
Journal of the ACM, 1995
Default Logics: A Unified View
Computational Intelligence, 1994
Default reasoning by deductive planning
Journal of Automated Reasoning, 1995
Prolog technology for default reasoning: proof theory and compilation techniques
Artificial Intelligence, 1998
A proof theory for Constructive Default Logic
Lecture Notes in Computer Science, 1993
A Default Logic Patch for Default Logic
Lecture Notes in Computer Science, 2009
Representation theory for default logic
Artificial Intelligence, 1993
A System for Computing Constrained Default Logic Extensions
1996
Outlier Detection by Logic Programming
arXiv (Cornell University), 2004
Default Knowledge in Logic Programs with Uncertainty
Lecture Notes in Computer Science, 2003
Normal form results for default logic
1991
On reasoning with default rules and exceptions
… of the eighteenth annual conference of the …, 1996
Computing answers in default logic
1989
Default reasoning from conditional knowledge bases: Complexity and tractable cases
Artificial Intelligence, 2000
Alternative foundations for Reiter's default logic
Artificial Intelligence, 2000
Darr – a Theorem Prover for Constrained and Rational Default Logics
2008
Evaluating an Algorithm for Default Reasoning
1995
Negation by default and unstratifiable logic programs
Theoretical Computer Science, 1991
Weak extensions for default theories
Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993
Assumption sets for extended logic programs
1999
Abduction over 3-valued extended logic programs
Lecture Notes in Computer Science, 1995
Alternative Approaches to Default Logic
Artificial Intelligence, 1994
A proof procedure for normal default theories
Applied Intelligence, 1996