The return of \textit{xorro}

DOI10.1007/978-3-030-20528-7_21OpenAlexW2945270526MaRDI QIDQ2326736

Roland Kaminski, Torsten Schaub, Tomi Janhunen, Flavio Everardo

Publication date: 10 October 2019

Full work available at URL: https://doi.org/10.1007/978-3-030-20528-7_21

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items

Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version ⋮ xorro

Uses Software

• Gringo
• Chaff
• Potassco
• Clingo
• Harvey

This page was built for publication: The return of \textit{xorro}