Query answering in rough knowledge bases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2639, Issue , 2003, Pages 197-204

  Vitória, Aida ^a   Damásio, Carlos Viegas ^b   Małuszyński, Jan ^a  

^a LINKÖPING UNIVERSITY   (Sweden)

^b UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

Logic programming; Rough sets; Stable models; Uncertain reasoning

Indexed keywords

COMPUTATION THEORY; COMPUTER CIRCUITS; FUZZY SETS; GRANULAR COMPUTING; LOGIC PROGRAMMING; ROUGH SET THEORY; ARTIFICIAL INTELLIGENCE; DATA MINING; KNOWLEDGE ACQUISITION;

KNOWLEDGE BASIS; QUERY ANSWERING; ROUGH INCLUSIONS; STABLE MODEL; UNCERTAIN REASONING; PRACTICAL EXTENSIONS; ROUGH EQUALITY;

DATA MINING; TECHNICAL PRESENTATIONS;

EID: 8344261600     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-39205-x_25     Document Type: Conference Paper

References (8)

1. K. Apt and R. Bol. Logic programming and negation: A survey. In Journal of Logic Programming, volume 19/20, pages 9-72. Elsevier, May/July 1994.
2. T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. The KR system dlv: Progress report, comparisons and benchmarks. In A. G. Cohn, L. Schubert, and S. C. Shapiro, editors, KR’98: Principles of Knowledge Representation and Reasoning, pages 406-417, San Francisco, California, 1998. Morgan Kaufmann.
3. I. Niemelä and P. Simons. Efficient implementation of the well-founded and stable model semantics. In M. Maher, editor, Proc. of the Joint International Conference and Symposium on Logic Programming, pages 289-303, Bonn, Germany, 1996. MIT Press.
4. Z. Pawlak. Rough sets. Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht, 1991.
5. D. Pearce. Answer sets and constructive logic, II: Extended logic programs and related non-monotonic formalisms. In L. Pereira and A. Nerode, editors, Logic Programming and Nonmonotonic Reasoning - proceedings of the second international workshop, pages 457-475. MIT Press, 1993.
6. C. Sakama and K. Inoue. Paraconsistent Stable Semantics for Extended Disjunctive Programs. Journal of Logic and Computation, 5(3):265-285, 1995.
7. A. Vitória and J. Małuszyński. A logic programming farmework for rough sets. In J. Alpigini, J. Peters, A. Skowron, and N. Zhong, editors, Proc. of the 3rd International Conference on Rough Sets and Current Trends in Computing, RSCTC’02, number 2475 in LNCS/LNAI, pages 205-212. Springer-Verlag, 2002.
8. W. Ziarko and X. Fei. VPRSM approach to WEB searching. In J. Alpigini, J. Peters, A. Skowron, and N. Zhong, editors, Proc. of the 3rd International Conference on Rough Sets and Current Trends in Computing, RSCTC’02, number 2475 in LNCS/LNAI, pages 514-521. Springer-Verlag, 2002.