Pages that link to "Item:Q3128616"
From MaRDI portal
The following pages link to Extending negation as failure by abduction: A three-valued stable model semantics (Q3128616):
Displayed 3 items.
- Soundness of abductive proof procedure with respect to constraint for non-ground abducibles (Q1274977) (← links)
- Abduction in logic programming: A new definition and an abductive procedure based on rewriting (Q1614866) (← 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)