519 search results - page 52 / 104 » Qualitative choice logic |
139
click to vote
FSTTCS
2007
Springer
16 years 4 days ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
160
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
141
click to vote
FUZZIEEE
2007
IEEE
16 years 9 days ago
2007
IEEE
— A trend is emerging in the fields of ambient intelligence (AmI) and autonomous robotics, which points in the direction of a merger between these two fields. The inclusion of ...
169
click to vote
ROBOCUP
2000
Springer
15 years 9 months ago
2000
Springer
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
186
click to vote
AMAI
2004
Springer
15 years 5 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...