Pages that link to "Item:Q2326735"
From MaRDI portal
The following pages link to Verifying strong equivalence of programs in the input language of \textsc{gringo} (Q2326735):
Displayed 8 items.
- Transforming gringo rules into formulas in a natural way (Q2055818) (← links)
- Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version (Q2133436) (← links)
- (Q5020971) (← links)
- Strong Equivalence of Logic Programs with Counting (Q5038462) (← links)
- Towards Verifying Logic Programs in the Input Language of clingo (Q5049051) (← links)
- Verifying Tight Logic Programs with anthem and vampire (Q5140011) (← links)
- Here and There with Arithmetic (Q6063863) (← links)
- Answer set programming made easy (Q6175107) (← links)