Sciweavers

6 search results - page 2 / 2
» A Formally Verified OS Kernel. Now What
Sort
View
AAAI
2008
13 years 7 months ago
Semantical Considerations on Dialectical and Practical Commitments
This paper studies commitments in multiagent systems. A dialectical commitment corresponds to an agent taking a position about a putative fact, including for the sake of argument....
Munindar P. Singh