356 search results - page 13 / 72 » Axiomatizing Causal Reasoning |
208
Voted
ICALP
2001
Springer
16 years 4 days 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)....
191
click to vote
FLAIRS
2008
15 years 10 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...
190
Voted
AIPS
2004
15 years 9 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...
