1536 search results - page 144 / 308 » The Underlying Logic of Hoare Logic |
158
click to vote
CAV
2007
Springer
16 years 17 days ago
2007
Springer
In this paper we propose a complete chain for synthesizing controllers from high-level specifications. From real-time properties expressed in the logic MTL we generate, under boun...
184
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
This paper shows how to achieve, under certain conditions, abstract-interpretation ms that enjoy the best possible precision for a given abstraction. The key idea is a simple proce...
177
click to vote
VL
1999
IEEE
15 years 10 months ago
1999
IEEE
Isaac is a rule-based language for mobile robots currently under development at NMSU. A successor to Altaira, it replaces Altaira's state-based rules and tile-based navigatio...
164
click to vote
ICTAI
1996
IEEE
15 years 10 months ago
1996
IEEE
We present a mechanism for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing ...
174
click to vote
DLOG
2007
15 years 8 months ago
2007
We develop a formal framework for modular ontologies by analysing four notions of conservative extensions and their applications in refining, re-using, merging, and segmenting ont...