Formalizing nonmonotonic reasoning systems
Artificial Intelligence
On the classification and existence of structures in default logic
Fundamenta Informaticae
A catalog of complexity classes
Handbook of theoretical computer science (vol. A)
Hard problems for simple default logics
Artificial Intelligence - Special issue on knowledge representation
On the equivalence between disjunctive and abductive logic programs
Proceedings of the eleventh international conference on Logic programming
The complexity of logic-based abduction
Journal of the ACM (JACM)
Semantics and complexity of abduction from default theories
Artificial Intelligence
Abduction from logic program: semantics and complexity
Theoretical Computer Science
Discovery of fraud rules for telecommunications—challenges and solutions
KDD '99 Proceedings of the fifth ACM SIGKDD international conference on Knowledge discovery and data mining
LOF: identifying density-based local outliers
SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
Efficient algorithms for mining outliers from large data sets
SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
Outlier detection for high dimensional data
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
Mining top-n local outliers in large databases
Proceedings of the seventh ACM SIGKDD international conference on Knowledge discovery and data mining
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Inductive Logic Programming: Techniques and Applications
Inductive Logic Programming: Techniques and Applications
Default Logic as a Query Language
IEEE Transactions on Knowledge and Data Engineering
Computational properties of metaquerying problems
ACM Transactions on Computational Logic (TOCL)
Discovery-Driven Exploration of OLAP Data Cubes
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
Fast Outlier Detection in High Dimensional Spaces
PKDD '02 Proceedings of the 6th European Conference on Principles of Data Mining and Knowledge Discovery
Algorithms for Mining Distance-Based Outliers in Large Datasets
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Distance-based outliers: algorithms and applications
The VLDB Journal — The International Journal on Very Large Data Bases
ASSAT: computing answer sets of a logic program by SAT solvers
Eighteenth national conference on Artificial intelligence
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Outlier detection and localisation with wavelet based multifractal formalism
Outlier detection and localisation with wavelet based multifractal formalism
Metaqueries: semantics, complexity, and efficient algorithms
Artificial Intelligence
Mining distance-based outliers in near linear time with randomization and a simple pruning rule
Proceedings of the ninth ACM SIGKDD international conference on Knowledge discovery and data mining
System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
A Survey of Outlier Detection Methodologies
Artificial Intelligence Review
Outlier Mining in Large High-Dimensional Data Sets
IEEE Transactions on Knowledge and Data Engineering
Introduction to Data Mining, (First Edition)
Introduction to Data Mining, (First Edition)
Distance-Based Detection and Prediction of Outliers
IEEE Transactions on Knowledge and Data Engineering
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Outlier detection by logic programming
ACM Transactions on Computational Logic (TOCL)
Learning extended logic programs
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Outlier detection using default logic
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Abduction in logic programming: a new definition and an abductive procedure based on rewriting
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Flexible pattern discovery with (extended) disjunctive logic programming
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Outlier detection for simple default theories
Artificial Intelligence
Concept drift detection via competence models
Artificial Intelligence
Exploiting domain knowledge to detect outliers
Data Mining and Knowledge Discovery
Hi-index | 0.00 |
Default logics are usually used to describe the regular behavior and normal properties of domain elements. In this paper we suggest, conversely, that the framework of default logics can be exploited for detecting outliers. Outliers are observations expressed by sets of literals that feature unexpected semantical characteristics. These sets of literals are selected among those explicitly embodied in the given knowledge base. Hence, essentially we perceive outlier detection as a knowledge discovery technique. This paper defines the notion of outlier in two related formalisms for specifying defaults: Reiter's default logic and extended disjunctive logic programs. For each of the two formalisms, we show that finding outliers is quite complex. Indeed, we prove that several versions of the outlier detection problem lie over the second level of the polynomial hierarchy. We believe that a thorough complexity analysis, as done here, is a useful preliminary step towards developing effective heuristics and exploring tractable subsets of outlier detection problems.