14084 search results - page 230 / 2817 » A Theory for Game Theories |
141
click to vote
IJCAI
2003
15 years 8 months ago
2003
We propose a framework for simple causal theories of action, and study the computational complexity in it of various reasoning tasks such as determinism, progression and regressio...
151
click to vote
COLING
2000
15 years 8 months ago
2000
A generative statistical model of dependency syntax is proposed based on 'l'csniSre's classical theory. It provides a stochastic formalization of the original model...
159
click to vote
NIPS
2000
15 years 8 months ago
2000
We propose a general framework for performing independent component analysis (ICA) which relies on ensemble learning and linear response theory known from statistical physics. We ...
171
click to vote
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
142
click to vote
AI
2007
Springer
15 years 6 months ago
2007
Springer
Since belief revision deals with the interaction of belief and information over time, branching-time temporal logic seems a natural setting for a theory of belief change. We propo...