Using Answer Set Programming for the Automatic Compilation of Assessment Tests

DOI10.1007/11799573_23MaRDI QIDQ5449609zbMATH OpenOpenAlexFDO

Authors Petra Schwaiger, Burkhard Freitag

Publication date 11 March 2008

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11799573_23

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• On testing answer-set programs
• Knowledge Representation, Reasoning and Declarative Problem Solving
• The Seventh Answer Set Programming Competition: Design and Results
• Answer set programming
• Answer Set Programming: A Primer

Describes a project that uses

Uses Software

• Smodels

This page was built for publication: Using Answer Set Programming for the Automatic Compilation of Assessment Tests

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5449609)