3546 search results - page 10 / 710 » A Causal Logic of Logic Programming |
70
Voted
LPNMR
2005
Springer
15 years 3 months ago
2005
Springer
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonic reasoning and knowledge repr...
TIME
1998
IEEE
15 years 1 months ago
1998
IEEE
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...
APLAS
2010
ACM
14 years 9 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
CONCUR
1991
Springer
15 years 1 months ago
1991
Springer
