Sciweavers

1710 search results - page 5 / 342
» High-Level Programs and Program Conditions
Sort
View
184
Voted
DALT
2007
Springer
15 years 12 months ago
Composing High-Level Plans for Declarative Agent Programming
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
Felipe Rech Meneguzzi, Michael Luck
167
Voted
ZUM
2005
Springer
143views Formal Methods» more  ZUM 2005»
15 years 11 months ago
Using B as a High Level Programming Language in an Industrial Project: Roissy VAL
Frédéric Badeau, Arnaud Amelot