2395 search results - page 48 / 479 » Reasoning in Semantic Wikis |
176
click to vote
FLAIRS
2004
15 years 8 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...
148
click to vote
AAAI
1994
15 years 8 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...
211
click to vote
TPHOL
2009
IEEE
16 years 1 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...