The following pages link to (Q4013773):
Displaying 7 items.
- Soundness of abductive proof procedure with respect to constraint for non-ground abducibles (Q1274977) (← links)
- A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
- A Complexity Assessment for Queries Involving Sufficient and Necessary Causes (Q2938502) (← links)
- Short note preferred extensions are partial stable models (Q4015962) (← links)
- An abductive framework for extended logic programming (Q5101460) (← links)
- Explaining Preferences and Preferring Explanations (Q5172617) (← links)
- A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics (Q5958767) (← links)
