Files: Description File size Format
Fulltext PDF (requires Acrobat Reader)
Fulltext PostScript (requires a PostScript Reader)
   
Authors: Laurent Chaudron and Nicolas Maille
Article title: 1st Order Logic Formal Concept Analysis: From Logic Programming to Theory
Publ. type: Article
Volume: 3
Article No: 13
Language: English
Abstract [en]: In this paper, we analyze and define the introduction of 1st order logic in Formal Concept Analysis (FCA); the aims are both theoretical (as a complete model is needed) and applied (so as to improve expression power of FCA as a knowledge mining tool and the relevance of its results).
   Our contribution consists in: i) the implementation of classical FCA in logic programming and the analysis of real cases, ii) the design of a complete 1st order FCA model, iii) the implementation of this 1st order FCA.
PDF
Publisher: Linköping University Electronic Press
Year: 1998
Available: 1998-09-23
No. of pages: 14
Series: Linköping Electronic Articles in Computer and Information Science
ISSN: 1401-9841
REFERENCE TO THIS PAGE:
Chaudron, Laurent and Maille, Nicolas (1998). 1st Order Logic Formal Concept Analysis: From Logic Programming to Theory in Linköping Electronic Articles in Computer and Information Science, Vol. 3. http://www.ep.liu.se/ea/cis/1998/013/. ()