2649 search results - page 312 / 530 » Temporal Theories of Reasoning |
118
Voted
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We show how protocols can be derived from norms using landmarks. The resulting protocols can be used by agents to fulfill the norms governing an e-institution without having to h...
118
Voted
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Interdependent values (IDV) is a valuation model allowing bidders in an auction to express their value for the item(s) to sell as a function of the other bidders’ information. W...
126
Voted
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We present a powerful new account of multi-agent knowledge in the situation calculus and an effective reasoning procedure for handling knowledge queries. Our approach generalizes...
148
click to vote
TARK
2007
Springer
15 years 10 months ago
2007
Springer
Most work in game theory assumes that players are perfect reasoners and have common knowledge of all significant aspects of the game. In earlier work [Halpern and Rˆego 2006], w...
144
Voted
ICAIL
2005
ACM
15 years 10 months ago
2005
ACM
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...