3005 search results - page 44 / 601 » Logical Information Systems: from Taxonomies to Logics |
100
click to vote
IJCAI
2001
15 years 1 months ago
2001
Text mining concerns the discovery of knowledge from unstructured textual data. One important task is the discovery of rules that relate specific words and phrases. Although exist...
102
click to vote
MIR
2005
ACM
15 years 5 months ago
2005
ACM
It is estimated that less than ten percent of the world’s species have been discovered and described. The main reason for the slow pace of new species description is that the sc...
101
click to vote
CADE
2008
Springer
16 years 4 days ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
TARK
1998
Springer
15 years 4 months ago
1998
Springer
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
127
click to vote
AAAI
1996
15 years 1 months ago
1996
We introduce a predictive concept recognition methodology for description logics based on a new closed terminology assumption. During knowledge engineering, our system adopts the ...