2012 search results - page 139 / 403 » CORAL - Control, Relations and Logic |
160
click to vote
TARK
2009
Springer
16 years 1 months ago
2009
Springer
Brandenburger, Friedenberg, and Keisler provide an epistemic characterization of iterated admissibility (i.e., iterated deletion of weakly dominated strategies) where uncertainty ...
177
click to vote
ATAL
2007
Springer
16 years 20 days ago
2007
Springer
We present a novel approach to knowledge-based automated oneshot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
171
click to vote
ECSQARU
2007
Springer
16 years 19 days ago
2007
Springer
This paper presents a new approach to inference in Bayesian networks. The principal idea is to encode the network by logical sentences and to compile the resulting encoding into an...
157
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
176
click to vote
LOPSTR
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...