3970 search results - page 81 / 794 » A Logic For Causal Reasoning |
ASP
2001
Springer
13 years 11 months ago
2001
Springer
We propose a situation calculus formalization of action domains that include numeric-valued fluents (so-called additive or measure fluents) and concurrency. Our approach allows fo...
KDD
2008
ACM
14 years 8 months ago
2008
ACM
Researchers in the social and behavioral sciences routinely rely on quasi-experimental designs to discover knowledge from large databases. Quasi-experimental designs (QEDs) exploi...
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
CADE
2009
Springer
14 years 11 days ago
2009
Springer
