UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

A logical approach to A-Prolog

Osorio, M; Pérez, JAN; Arrazola, J; (2002) A logical approach to A-Prolog. Electronic Notes in Theoretical Computer Science , 67 284 - 295. 10.1016/S1571-0661(04)80554-1. Green open access

[img]
Preview
PDF
wollic02.pdf

Download (225kB)

Abstract

It has been recently provided a characterization of Answer Sets by intuitionistic logic as follows: a literal is entailed by a program in the stable model semantics if and only if it belongs to every intuitionistically complete and consistent extension of the program formed by adding only negated literals. We show that if we replace intuitionistic logic by any si-logic the result still holds.

Type: Article
Title: A logical approach to A-Prolog
Open access status: An open access version is available from UCL Discovery
DOI: 10.1016/S1571-0661(04)80554-1
Publisher version: http://dx.doi.org/10.1016/S1571-0661(04)80554-1
Language: English
Additional information: This is an Elsevier Open Access article.
Keywords: answer sets; A-prolog; stable semantics
UCL classification: UCL > School of BEAMS > Faculty of Engineering Science > Computer Science
URI: http://discovery.ucl.ac.uk/id/eprint/1361362
Downloads since deposit
18Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item