First-order Answer Set Programming as Constructive Proof Search

We propose an interpretation of the first-order answer set programming (FOASP) in terms of intuitionistic proof theory. It is obtained by two polynomial translations between FOASP and the bounded-arity fragment of the Σ1 level of the Mints hierarchy in first-order intuitionistic logic. It follows th...

Celý popis

Podrobná bibliografie

Vydáno v:	Theory and practice of logic programming Ročník 18; číslo 3-4; s. 673 - 690
Hlavní autoři:	SCHUBERT, ALEKSY, URZYCZYN, PAWEŁ
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.07.2018
Témata:	Logic programming Mathematical programming Original Article Translations intuitionistic logic proof terms lambda calculus Answer set programming
ISSN:	1471-0684, 1475-3081
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!