7335 search results - page 875 / 1467 » Scene Based Reasoning |
185
click to vote
LPAR
2005
Springer
16 years 17 days ago
2005
Springer
In this paper the Recursive Path Ordering is adapted for proving termination of rewriting incrementally. The new ordering, called Recursive Path Ordering with Modules, has as ingre...
171
click to vote
LPAR
2005
Springer
16 years 17 days ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...
183
click to vote
LPNMR
2005
Springer
16 years 17 days ago
2005
Springer
We present a monitoring tool for plan execution in non-deterministic environments, which are described in an action language, based on non-monotonic logic programming. Thanks to it...
202
click to vote
PPSWR
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. In this paper we define the basic concepts for a general language for evolution and reactivity in the Semantic Web. We do this by exposing an UML model that specifies a...
168
click to vote
TARK
2005
Springer
16 years 17 days ago
2005
Springer
We analyze a model of interactive unawareness introduced by Heifetz, Meier and Schipper (HMS). We consider two axiomatizations for their model, which capture different notions of ...