| 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/.
() |
|