Pages that link to "Item:Q5424870"
From MaRDI portal
The following pages link to Logic Programming and Nonmonotonic Reasoning (Q5424870):
Displaying 7 items.
- Nonmonotonic causal theories (Q814551) (← links)
- ASSAT: computing answer sets of a logic program by SAT solvers (Q814607) (← links)
- On the logic of causal explanation (Q1127347) (← links)
- On the Hsiao definition of non-causality (Q1978520) (← links)
- Loop formulas for circumscription (Q2457644) (← links)
- Representing first-order causal theories by logic programs (Q2909525) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424866) (← links)