Pages that link to "Item:Q4327428"
From MaRDI portal
The following pages link to On the equivalence of semantics for normal logic programs (Q4327428):
Displaying 9 items.
- Iterative belief revision in extended logic programming (Q672058) (← links)
- Expressive power and complexity of partial models for disjunctive deductive databases (Q1274974) (← links)
- Soundness of abductive proof procedure with respect to constraint for non-ground abducibles (Q1274977) (← links)
- The expressive powers of stable models for bound and unbound DATALOG queries (Q1362337) (← links)
- A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
- Functional queries in datalog (Q1862647) (← links)
- On the equivalence between logic programming semantics and argumentation semantics (Q2344367) (← links)
- Oscillating Behavior of Logic Programs (Q2900531) (← 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)
