Pages that link to "Item:Q4592970"
From MaRDI portal
The following pages link to On equivalence of infinitary formulas under the stable model semantics (Q4592970):
Displaying 6 items.
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms (Q2124445) (← links)
- Forgetting auxiliary atoms in forks (Q2321342) (← links)
- Infinitary equilibrium logic and strongly equivalent logic programs (Q2407875) (← links)
- Infinitary Equilibrium Logic and Strong Equivalence (Q3449222) (← links)
- Proving infinitary formulas (Q4593059) (← links)
- Gelfond-Zhang aggregates as propositional formulas (Q5919599) (← links)
