The use of design descriptions in automated diagnosis
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
The complexity of optimization problems
Journal of Computer and System Sciences - Structure in Complexity Theory Conference, June 2-5, 1986
Database updates through abduction
Proceedings of the sixteenth international conference on Very large databases
A catalog of complexity classes
Handbook of theoretical computer science (vol. A)
Diagnosis with behavioral modes
Readings in model-based diagnosis
A taxonomy of complexity classes of functions
Journal of Computer and System Sciences
The complexity of selecting maximal solutions
Information and Computation
On the logic of iterated belief revision
Artificial Intelligence
Negotiation and cooperation in multi-agent environments
Artificial Intelligence - Special issue on economic principles of multi-agent systems
Modeling belief in dynamic systems, part I: foundations
Artificial Intelligence
Belief revision with unreliable observations
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A classification-based methodology for planning audit strategies in fraud detection
KDD '99 Proceedings of the fifth ACM SIGKDD international conference on Knowledge discovery and data mining
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
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Applications of Data Mining in Computer Security
Applications of Data Mining in Computer Security
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Data Mining and Knowledge Discovery
Abduction in logic programming: a new definition and an abductive procedure based on rewriting
Artificial Intelligence
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
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
REVISE: Logic Programming and Diagnosis
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
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
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
Fast multipattern search algorithms for intrusion detection
Fundamenta Informaticae - Special issue on computing patterns in strings
A logic programming approach to knowledge-state planning: Semantics and complexity
ACM Transactions on Computational Logic (TOCL)
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Annals of Mathematics and Artificial Intelligence
Computing consistent query answers using conflict hypergraphs
Proceedings of the thirteenth ACM international conference on Information and knowledge management
Outlier Mining in Large High-Dimensional Data Sets
IEEE Transactions on Knowledge and Data Engineering
ConQuer: efficient management of inconsistent databases
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
The INFOMIX system for advanced integration of incomplete and inconsistent data
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
On the logic of cooperation and propositional control
Artificial Intelligence
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
The Diagnosis Frontend of the dlv system
AI Communications
Rational Teams: Logical Aspects of Multi-Agent Systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Outlier detection using default logic
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A-system: problem solving through abduction
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Outlier detection using default reasoning
Artificial Intelligence
Mining Violations to Relax Relational Database Constraints
DaWaK '09 Proceedings of the 11th International Conference on Data Warehousing and Knowledge Discovery
The LP-OD system: logic programming meets outlier detection
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Outlier detection for simple default theories
Artificial Intelligence
Outlier detection in relational data: A case study in geographical information systems
Expert Systems with Applications: An International Journal
Exploiting domain knowledge to detect outliers
Data Mining and Knowledge Discovery
Hi-index | 0.00 |
The development of effective knowledge discovery techniques has become a very active research area in recent years due to the important impact it has had in several relevant application domains. One interesting task therein is that of singling out anomalous individuals from a given population, for example, to detect rare events in time-series analysis settings, or to identify objects whose behavior is deviant w.r.t. a codified standard set of rules. Such exceptional individuals are usually referred to as outliers in the literature. In this article, the concept of outlier is formally stated in the context of knowledge-based systems, by generalizing that originally proposed in Angiulli et al. [2003] in the context of default theories. The chosen formal framework here is that of logic programming, wherein potential applications of techniques for outlier detection are thoroughly discussed. The proposed formalization is a novel one and helps to shed light on the nature of outliers occurring in logic bases. Also the exploitation of minimality criteria in outlier detection is illustrated. The computational complexity of outlier detection problems arising in this novel setting is also thoroughly investigated and accounted for in the paper. Finally, rewriting algorithms are proposed that transform any outlier detection problem into an equivalent inference problem under stable model semantics, thereby making outlier computation effective and realizable on top of any stable model solver.