Sciweavers

1683 search results - page 137 / 337
» Game Theory Basics
Sort
View
212
Voted
SIGMOD
2005
ACM
99views Database» more  SIGMOD 2005»
16 years 4 months ago
Query answering exploiting structural properties
We review the notion of hypertree width, a measure of the degree of cyclicity of hypergraphs that is useful for identifying and solving efficiently easy instances of hard problems...
Francesco Scarcello
123
Voted
ATAL
2007
Springer
15 years 10 months 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
HICSS
2000
IEEE
112views Biometrics» more  HICSS 2000»
15 years 9 months ago
Trust is Much More Than Subjective Probability: Mental Components and Sources of Trust
In this paper we claim the importance of a cognitive view of trust (its articulate, analytic and founded view), in contrast with a mere quantitative and opaque view of trust suppo...
Cristiano Castelfranchi, Rino Falcone
LICS
2000
IEEE
15 years 9 months ago
The Role of Decidability in First Order Separations over Classes of Finite Structures
We establish that the decidability of the first order theory of a class of finite structures ¢ is a simple and useful condition for guaranteeing that the expressive power of FO...
Steven Lindell, Scott Weinstein
W2GIS
2007
Springer
15 years 10 months ago
A Theoretical Grounding for Semantic Descriptions of Place
This paper is motivated by the problem of how to provide better access to ever enlarging collections of digital images. The paper opens by examining the concept of place in geograp...
Alistair J. Edwardes, Ross S. Purves