4573 search results - page 477 / 915 » Automated Reasoning |
156
click to vote
TIME
2007
IEEE
16 years 14 days ago
2007
IEEE
Computer science has long been considered to emphasize three distinct perspectives: mathematics, science, and engineering. While the database field has some very strong mathemati...
174
click to vote
TIME
2007
IEEE
16 years 14 days 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...
188
click to vote
TIME
2007
IEEE
16 years 14 days ago
2007
IEEE
Transaction-time temporal databases and query languages provide a solid framework for analyzing properties of queries over data streams. In this paper we focus on issues connected...
185
click to vote
ICCBR
2007
Springer
16 years 10 days ago
2007
Springer
This paper addresses the role of case-based reasoning in semantic search, and in particular, as it applies to Knowledge Sifter, an agent-based ontology-driven search system based o...
142
click to vote
ICLP
2007
Springer
16 years 10 days 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...