A games semantics of ASP

  • Authors:

  • Jonty Needham;Marina De Vos

  • Affiliations:

  • University of Bath;University of Bath

  • Venue:
  • ICLP'07 Proceedings of the 23rd international conference on Logic programming
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present a games semantics of AnsPrologwith 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.