2291 search results - page 291 / 459 » Representational Reasoning and Verification |
CADE
2007
Springer
14 years 10 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
FSEN
2009
Springer
14 years 5 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
TIME
2006
IEEE
14 years 4 months ago
2006
IEEE
Published in: Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME-06), Budapest, Hungary, June 2006. IEEE Computer Society Press. Real-w...
TIME
2005
IEEE
14 years 4 months ago
2005
IEEE
Historical information can be effectively preserved using XML and searched through powerful historical queries written in XQuery. Indeed, by storing the successive versions of a d...
BIRTHDAY
2005
Springer
14 years 4 months ago
2005
Springer
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...