4224 search results - page 363 / 845 » Reasoning about Choice |
219
click to vote
AAAI
2000
15 years 9 months ago
2000
We present a general algorithm for synthesizing state invariants that speed up automated planners and have other applications in reasoning about change. Invariants are facts that ...
196
click to vote
EACL
1993
ACL Anthology
15 years 9 months ago
1993
ACL Anthology
To respond to an utterance, a listener must interpret what others have said and why they have said it. Misunderstandings occur when agents differ in their beliefs about what has b...
199
click to vote
IJCAI
1993
15 years 9 months ago
1993
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
165
Voted
NIPS
1996
15 years 9 months ago
1996
This paper compares three penalty terms with respect to the efficiency of supervised learning, by using first- and second-order learning algorithms. Our experiments showed that fo...
192
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Many forms of reasoning about actions and planning can be reduced to regression, the computation of the weakest precondition a state has to satisfy to guarantee the satisfaction of...