Pages that link to "Item:Q5947357"
From MaRDI portal
The following pages link to On the computation of the disjunctive well-founded semantics (Q5947357):
Displaying 5 items.
- Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA (Q1382158) (← links)
- Warsaw discs and semicomputability (Q1709073) (← links)
- Bottom-up computation of perfect models for disjunctive theories (Q3128528) (← links)
- (Q4798005) (← links)
- Comparisons and computation of well-founded semantics for disjunctive logic programs (Q5277723) (← links)