830 search results - page 14 / 166 » Topological Reasoning and The Logic of Knowledge |
FOSSACS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
DLOG
2008
13 years 9 months ago
2008
Abstract. Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage th...
IJAR
2006
13 years 7 months ago
2006
In spatial reasoning, in particular for applications in image understanding, structure recognition and computer vision, a lot of attention has to be paid to spatial relationships ...
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
SKG
2005
IEEE
14 years 1 months ago
2005
IEEE
: Fuzzy Cognitive Maps (FCMs) can represent and reason causal knowledge with stronger semantics. And the causal knowledge widely exists in Knowledge Grid. To provide information se...