Mostra el registre d'ítem simple
Semantics of structured normal logic programs
dc.contributor.author | Pasarella Sánchez, Ana Edelmira |
dc.contributor.author | Orejas Valdés, Fernando |
dc.contributor.author | Pino Blanco, Elvira |
dc.contributor.author | Navarro, Marisa |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
dc.date.accessioned | 2013-05-31T09:12:23Z |
dc.date.available | 2013-05-31T09:12:23Z |
dc.date.created | 2012 |
dc.date.issued | 2012 |
dc.identifier.citation | Pasarella, A.E. [et al.]. Semantics of structured normal logic programs. A: Jornadas sobre Programación y Lenguajes. "XII Jornadas sobre programación y lenguajes (Sistedes 2012)". Almeria: 2012, p. 159-160. |
dc.identifier.isbn | 978-84-15487-27-2 |
dc.identifier.uri | http://hdl.handle.net/2117/19468 |
dc.description.abstract | In this paper we provide semantics for normal logic programs enriched with structuring mechanisms and scoping rules. Specifically, we consider constructive negation and expressions of the form Q G Q in goals, where Q is a program unit, G is a goal and stands for the so-called embedded implication. Allowing the use of these expressions can be seen as adding block structuring to logic programs. In this context, we consider static and dynamic rules for visibility in blocks. In particular, we provide new semantic definitions for the class of normal logic programs with both visibility rules. For the dynamic case we follow a standard approach. We first propose an operational semantics. Then, we define a model-theoretic semantics in terms of ordered structures which are a kind of intuitionistic Beth structures. Finally, an (effective) fixpoint semantics is provided and we prove the equivalence of these three definitions. In order to deal with the static case, we first define an operational semantics and then we present an alternative semantics in terms of a transformation of the given structured programs into flat ones. We finish by showing that this transformation preserves the computed answers of the given static program. |
dc.format.extent | 2 p. |
dc.language.iso | eng |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject.lcsh | Logic programming |
dc.subject.lcsh | Programming languages (Electronic computers) -- Semantics |
dc.subject.other | Semantics |
dc.subject.other | Normal logic programs |
dc.subject.other | Embedded implication |
dc.subject.other | Visibility rules |
dc.subject.other | Structuring mechanism |
dc.subject.other | Intuitionistic structures |
dc.title | Semantics of structured normal logic programs |
dc.type | Conference report |
dc.subject.lemac | Programació lògica |
dc.subject.lemac | Llenguatges de programació -- Semàntica |
dc.contributor.group | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.identifier.dl | AL 673-2012 |
dc.description.peerreviewed | Peer Reviewed |
dc.rights.access | Open Access |
local.identifier.drac | 11634875 |
dc.description.version | Postprint (published version) |
local.citation.author | Pasarella, A.E.; Orejas, F.; Pino, E.; Navarro, M. |
local.citation.contributor | Jornadas sobre Programación y Lenguajes |
local.citation.pubplace | Almeria |
local.citation.publicationName | XII Jornadas sobre programación y lenguajes (Sistedes 2012) |
local.citation.startingPage | 159 |
local.citation.endingPage | 160 |