Sciweavers

14084 search results - page 101 / 2817
» A Theory for Game Theories
Sort
View
ATAL
2008
Springer
13 years 10 months ago
Towards agents participating in realistic multi-unit sealed-bid auctions
When autonomous agents decide on their bidding strategies in real world auctions, they have a number of concerns that go beyond the models that are normally analyzed in traditiona...
Ioannis A. Vetsikas, Nicholas R. Jennings
AML
2008
53views more  AML 2008»
13 years 8 months ago
Pairs, sets and sequences in first-order theories
In this paper we study the idea of theories with containers, like sets, pairs, sequences. We provide a modest framework to study such theories. We prove two concrete results. Firs...
Albert Visser
NIL
1991
13 years 11 months ago
Normal Form Results for Default Logic
In this paper we continue investigations of proof theory of default logic. It turns out that, similarly to classical logic, default theories can be represented in normal forms.
V. Wiktor Marek, Miroslaw Truszczynski
CADE
1992
Springer
14 years 6 days ago
Little Theories
In the "little theories" version of the axiomatic method, different portions of mathematics are developed in various different formal axiomatic theories. Axiomatic theor...
William M. Farmer, Joshua D. Guttman, F. Javier Th...
ATAL
2006
Springer
13 years 12 months ago
The communication complexity of coalition formation among autonomous agents
It is self-evident that in numerous Multiagent settings, selfish agents stand to benefit from cooperating by forming coalitions. Nevertheless, negotiating a stable distribution of...
Ariel D. Procaccia, Jeffrey S. Rosenschein