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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baselice, S., Bonatti, P.A., Gelfond, M.: Towards an Integration of Answer Set and Constraint Solving. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol. 3668, pp. 52–66. Springer, Heidelberg (2005)
Calimeri, F., Faber, W., Leone, N., Perri, S., Pfeifer, G.: DLV - declarative problem solving using answer set programming. In: Esposito, F. (ed.) AI*IA 2001. LNCS, vol. 2175. Springer, Heidelberg (2001)
Deakin KM Knowledge presenter Homepage, http://www.deakinkm.com
Eiter, T., Faber, W., Leone, N., Pfeifer, G.: The diagnosis frontend of the dlv system. AI Communications – The European Journal on Artificial Intelligence 12, 99–111 (1999)
Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A logic programming approach to knowledge-state planning, II: the small DLVK system. Artificial Intelligence 144(1-2), 157–211 (2003)
Erdem, E.: Theory and applications of answer set programming. PhD thesis, Technische Universität Wien (2002)
Erdem, E., Lifschitz, V., Ringe, D.: Temporal phylogenetic networks and logic programming. Theory and Practice of Logic Programming (2005)
Exam Builder e-learning solutions for professionals Homepage, http://www.exambuilder.com
Gelfond, M., Leone, N.: Logic programming and knowledge representation — the A-Prolog perspective. Artificial Intelligence 138(1-2), 3–38 (2002)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K. (eds.) Proceedings of the Fifth International Conference on Logic Programming, pp. 1070–1080. MIT Press, Cambridge (1988)
Ianni, G., Panetta, C., Ricca, F.: Specification of assessment-test criteria through ASP specifications. In: Vos, M.D., Provetti, A. (eds.) Answer Set Programming. CEUR Workshop Proceedings, vol. 142, CEUR-WS.org (2005)
IFIS. Homepage Assessment.Suite, http://www.assessment-suite.de/
InteLeC. Homepage InteLeC, http://im.uni-passau.de/intelec/
Lifschitz, V.: Introduction to answer set programming (Unpublished draft)
Lifschitz, V.: Action languages, answer sets and planning. In: The Logic Programming Paradigm (1999)
Niemelä, I., Simons, P.: Extending the Smodels system with cardinality and weight constraints. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, ch. 21, pp. 491–521. Kluwer Academic Publishers, Dordrecht (2000)
Niemelä, I., Simons, P., Syrjänen, T.: Smodels: a system for answer set programming. In: Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (cs.AI/0003073), Breckenridge, Colorado, USA (April 2000) cs.AI/0003033
Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M.: An A-Prolog Decision Support System for the Space Shuttle. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 169–183. Springer, Heidelberg (2001)
Soininen, T., Niemelä, I., Tiihonen, J., Sulonen, R.: Representing configuration knowledge with weight constraint rules. In: Proc. AAAI Spring Symp. on Answer Set Programming: Towards Efficient and Scalable Knowledge (2001)
Syrjänen, T.: Cardinality Constraint Programs. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 187–199. Springer, Heidelberg (2004)
Syrjänen, T.: Lparse 1.0 – User’s Manual
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schwaiger, P., Freitag, B. (2006). Using Answer Set Programming for the Automatic Compilation of Assessment Tests. In: Etalle, S., Truszczyński, M. (eds) Logic Programming. ICLP 2006. Lecture Notes in Computer Science, vol 4079. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11799573_23
Download citation
DOI: https://doi.org/10.1007/11799573_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36635-5
Online ISBN: 978-3-540-36636-2
eBook Packages: Computer ScienceComputer Science (R0)