3546 search results - page 4 / 710 » A Causal Logic of Logic Programming |
AAAI
2007
13 years 9 months ago
2007
Forgetting irrelevant/problematic actions in a domain description can be useful in solving reasoning problems, such as query answering, planning, conflict resolution, prediction,...
IJCAI
2007
13 years 9 months ago
2007
We first provide a mapping from Pearce’s equilibrium logic and Ferraris’s general logic programs to Lin and Shoham’s logic of knowledge and justified assumptions, a nonmon...
FLAIRS
2003
13 years 8 months ago
2003
Hybrid logic nets contain nodes that exhibit recurrent characteristics, in that a node output shows temporal tendencies even when the inputs are constant (Al-Dabass et al. 1999a a...
LPNMR
2004
Springer
14 years 25 days ago
2004
Springer
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...
KR
2010
Springer
14 years 7 days ago
2010
Springer
While type causality helps us to understand general relationships such as the etiology of a disease (smoking causing lung cancer), token causality aims to explain causal connectio...