Pages that link to "Item:Q4593057"
From MaRDI portal
The following pages link to Stable models for infinitary formulas with extensional atoms (Q4593057):
Displaying 4 items.
- Erratum to: ``Reasoning with infinite stable models'' (Q2389687) (← 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)
- Safe Formulas in the General Theory of Stable Models (Preliminary Report) (Q5504689) (← links)