Negation, opposition, and possibility in logical concept analysis

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

Volumn 3874 LNAI, Issue , 2006, Pages 130-145

  Ferré, Sébastien ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; MATHEMATICAL TRANSFORMATIONS; MODAL ANALYSIS;

FORMALISM; LOGICAL CONCEPT ANALYSIS (LCA); NEGATION;

FORMAL LOGIC;

EID: 33745562258     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11671404_9     Document Type: Conference Paper

References (22)

1. [BH05] P. Burmeister and R. Holzer, Treating incomplete knowledge in formal concept analysis. In B. Ganter, G. Stumme, and R. Wille, editors, Formal Concept Analysis, LNCS 3626, pages 114-126. Springer, 2005.
2. [Bow79] K. A. Bowen. Model Theory for Modal Logic. D. Reidel, London, 1979.
3. [Che94] J. Chen. The logic of only knowing as a unified framework for non-monotonic reasoning, Fundamenta Informatica, 21, 1994.
4. [CM00] L. Chaudron and N. Maille, Generalized formal concept analysis. In G. Mineau and B. Ganter, editors, Int. Conf. Conceptual Structures, LNCS 1867. Springer, 2000.
5. [DNR97] F. M. Donini, D. Nardi, and R. Roaati. Autoepistemic description logics, In IJCAI, 1997.
6. [Fer01] S. Ferré. Complete and incomplete knowledge in logical information systems. In S. Benferhat and P. Besnard, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, LNCS 2143, pages 782-791, Springer, 2001.
7. [Fer02] S. Ferré, Systèmes d'information logiques : un paradigme logico-contextuel pour interroger, naviguer et apprendre. Thèse d'université, Université de Rennes 1, October 2002. Accessible en ligne àl'adresse http://www.irisa.fr/bibli/publi/theses/theses02,html.
8. [FR00] S. Ferré and O. Ridoux. A logical generalization of formal concept analysis, In G. Mineau and B. Ganter, editors, Int. Conf. Conceptual Structures, LNCS 1867, pages 371-384. Springer, 2000.
9. [FR02] S. Ferré and O. Ridoux. A framework for developing embeddable customized logics. In A. Pettorossi, editor, Int. Work. Logic-based Program Synthesis and Transformation, LNCS 2372, pages 191-215. Springer, 2002.
10. [FR04] S. Ferré and O. Ridoux. An introduction to logical information systems, Information Processing & Management, 40(3):383-419, 2004.
11. [GK01] B. Ganter and S. Kuznetsov. Pattern structures and their projections, In H. S. Delugach and G. Stumme, editors, Int. Conf. Conceptual Structures, LNCS 2120, pages 129-142. Springer, 2001.
12. [JH93] P. Janton and H.Tonkin. Esperanto: Language, Literature, and Community, State University of New York Press, 1993.
13. [Kan05] K. Kaneiwa, Negations in description logic - contraries, contradictories, and subcontraries. In F. Dau, M.-L. Mugnier, and G. Stumme, editors, Contributions to ICCS 2005, pages 66-79. Kassel University Press GmbH, 2005.
14. [Lev90] H. Levesque. All I know: a study in autoepistemic logic. Artificial Intelligence, 42(2), March 1990.
15. [Lif91] V. Lifschitz. Nonmonotonic databases and epistemic queries. In 12th International Joint Conference on Artificial Intelligence, pages 381-386, 1991.
16. [McC86] J. McCarthy. Applications of circumscription to formalizing common sense knowledge. Artificial Intelligence, 28(1), 1986.
17. [Moo85] R. C. Moore. Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25(1):75-94, 1985.
18. [Obi02] S. A. Obiedkov. Modal logic for evaluating formulas in incomplete contexts. In ICCS, LNCS 2393, pages 314-325. Springer, 2002.
19. [Plo70] G. D. Plotkin. A note on inductive generalization. Machine Intelligence, Edinburgh Univ. Press, 5:153-163, 1970.
20. [Pre97] S. Prediger. Logical scaling in formal concept analysis, LNCS 1257, pages 332-341, 1997.
21. [Ros00] R. Rosati. Tableau calculus for only knowing and knowing at most. In Roy Dickhoff, editor, TABLEAUX, LNCS 1847, Springer, 2000.
22. [Wil00] R. Wille. Boolean concept logic. In G. Mineau and B. Ganter, editors, Int., Conf. Conceptual Structures, LNCS 1867, pages 317-331. Springer, 2000.