3573 search results - page 70 / 715 » Reasoning about Codata |
ATAL
2011
Springer
13 years 11 months ago
2011
Springer
178
click to vote
CONCUR
2011
Springer
13 years 11 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
ARGMAS
2005
Springer
15 years 4 months ago
2005
Springer
One form of argument-based negotiation is when agents argue about why an offer was rejected. If an agent can state a reason for a rejection of an offer, the negotiation process m...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
In strategic multiagent decision making, it is often the case that a strategic reasoner must hold beliefs about other agents and use these beliefs to inform its decision making. T...
KR
2004
Springer
15 years 4 months ago
2004
Springer
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...