Outlier detection using default logic

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2003, Pages 833-838

  Angiulli, Fabrizio ^a   Ben Eliyahu Zohary, Rachel ^b   Palopoli, Luigi ^c  

^a UNIVERSITY OF CALABRIA   (Italy)

^b BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

^c UNIVERSITY MEDITERRANEA OF REGGIO CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; COMPUTER CIRCUITS; DATA HANDLING; DEEP NEURAL NETWORKS; KNOWLEDGE BASED SYSTEMS; POLYNOMIAL APPROXIMATION;

DEFAULT LOGIC; DEFAULT THEORY; KNOWLEDGE BASE; NORMAL PROPERTIES; OUTLIER DETECTION; POLYNOMIAL HIERARCHIES; POLYNOMIAL-TIME; SECOND LEVEL;

STATISTICS;

EID: 84880847368     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, and Luigi Palopoli. Outlier detection using default logic, 2003. Full manuscript.
2. Luca Console, Daniele Theseider Dupre, and Pietro Torasso. On the relationship between abduction and deduction. Journal of Logic and Computation, 1(5):661-690,1991.
3. Thomas Eiter and Georg Gottlob. The complexity of logic-based abduction. J ACM, 42(1):3-42, 1995.
4. Thomas Eiter, Georg Gottlob, and Nicola Leone. Semantics and complexity of abduction from default theories. Artificial Intelligence, 90(1-2): 177-223, 1997.
5. David W. Etherington. Formalizing nonmonotonic reasoning systems. Artificial Intelligence, 31:41-85,1987.
6. M. R. Garey and D. S. Johnson. CompuXers and intractability; a guide to the theory of NP-completeness. W.H. Freeman, 1979.
7. Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365-385, 1991.
8. George Gottlob. Complexity results for nonmonotonic logics. J. Logic Computat., 2(3):397-425, 1992.
9. Henry A. Kautz and Bart Selman. Hard problems for simple default logics. Artificial Intelligence, 49:243-279,1991. (Pubitemid 21679931)
10. John McCarthy. Circumscription - a form of non-monotonic reasoning. Artificial Intelligence, 13:27-39, 1980.
11. Judea Pearl. System z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning. In TARK-90, pages 121-135, Monterey, CA, 1990.
12. David Poole. Normality and faults in logic-based diagnosis. In IJCA1-89, pages 1304-1310,1989.
13. Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, 1980.
14. Jonathan Stillman. The complexity of propositional default logics. In Proceedings of the 10th National Conference on Artificial Intelligence, pages 794-800, San Jose, CA, July 1992.
15. A. Zhang and W. Marek. On the classification and existence of structures in default logic. FundamenXa Informaticae, 13(4):485-499,1990. (Pubitemid 21736219)
16. Rachel Ben-Eliyahu Zohary. Yet some more complexity results for default logic. Artificial Intelligence, 139(1): 1-20,2002.