11436 search results - page 584 / 2288 » Modeling Real Reasoning |
214
click to vote
TIME
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
163
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
202
click to vote
CONTEXT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The paper proposes a dialectic approach to exploit discrepancies of viewpoints for learning. The approach is illustrated with an elaborated example. A computational frame...
171
Voted
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Theoretical foundations and practical realizations of answer set solving techniques are vital research issues. The challenge lies in combining the elevated modeling capac...
184
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a novel approach to representing uncertain information in ontologies based on design patterns. We provide a brief description of our approach, present its use ...