The following pages link to Patrick Lühne (Q2326734):
Displayed 5 items.
- Verifying strong equivalence of programs in the input language of \textsc{gringo} (Q2326735) (← links)
- plasp 3: towards effective ASP planning (Q2401946) (← links)
- plasp 3: Towards Effective ASP Planning (Q4957186) (← links)
- Towards Verifying Logic Programs in the Input Language of clingo (Q5049051) (← links)
- Verifying Tight Logic Programs with anthem and vampire (Q5140011) (← links)