179 search results - page 21 / 36 » Implementing BDI-like Systems by Direct Execution |
ICLP
2005
Springer
15 years 5 months ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
100
click to vote
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
151
click to vote
ECOOP
1999
Springer
15 years 4 months ago
1999
Springer
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...
WSC
1997
15 years 1 months ago
1997
This paper studies activity cycle diagrams (ACD) for modeling construction processes using activities as the basic elements. An ACD is obtained by combining the activity cycles of...
182
click to vote
POPL
2007
ACM
16 years 1 hour ago
2007
ACM
In aspect-oriented programming, one can intercept events by writing patterns called pointcuts. The pointcut language of the most popular aspect-oriented programming language, Aspe...