2395 search results - page 48 / 479 » Reasoning in Semantic Wikis |
132
Voted
FLAIRS
2004
15 years 5 months ago
2004
We discuss description and reasoning over regions. We have proposed a system called SRCC that integrates integration of spatial and semantic data. SRCC can describe and reason abo...
111
Voted
AAAI
1994
15 years 5 months ago
1994
A possible worlds semantics for model-based spatial reasoning is presented. In this semantics, worlds are characterized by the alternative states that result from indeterminacy or...
162
Voted
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...