2395 search results - page 48 / 479 » Reasoning in Semantic Wikis |
EXPERT
2010
14 years 7 months ago
2010
FLAIRS
2004
14 years 11 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...
AAAI
1994
14 years 11 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...
104
click to vote
TPHOL
2009
IEEE
15 years 4 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...