4595 search results - page 37 / 919 » Reasoning about Plans |
144
click to vote
HEURISTICS
2006
15 years 4 months ago
2006
Many real life optimization problems are defined in terms of both hard and soft constraints, and qualitative conditional preferences. However, there is as yet no single framework f...
124
click to vote
ENTCS
2007
15 years 4 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
127
click to vote
AAAI
2011
14 years 4 months ago
2011
Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learning—without human intervention...
140
click to vote
CSFW
2003
IEEE
15 years 9 months ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
142
click to vote
UAI
1994
15 years 5 months ago
1994
A logic is de ned that allows to express information about statistical probabilities and about degrees of belief in speci c propositions. By interpreting the twotypes of probabili...