Sciweavers

3455 search results - page 360 / 691
» Generalized Game Trees
Sort
View
ATAL
2007
Springer
16 years 29 days ago
A framework for reasoning about rational agents
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
Wojciech Jamroga, Nils Bulling
ESWS
2007
Springer
16 years 28 days ago
Measuring Inconsistencies in Ontologies
Abstract. In this paper, we propose a novel approach to measure inconsistencies in ontologies based on Shapley values, which are originally proposed for game theory. This measure c...
Xi Deng, Volker Haarslev, Nematollaah Shiri
SIGCSE
2005
ACM
180views Education» more  SIGCSE 2005»
16 years 10 days ago
Analyze that: puzzles and analysis of algorithms
The paper advocates a wider use of puzzles and puzzle-like games in teaching the analysis of algorithms. It discusses many specific examples—from classic puzzles of recreational...
Anany Levitin
SIGECOM
2004
ACM
127views ECommerce» more  SIGECOM 2004»
16 years 6 days ago
HYRIWYG: leveraging personalization to elicit honest recommendations
This paper presents HYRIWYG (How You Rate Influences What You Get), a reputation system applicable to Internet Recommendation Systems (RS). The novelty lies in the incentive mecha...
Ana Cristina Bicharra Garcia, Martin Ekstrom, Hans...
HICSS
2003
IEEE
207views Biometrics» more  HICSS 2003»
16 years 2 days ago
Multi-Agent Systems and Microeconomic Theory: A Negotiation Approach to Solve Scheduling Problems in High Dynamic Environments
Microeconomics offer a far developed theory on the subject of rational choice. This theory is applied to a multi-agent system, which has been modeled in order to establish schedul...
Hans Czap, Marc Becker