599 search results - page 106 / 120 » Integrating answer set programming and constraint logic prog... |
130
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
148
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
117
Voted
PERCOM
2009
ACM
15 years 10 months ago
2009
ACM
—We present a middleware platform for assembling pervasive applications that demand fault-tolerance and adaptivity in distributed, dynamic environments. Unlike typical adaptive m...
118
Voted
KI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
157
click to vote
AAMAS
1999
Springer
15 years 3 months ago
1999
Springer
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...