356 search results - page 13 / 72 » Axiomatizing Causal Reasoning |
104
click to vote
ICALP
2001
Springer
15 years 4 months ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....
FLAIRS
2008
15 years 2 months ago
2008
In Artificial Intelligence, a crucial requirement is the ability to reason about actions and their effects on the environment. Traditional approaches which rely on classical logic...
AIPS
2004
15 years 1 months ago
2004
We address the issue of incorporating domain-specific preferences in planning systems, where a preference may be seen as a "soft" constraint that it is desirable, but no...
UAI
2003
15 years 1 months ago
2003
AAAI
1994
15 years 1 months ago
1994
