536 search results - page 30 / 108 » From Formal Concept Analysis to Contextual Logic |
136
click to vote
ICFCA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Managing knowledge is a difficult and slippery enterprise. A wide variety of technologies have to be invoked in providing support for knowledge requirements, ranging fro...
185
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
This work proposes a system process for extracting automatically a fuzzy ontology from a collection of web resources. The approach exploits the Formal Concept Analysis theory for ...
190
click to vote
NDJFL
2010
15 years 26 days ago
2010
The question of the origin of polyadic expressivity is explored and the results are brought to bear on Bertrand Russell's 1903 theory of denoting concepts, which is the main o...
157
click to vote
SAS
2000
Springer
15 years 9 months ago
2000
Springer
Design constraints express essential behavioural properties of a software system. Two key elements of a scheme for enforcing design constraints are presented: a logic for describin...
165
click to vote
SAS
2001
Springer
15 years 10 months ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...