Access the full text.
Sign up today, get DeepDyve free for 14 days.
N. Leone, G. Greco, Giovambattista Ianni, V. Lio, G. Terracina, Thomas Eiter, Wolfgang Faber, Michael Fink, G. Gottlob, R. Rosati, D. Lembo, M. Lenzerini, M. Ruzzi, Edyta Kalka, B. Nowicki, W. Staniszkis (2005)
The INFOMIX system for advanced integration of incomplete and inconsistent data
F. Buccafurri, N. Leone, P. Rullo (2000)
Enhancing Disjunctive Datalog by ConstraintsIEEE Trans. Knowl. Data Eng., 12
S. Abiteboul, R. Hull, V. Vianu (1994)
Foundations of Databases
F. Angiulli, C. Pizzuti (2002)
Fast Outlier Detection in High Dimensional Spaces
Wen Jin, A. Tung, Jiawei Han (2001)
Mining top-n local outliers in large databases
D. Walton, E. Krabbe (1995)
Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning
C. Alchourrón, D. Makinson (2008)
On the logic of theory change: Contraction functions and their associated revision functionsTheoria, 48
David Johnson (1991)
A Catalog of Complexity Classes
A. Kakas, Bert Nuffelen, M. Denecker (2001)
A-System: Problem Solving through Abduction
Edwin Knorr, R. Ng, V. Tucakov (2000)
Distance-based outliers: algorithms and applicationsThe VLDB Journal, 8
D. Poole (1988)
Representing Knowledge for Logic-Based Diagnosis
A. Kakas, F. Sadri (2002)
Computational Logic: Logic Programming and Beyond, 2407
N. Leone, G. Pfeifer, Wolfgang Faber, Thomas Eiter, G. Gottlob, S. Perri, Francesco Scarcello (2002)
The DLV system for knowledge representation and reasoningACM Trans. Comput. Log., 7
F. Angiulli, G. Greco, L. Palopoli (2004)
Detecting Outliers via Logical Theories and Its Data Complexity
S. Vadhan (2005)
Computational Complexity
F. Angiulli, R. Ben-Eliyahu-Zohary, L. Palopoli (2004)
Outlier Detection Using Disjunctive Logic Programming
Andreas Arning, R. Agrawal, P. Raghavan (1996)
A Linear Method for Deviation Detection in Large Databases
M. Genesereth (1984)
The Use of Design Descriptions in Automated DiagnosisArtif. Intell., 24
David Johnson, W. Freeman
The Np-completeness Column: an Ongoing Guide Garey and Myself in Our Book ''computers and Intractability: a Guide to the Theory of Np-completeness,''
Tom Fawcett, F. Provost (1997)
Adaptive Fraud DetectionData Mining and Knowledge Discovery, 1
H. Katsuno, A. Mendelzon (1991)
On the Difference between Updating a Knowledge Base and Revising It
J. Kleer, B. Williams (1989)
Diagnosis with Behavioral Modes
Thomas Eiter, Wolfgang Faber, N. Leone, G. Pfeifer (1999)
The Diagnosis Frontend of the dlv SystemAI Commun., 12
C. Preist, K. Eshghi, B. Bertolino (1994)
Consistency-based and abductive diagnoses as generalised stable modelsAnnals of Mathematics and Artificial Intelligence, 11
F. Bonchi, F. Giannotti, G. Mainetto, D. Pedreschi (1999)
A classification-based methodology for planning audit strategies in fraud detection
A. Fuxman, Elham Fazli, Renée Miller (2005)
ConQuer: efficient management of inconsistent databases
Jinxin Lin, A. Mendelzon (1998)
Merging Databases Under ConstraintsInt. J. Cooperative Inf. Syst., 7
J. Leeuwen (1990)
Handbook of Theoretical Computer Science
Adam Grove (1988)
Two modellings for theory changeJournal of Philosophical Logic, 17
Stephen Bay, M. Schwabacher (2003)
Mining distance-based outliers in near linear time with randomization and a simple pruning rule
M. Denecker, A. Kakas (2002)
Abduction in Logic Programming
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan (2009)
Characterizations of stable model semantics for logic programs with arbitrary constraint atomsTheory and Practice of Logic Programming, 9
T. Janhunen, I. Niemelä, P. Simons, Jia-Huai You (2000)
Unfolding partiality and disjunctions in stable model semanticsArXiv, cs.AI/0303009
F. Angiulli, G. Greco, L. Palopoli (2004)
Discovering Anomalies in Evidential Knowledge by Logic Programming
Zhi-Zhong Chen, Seinosuke Toda (1993)
The complexity of selecting maximal solutions[1993] Proceedings of the Eigth Annual Structure in Complexity Theory Conference
A. Ciampolini, E. Lamma, P. Mello, Francesca Toni, Paolo Torroni (2004)
Cooperation and Competition in ALIAS: A Logic Framework for Agents that NegotiateAnnals of Mathematics and Artificial Intelligence, 37
A. Apostolico, M. Bock, S. Lonardi, Xuyan Xu (2000)
Efficient Detection of Unusual WordsJournal of computational biology : a journal of computational molecular cell biology, 7 1-2
M. Arenas, L. Bertossi, J. Chomicki (1999)
Consistent query answers in inconsistent databases
R. Reiter (1987)
A Logic for Default ReasoningArtif. Intell., 13
M. Breunig, H. Kriegel, R. Ng, J. Sander (2000)
LOF: identifying density-based local outliers
F. Angiulli, C. Pizzuti (2005)
Outlier mining in large high-dimensional data setsIEEE Transactions on Knowledge and Data Engineering, 17
Moshe Vardi (1982)
The complexity of relational query languages (Extended Abstract)
N. Friedman, Joseph Halpern (1996)
Belief Revision: A CritiqueJournal of Logic, Language and Information, 8
(1997)
Semi-revision
W. Vasconcelos, D. Robertson, C. Sierra, M. Esteva, J. Sabater-Mir, M. Wooldridge (2004)
Rapid Prototyping of Large Multi-Agent Systems Through Logic ProgrammingAnnals of Mathematics and Artificial Intelligence, 41
M. Crochemore, C. Iliopoulos, T. Lecroq (2002)
Occurrence and Substring Heuristics for i-MatchingFundam. Informaticae, 56
L. Console, D. Dupré, P. Torasso (1991)
On the Relationship between Abduction and DeductionJ. Log. Comput., 1
S. Ramaswamy, R. Rastogi, Kyuseok Shim (2000)
Efficient algorithms for mining outliers from large data sets
Thomas Eiter, G. Gottlob (1993)
The complexity of logic-based abduction
S. Perri, Francesco Scarcello, N. Leone (2003)
Abductive logic programs with penalization: semantics, complexity and implementationTheory and Practice of Logic Programming, 5
Fangzhen Lin, Yuting Zhao (2002)
ASSAT: computing answer sets of a logic program by SAT solvers
Adnan Darwiche, J. Pearl (1994)
On the Logic of Iterated Belief RevisionArtif. Intell., 89
S. Hansson (1999)
A Survey of non-Prioritized Belief RevisionErkenntnis, 50
R. Reiter (1986)
A Theory of Diagnosis from First PrinciplesArtif. Intell., 32
H. Aldewereld, W. Hoek, J. Meyer
Rational Teams: Logical Aspects of Multi-agent Systems
Edwin Knorr, R. Ng (1998)
Algorithms for Mining Distance-Based Outliers in Large Datasets
L. Valiant (1979)
The Complexity of Computing the PermanentTheor. Comput. Sci., 8
C. Aggarwal, Philip Yu (2021)
Outlier Detection in High Dimensional DataRegular issue
F. Wotawa (1999)
Model-based reasoningAi Communications, 12
P. Menzies, P. Gardenfors (1988)
Knowledge in flux: modeling the dynamics of epistemic states
E. Dantsin, Thomas Eiter, G. Gottlob, A. Voronkov (1997)
Complexity and expressive power of logic programmingProceedings of Computational Complexity. Twelfth Annual IEEE Conference
Thomas Eiter, Wolfgang Faber, N. Leone, G. Pfeifer, A. Polleres (2004)
A logic programming approach to knowledge-state planning: Semantics and complexityACM Trans. Comput. Log., 5
F. Angiulli, R. Ben-Eliyahu-Zohary, L. Palopoli (2003)
Outlier Detection Using Default Logic
C. Alchourrón, P. Gärdenfors, D. Makinson (1985)
On the logic of theory change: Partial meet contraction and revision functionsJournal of Symbolic Logic, 50
M. Wooldridge, S. Parsons (2000)
Languages for Negotiation
A. Kakas, P. Mancarella (1990)
Generalized Stable Models: A Semantics for Abduction
(2007)
ACM Transactions on Computational Logic
A. Kakas, P. Mancarella (1990)
Database Updates through Abduction
Fangzhen Lin, Jia-Huai You (2001)
Abduction in logic programming: A new definition and an abductive procedure based on rewritingArtif. Intell., 140
L. Console, D. Dupré, P. Torasso (1989)
A Theory of Diagnosis for Incomplete Causal Models
(2004)
Planning with sensing act ions and incomplete information using logic programming. I n Proc. of the 7th International conference on Logic Programming an d Nonmonotonic Reasoning (LPNMR)
P. Dung (1991)
Negations as Hypotheses: An Abductive Foundation for Logic Programming
Saharon Rosset, Uzi Murad, E. Neumann, Y. Idan, Gadi Pinkas (1999)
Discovery of fraud rules for telecommunications—challenges and solutions
Sunita Sarawagi, R. Agrawal, N. Megiddo (1998)
Discovery-Driven Exploration of OLAP Data Cubes
Sarit Kraus (1997)
Negotiation and Cooperation in Multi-Agent EnvironmentsArtif. Intell., 94
M. Gelfond, V. Lifschitz (1991)
Classical negation in logic programs and disjunctive databasesNew Generation Computing, 9
W. Hoek, M. Wooldridge (2005)
On the logic of cooperation and propositional controlArtif. Intell., 164
U. Endriss, P. Mancarella, F. Sadri, G. Terreni, Francesca Toni (2009)
The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experimentsTheory and Practice of Logic Programming, 9
Josué Kuri, G. Navarro, L. Mé (2000)
Fast multipattern search algorithms for intrusion detectionProceedings Seventh International Symposium on String Processing and Information Retrieval. SPIRE 2000
P. Struss, O. Dressler (1989)
"Physical Negation" Integrating Fault Models into the General Diagnostic Engine
Tran Son, P. Tu, Chitta Baral (2004)
Planning with Sensing Actions and Incomplete Information Using Logic Programming
Loreto Bravo, L. Bertossi (2003)
Logic programs for consistently querying data integration systems
A. Selman (1994)
A Taxonomy of Complexity Classes of FunctionsJ. Comput. Syst. Sci., 48
W. Buckland (1979)
Outliers in Statistical DataJournal of the Operational Research Society, 30
N. Friedman (1997)
Modeling beliefs in dynamic systems
C. Alchourrón, D. Makinson (1985)
On the logic of theory change: Safe contractionStudia Logica, 44
Craig Boutilier, N. Friedman, Joseph Halpern (1998)
Belief Revision with Unreliable Observations
J. Leeuwen (1994)
Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity
E. Eskin, Andrew Arnold, Michael Prerau, Leonid Portnoy, S. Stolfo (2002)
A Geometric Framework for Unsupervised Anomaly Detection
D. Poole (1989)
Normality and Faults in Logic-Based Diagnosis
F. Sadri, Francesca Toni, Paolo Torroni (2001)
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences
J. Kleer, B. Williams (1987)
Diagnosing Multiple FaultsArtif. Intell., 32
N. Friedman, Joseph Halpern (1997)
Modeling Belief in Dynamic Systems, Part I: FoundationsArtif. Intell., 95
Mark Krentel (1986)
The complexity of optimization problems
Jintai Ding, Albrecht Petzoldt, Dieter Schmidt (2006)
Economics of Information SecurityMultivariate Public Key Cryptosystems
Peter Flach, A. Kakas (2000)
Abduction and Induction
R. Ben-Eliyahu-Zohary, R. Dechter (1994)
Propositional semantics for disjunctive logic programsAnnals of Mathematics and Artificial Intelligence, 12
Article 7, Publication date: December 2007
(2004)
Received September
M. Lenzerini (2002)
Data integration: a theoretical perspective
Wenke Lee, S. Stolfo, K. Mok (1998)
Mining Audit Data to Build Intrusion Detection Models
A. Atkinson (1995)
2. Outliers in Statistical DataJournal of The Royal Statistical Society Series A-statistics in Society, 158
Anand Rao, M. Georgeff (1992)
An Abstract Architecture for Rational Agents
J. Chomicki, J. Marcinkowski, S. Staworko (2004)
Computing consistent query answers using conflict hypergraphs
I. Niemelä, P. Simons (1997)
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
C. Damásio, L. Pereira, Michael Schroeder (1997)
REVISE: Logic Programming and Diagnosis
R. Kowalski, F. Sadri (1999)
From logic programming towards multi‐agent systemsAnnals of Mathematics and Artificial Intelligence, 25
Outlier Detection by Logic Programming FABRIZIO ANGIULLI, GIANLUIGI GRECO, and LUIGI PALOPOLI University of Calabria, Italy 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 codi ed 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
ACM Transactions on Computational Logic (TOCL) – Association for Computing Machinery
Published: Dec 1, 2007
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.