13 search results - page 1 / 3 » Incremental Individual Reasoning in ProtoDL |
DLOG
1997
13 years 6 months ago
1997
OTM
2005
Springer
13 years 11 months ago
2005
Springer
Several applications require reasoning over autonomously developed ontologies. Initially conceived to explicit the semantics of a certain domain, these ontologies become a powerfu...
COGSCI
2002
13 years 5 months ago
2002
Four experiments examined the strategies that individuals develop in sentential reasoning. They led to the discovery of five different strategies. According to the theory proposed...
POPL
2005
ACM
14 years 5 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
DLOG
2003
13 years 7 months ago
2003
Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...