Pages that link to "Item:Q975880"
From MaRDI portal
The following pages link to Equivalence for the \(G_3^\prime\)-stable models semantics (Q975880):
Displaying 4 items.
- The pursuit of an implication for the logics L3A and L3B (Q1689566) (← links)
- On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics (Q2851269) (← links)
- On equivalence of infinitary formulas under the stable model semantics (Q4592970) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424873) (← links)