50 search results - page 3 / 10 » (De)Composition of Situation Calculus Theories |
KRDB
2001
13 years 8 months ago
2001
DBPL
2003
Springer
14 years 18 days ago
2003
Springer
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
AMAI
2004
Springer
13 years 7 months ago
2004
Springer
Sequential von Neumann-Morgernstern (VM) games are a very general formalism for representing multi-agent interactions and planning problems in a variety of types of environments. ...
LOGCOM
2007
13 years 7 months ago
2007
Structural causal models offer a popular framework for exploring causal concepts. However, due to their limited expressiveness, structural models have difficulties coping with su...
LOGCOM
2007
13 years 7 months ago
2007
Shapiro et al. [2005; 2006], presented a framework for representing goal change in the situation calculus. In that framework, agents adopt a goal when requested to do so (by some ...