@inproceedings{84bc1dc29bf74481afade3537986c39b,
title = "A Games Semantics of ASP",
abstract = "We present a games semantics of \ensuremathAnsProlog with single headed clauses. Using the semantics, we derive tools for the assistance of verification of programs and tools based on those programs, a well as proposing a solver that grounds on the fly.",
author = "Jonty Needham and {De Vos}, Marina",
year = "2007",
month = sep,
day = "8",
doi = "10.1007/978-3-540-74610-2_45",
language = "English",
isbn = "9783540746089",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "460--461",
booktitle = "Logic Programming - 23rd International Conference, ICLP 2007, Proceedings",
address = "Germany",
note = "23rd International Conference on Logic Programming, ICLP 2007 ; Conference date: 08-09-2007 Through 13-09-2007",
}