Complete and incomplete knowledge in logical information systems

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2143, Issue , 2001, Pages 782-791

  Ferré, Sébastien ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE BASED SYSTEMS; TRANSPORTATION;

EUCLIDEAN; INCOMPLETE KNOWLEDGE; KNOWLEDGE BASE; LOGICAL INFORMATION SYSTEMS; MODAL LOGIC;

INFORMATION SYSTEMS;

EID: 84937440703     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44652-4_69     Document Type: Conference Paper

References (14)

1. K. A. Bowen. Model Theory for Modal Logic. D. Reidel, London, 1979.
2. Chen. The logic of only knowing as a unified framework for non-monotonic reasoning. FUNDINF: Fundamenta Informatica, 21, 1994.
3. P. T. Devanbu and M. A. Jones. The use of description logics in KBSE systems. In Bruno Fadini, editor, Proceedings of the 16th International Conference on Software Engineering, pages 23-38, Sorrento, Italy, May 1994. IEEE Computer Society Press.
4. F. M. Donini, D. Nardi, and R. Rosati. Autoepistemic description logics. In IJCAI, 1997.
5. Sébastien Ferré and Olivier Ridoux. A file system based on concept analysis. In Yehoshua Sagiv, editor, International Conference on Rules and Objects in Databases, LNCS 1861, pages 1033-1047. Springer, 2000.
6. R. Godin, R. Missaoui, and A. April. Experimental comparison of navi- gation in a Galois lattice with conventional information retrieval methods. International Journal of Man-Machine Studies, 38(5):747-767, 1993.
7. Hector Levesque. All I know: A study in autoepistemic logic. Artificial Intelligence, 42(2), March 1990.
8. V. Lifschitz. Nonmonotonic databases and epistemic queries. In 12th International Joint Conference on Artificial Intelligence, pages 381-386, 1991.
9. Fabio Massacci. Strongly analytic tableaux for normal modal logics. In Alan Bundy, editor, Proceedings of the 12th International Conference on Automated Deduction, LNAI 814, pages 723-737, Berlin, 1994. Springer.
10. John McCarthy. Applications of circumscription to formalizing common sense knowledge. Artificial Intelligence, 28(1), 1986.
11. Robert C. Moore. Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25(1):75-94, 1985.
12. Raymond Reiter. What should a database know? Journal of Logic Programming, 14(1-2):127-153, October 1992.
13. Riccardo Rosati. Tableau calculus for only knowing and knowing at most. In Roy Dickho editor, TABLEAUX, LNCS 1847. Springer, 2000.
14. Rudolf Wille. Ordered Sets, chapter Restructuring lattice theory: An approach based on hierarchies of concepts, pages 445-470. Reidel, Dordrecht Boston, 1982.