160
click to vote
DALT
2009
Springer
15 years 8 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
136
click to vote
DALT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We...
130
click to vote
DALT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Most previous logical accounts of goal change do not deal with prioritized goals and do not handle subgoals and their dynamics properly. Many are restricted to achievemen...
180
click to vote
DALT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Virtual characters in games operate in a social context involving other characters and human players. If such socially situated virtual characters are to be considered be...
