Sciweavers

549 search results - page 22 / 110
» Rationality in the Full-Information Model
Sort
View
ATAL
2004
Springer
14 years 1 months ago
Reasoning about Rationality and Beliefs
In order to succeed, agents playing games must reason about the mechanics of the game, the strategies of other agents, other agents’ reasoning about their strategies, and the ra...
Ya'akov Gal, Avi Pfeffer
IFL
2004
Springer
138views Formal Methods» more  IFL 2004»
14 years 1 months ago
A Rational Deconstruction of Landin's SECD Machine
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
Olivier Danvy
ECAI
2006
Springer
13 years 11 months ago
An Automated Agent for Bilateral Negotiation with Bounded Rational Agents with Incomplete Information
Many day-to-day tasks require negotiation, mostly under conditions of incomplete information. In particular, the opponent's exact tradeoff between different offers is usually ...
Raz Lin, Sarit Kraus, Jonathan Wilkenfeld, James B...
ENTCS
2006
124views more  ENTCS 2006»
13 years 7 months ago
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals
Abstract. Nelson and Oppen provided a methodology for modularly combining decision procedures for individual theories to construct a decision procedure for a combination of theorie...
Shuvendu K. Lahiri, Madanlal Musuvathi
IEEECIT
2010
IEEE
13 years 6 months ago
A Recognizer of Rational Trace Languages
—The relevance of instruction parallelization and optimal event scheduling is currently increasing. In particular, because of the high amount of computational power available tod...
Federico Maggi