Using answer set programming for the automatic compilation of assessment tests

Authors:
Petra Schwaiger;Burkhard Freitag
Affiliations:
University of Passau, Germany;University of Passau, Germany
Venue:
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Year:
2006

Citing 8
Cited 0

Extending the Smodels system with cardinality and weight constraints

Logic-based artificial intelligence
Logic programming and knowledge representation-the A-prolog perspective

Artificial Intelligence
An A-Prolog Decision Support System for the Space Shuttle

PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
A logic programming approach to knowledge-state planning, II: the DLVk system

Artificial Intelligence
Theory and applications of answer set programming

Theory and applications of answer set programming
Temporal phylogenetic networks and logic programming

Theory and Practice of Logic Programming
The Diagnosis Frontend of the dlv system

AI Communications
Towards an integration of answer set and constraint solving

ICLP'05 Proceedings of the 21st international conference on Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Life-long learning is more and more playing a key role for economical, personal and social success. Therefore the management and development of skills and knowledge is of premier importance in industry and, on the other hand, a major expense factor. So called examination management systems assist teachers and trainers through an automatic compilation of documents, in particular assessment tests, based on user defined requirements and constraints and thus help reduce costs. In this paper we present and discuss a solution of the underlying general problem using Answer Set Programming and show the power and advantages of our approach.