123 search results - page 20 / 25 » Semantic Generalisation and the Inference of Meaning |
167
click to vote
POPL
2006
ACM
15 years 9 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
TITB
2002
14 years 9 months ago
2002
The complex questions and analyses posed by biologists, as well as the diverse data resources they develop, require the fusion of evidence from different, independently developed ...
108
click to vote
KESAMSTA
2007
Springer
15 years 3 months ago
2007
Springer
This work proposes a framework for the design and development of Ontology Agents oriented to manage Rule Base Fuzzy Cognitive Maps (RBFCM). The approach takes into account the foun...
80
Voted
TLDI
2003
ACM
15 years 2 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
DLOG
2007
14 years 11 months ago
2007
Abstract. Concept approximation is an inference service for Description Logics that provides “translations” of concept descriptions from one DL to a less expressive DL. In [4] ...