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: 
19980923 
No. of pages: 
14 
Series: 
Linköping Electronic Articles in Computer and Information Science 
ISSN: 
14019841 
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/.
() 
