3970 search results - page 138 / 794 » A Logic For Causal Reasoning |
CL
2008
Springer
13 years 8 months ago
2008
Springer
RR
2010
Springer
13 years 6 months ago
2010
Springer
DLOG
2010
13 years 5 months ago
2010
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
Controlling the sensing of an environment by an agent has been accepted as necessary for effective operation within most practical domains. Usually, however, agents operate in par...
CADE
2008
Springer
14 years 8 months ago
2008
Springer
We consider proof systems for effectively propositional logic. First, we show that propositional resolution for effectively propositional logic may have exponentially longer refuta...