4555 search results - page 20 / 911 » Deductive Algorithmic Knowledge |
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...
CVPR
2008
IEEE
14 years 11 months ago
2008
IEEE
Tensor based dimensionality reduction has recently been extensively studied for computer vision applications. To our knowledge, however, there exist no rigorous error analysis on ...
ICAIL
2007
ACM
14 years 28 days ago
2007
ACM
Ontologies in a legal expert system must be processed to suit all possible user cases within the field of law of the system. From the logical premises of a deductive system of expr...
EUC
2005
Springer
14 years 2 months ago
2005
Springer
Advanced analysis of data for extracting useful knowledge is the next natural step in the world of ubiquitous computing. So far, most of the ubiquitous systems process knowledge in...
ICEIS
2010
IEEE
13 years 7 months ago
2010
IEEE
This paper presents a graph-based knowledge representation and reasoning language. This language benefits from an important syntactic operation, which is called a graph homomorphi...