573 search results - page 55 / 115 » Planning as Satisfiability with Preferences |
JAIR
2008
13 years 7 months ago
2008
This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan) model. This model allows the specification of heterogeneous...
TARK
2007
Springer
14 years 1 months ago
2007
Springer
A classical result in voting theory, the Gibbard-Satterthwaite Theorem, states that for any non-dictatorial voting rule for choosing between three or more candidates, there will b...
SCW
2012
IEEE
12 years 3 months ago
2012
IEEE
For a change in prices, the common-scaling social cost-of-living index is the equal scaling of each individual’s expenditure level needed to restore the level of social welfare ...
IJCAI
1989
13 years 9 months ago
1989
Mechanical systems, of the kinds which are of interest for qualitative reasoning, are characterized by a set of real-valued parameters, each of which is a piecewise continuous fun...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
Decentralized partially observable Markov decision processes (Dec-POMDPs) constitute a generic and expressive framework for multiagent planning under uncertainty. However, plannin...