1127 search results - page 12 / 226 » Theory Extension in ACL2(r) |
86
Voted
JELIA
2004
Springer
15 years 5 months ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
ICALP
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. We introduce the notion of regular cost functions: a quantitative extension to the standard theory of regular languages. We provide equivalent characterisations of this n...
ICRA
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper reports the mechanical design, structural analysis, and experimental veri cation of a new high performance semi-direct drive robot arm. A design optimization methodolog...
79
Voted
JSYML
2002
14 years 11 months ago
2002
f orderings provide an abstract framework in which to study spaces of orderings of formally real fields. Spaces of orderings of finite chain length are well understood [9] [12]. Th...
104
Voted
DALT
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...