1588 search results - page 34 / 318 » Modular action language |
122
click to vote
AAAI
2008
15 years 3 months ago
2008
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
120
click to vote
CAEPIA
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
215
click to vote
PADL
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...
116
click to vote
ASPDAC
2001
ACM
15 years 6 months ago
2001
ACM
This paper describes a novel approach to high-level synthesis of complex pipelined circuits, including pipelined circuits with feedback. This approach combines a high-level, modula...
147
click to vote
APN
1992
Springer
15 years 6 months ago
1992
Springer
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...