1941 search results - page 140 / 389 » Reasoning about Computations Using Two-Levels of Logic |
256
click to vote
AMW
2011
14 years 7 months ago
2011
Since navigational aspects of XPath correspond to first-order definability, it has been proposed to use the analogy with the very successful technique of translating LTL into aut...
LREC
2008
15 years 4 months ago
2008
Many of the beliefs that one uses to reason about everyday entities and events are neither strictly true or even logically consistent. Rather, people appear to rely on a large bod...
125
click to vote
CORR
2010
Springer
15 years 25 days ago
2010
Springer
The paper presents a simple and concise proof of correctness of the magic transformation. We believe it may provide a useful example of formal reasoning about logic programs. The ...
152
Voted
CLIMA
2006
15 years 4 months ago
2006
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...
155
Voted
IFM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...