Verifying Tight Logic Programs with anthem and vampire

This paper continues the line of research aimed at investigating the relationship between logic programs and first-order theories. We extend the definition of program completion to programs with input and output in a subset of the input language of the ASP grounder gringo, study the relationship bet...

Full description

Saved in:

Bibliographic Details
Published in:	Theory and practice of logic programming Vol. 20; no. 5; pp. 735 - 750
Main Authors:	FANDINNO, JORGE, LIFSCHITZ, VLADIMIR, LÜHNE, PATRICK, SCHAUB, TORSTEN
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.09.2020
Subjects:	Logic programs Original Article Semantics Software Software development tools
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!