A Games Semantics of ASP

Download PDF
Open Webpage

Jonty Needham, Marina De Vos

Published: 01 Jan 2007, Last Modified: 28 Jun 2024ICLP 2007EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: We present a games semantics of \({\ensuremath{\mathit AnsProlog}}\) 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.