Pages that link to "Item:Q1200977"
From MaRDI portal
The following pages link to On the relations between stable and well-founded semantics of logic programs (Q1200977):
Displayed 7 items.
- Tie-breaking semantics and structural totality (Q676419) (← links)
- Magic Sets and their application to data integration (Q882436) (← links)
- Soundness of abductive proof procedure with respect to constraint for non-ground abducibles (Q1274977) (← links)
- Abduction from logic programs: Semantics and complexity (Q1389684) (← links)
- A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games (Q1855240) (← 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)