{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:59:27Z","timestamp":1725551967574},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540322030"},{"type":"electronic","value":"9783540322047"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11671404_9","type":"book-chapter","created":{"date-parts":[[2006,1,23]],"date-time":"2006-01-23T12:03:57Z","timestamp":1138017837000},"page":"130-145","source":"Crossref","is-referenced-by-count":14,"title":["Negation, Opposition, and Possibility in Logical Concept Analysis"],"prefix":"10.1007","author":[{"given":"S\u00e9bastien","family":"Ferr\u00e9","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/11528784_6","volume-title":"Formal Concept Analysis","author":"P. Burmeister","year":"2005","unstructured":"Burmeister, P., Holzer, R.: Treating incomplete knowledge in formal concept analysis. In: Ganter, B., Stumme, G., Wille, R. (eds.) Formal Concept Analysis. LNCS (LNAI), vol.\u00a03626, pp. 114\u2013126. Springer, Heidelberg (2005)"},{"key":"9_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-7642-0","volume-title":"Model Theory for Modal Logic","author":"K.A. Bowen","year":"1979","unstructured":"Bowen, K.A.: Model Theory for Modal Logic. D. Reidel, London (1979)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Chen, J.: The logic of only knowing as a unified framework for non-monotonic reasoning. Fundamenta Informatica\u00a021 (1994)","DOI":"10.3233\/FI-1994-2133"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10722280_25","volume-title":"Conceptual Structures: Logical, Linguistic, and Computational Issues","author":"L. Chaudron","year":"2000","unstructured":"Chaudron, L., Maille, N.: Generalized formal concept analysis. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS, vol.\u00a01867. Springer, Heidelberg (2000)"},{"key":"9_CR5","unstructured":"Donini, F.M., Nardi, D., Rosati, R.: Autoepistemic description logics. In: IJCAI (1997)"},{"key":"9_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1007\/3-540-44652-4_69","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"S. Ferr\u00e9","year":"2001","unstructured":"Ferr\u00e9, S.: Complete and incomplete knowledge in logical information systems. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol.\u00a02143, pp. 782\u2013791. Springer, Heidelberg (2001)"},{"key":"9_CR7","unstructured":"Ferr\u00e9, S.: Syst\u00e8mes d\u2019information logiques\u00a0: un paradigme logico-contextuel pour interroger, naviguer et apprendre. Th\u00e8se d\u2019universit\u00e9, Universit\u00e9 de Rennes\u00a01 (October 2002), Accessible en ligne \u00e1 l\u2019adresse, http:\/\/www.irisa.fr\/bibli\/publi\/theses\/theses02.html"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/10722280_26","volume-title":"Conceptual Structures: Logical, Linguistic, and Computational Issues","author":"S. Ferr\u00e9","year":"2000","unstructured":"Ferr\u00e9, S., Ridoux, O.: A logical generalization of formal concept analysis. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS, vol.\u00a01867, pp. 371\u2013384. Springer, Heidelberg (2000)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/3-540-45607-4_11","volume-title":"Logic Based Program Synthesis and Transformation","author":"S. Ferr\u00e9","year":"2002","unstructured":"Ferr\u00e9, S., Ridoux, O.: A framework for developing embeddable customized logics. In: Pettorossi, A. (ed.) LOPSTR 2001. LNCS, vol.\u00a02372, pp. 191\u2013215. Springer, Heidelberg (2002)"},{"issue":"3","key":"9_CR10","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1016\/S0306-4573(03)00018-9","volume":"40","author":"S. Ferr\u00e9","year":"2004","unstructured":"Ferr\u00e9, S., Ridoux, O.: An introduction to logical information systems. Information Processing & Management\u00a040(3), 383\u2013419 (2004)","journal-title":"Information Processing & Management"},{"key":"9_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/3-540-44583-8_10","volume-title":"Conceptual Structures: Broadening the Base","author":"B. Ganter","year":"2001","unstructured":"Ganter, B., Kuznetsov, S.: Pattern structures and their projections. In: Delugach, H.S., Stumme, G. (eds.) ICCS 2001. LNCS (LNAI), vol.\u00a02120, pp. 129\u2013142. Springer, Heidelberg (2001)"},{"key":"9_CR12","unstructured":"Janton, P., Tonkin, H.: Esperanto: Language, Literature, and Community. State University of New York Press (1993)"},{"key":"9_CR13","unstructured":"Kaneiwa, K.: Negations in description logic - contraries, contradictories, and subcontraries. In: Dau, F., Mugnier, M.-L., Stumme, G. (eds.) Contributions to ICCS 2005, pp. 66\u201379. Kassel University Press GmbH (2005)"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Levesque, H.: All I know: a study in autoepistemic logic. Artificial Intelligence\u00a042(2) (March 1990)","DOI":"10.1016\/0004-3702(90)90056-6"},{"key":"9_CR15","unstructured":"Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: 12th International Joint Conference on Artificial Intelligence, pp. 381\u2013386 (1991)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"McCarthy, J.: Applications of circumscription to formalizing common sense knowledge. Artificial Intelligence\u00a028(1) (1986)","DOI":"10.1016\/0004-3702(86)90032-9"},{"issue":"1","key":"9_CR17","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R.C. Moore","year":"1985","unstructured":"Moore, R.C.: Semantical considerations on nonmonotonic logic. Artificial Intelligence\u00a025(1), 75\u201394 (1985)","journal-title":"Artificial Intelligence"},{"key":"9_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/3-540-45483-7_24","volume-title":"Conceptual Structures: Integration and Interfaces","author":"S.A. Obiedkov","year":"2002","unstructured":"Obiedkov, S.A.: Modal logic for evaluating formulas in incomplete contexts. In: Priss, U., Corbett, D.R., Angelova, G. (eds.) ICCS 2002. LNCS (LNAI), vol.\u00a02393, pp. 314\u2013325. Springer, Heidelberg (2002)"},{"key":"9_CR19","first-page":"153","volume":"5","author":"G.D. Plotkin","year":"1970","unstructured":"Plotkin, G.D.: A note on inductive generalization. Machine Intelligence\u00a05, 153\u2013163 (1970)","journal-title":"Machine Intelligence"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1007\/BFb0027881","volume-title":"Logical scaling in formal concept analysis","author":"S. Prediger","year":"1997","unstructured":"Prediger, S.: Logical scaling in formal concept analysis. LNCS, vol.\u00a01257, pp. 332\u2013341. Springer, Heidelberg (1997)"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10722086_30","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"R. Rosati","year":"2000","unstructured":"Rosati, R.: Tableau calculus for only knowing and knowing at most. In: Dyckhoff, R. (ed.) TABLEAUX 2000. LNCS, vol.\u00a01847. Springer, Heidelberg (2000)"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/10722280_22","volume-title":"Conceptual Structures: Logical, Linguistic, and Computational Issues","author":"R. Wille","year":"2000","unstructured":"Wille, R.: Boolean concept logic. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS, vol.\u00a01867, pp. 317\u2013331. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Formal Concept Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11671404_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:05:15Z","timestamp":1605643515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11671404_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540322030","9783540322047"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11671404_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}