892 search results - page 76 / 179 » Strategies in sentential reasoning |
118
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
We suggest that extending Muller games with preference ordering for players is a natural way to reason about unbounded duration games. In this context, we look at the standard solu...
142
click to vote
LORI
2009
Springer
15 years 11 months ago
2009
Springer
We introduce Coalition Logic for Resource Games (CLRG) which extends Coalition Logic by allowing explicit reasoning about resource endowments of coalitions of agents and resource b...
143
click to vote
LOPSTR
2007
Springer
15 years 10 months ago
2007
Springer
We propose an extension of Constraint Handling Rules (CHR) with aggregates such as sum, count, findall, and min. This new feature significantly improves the conciseness and expres...
122
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
We present a new answer set solver, called nomore++, along with its underlying theoretical foundations. A distinguishing feature is that it treats heads and bodies equitably as com...
125
click to vote
CIVR
2004
Springer
15 years 10 months ago
2004
Springer
One of the challenges in image and video retrieval is the content-based retrieval of images and videos in the web. Less work has been done in this area, mainly due to scalability i...