Labelled Variables in Logic Programming: Foundations

   page       BibTeX_logo.png   
Camillo Fiorentini, Alberto Momigliano (a cura di)
CILC 2016 – Italian Conference on Computational Logic. Proceedings of the 31st Italian Conference on Computational Logic, pp. 5-20
CEUR Workshop Proceedings (AI*IA Series) 1645
CEUR-WS, Milano, Italy
20-22 June 2016

We define a new notion of truth for logic programs extended with labelled variables, interpreted in non-Herbrand domains.
There, usual terms maintain their Herbrand interpretations, whereas diverse domain-specific computational models depending on the local situation of the computing device can be expressed via suitably-tailored labelled models.
After some introductory examples, we define the theoretical model for labelled variables in logic programming (LVLP).
Then, we present both the fixpoint and the operational semantics, and discuss their correctness and completeness, as well as their equivalence.

parole chiavelabelled logic programming; labelled systems; formal semantics
evento origine
rivista o collana
book CEUR Workshop Proceedings (CEUR-WS.org)
funge da
pubblicazione di riferimento per presentazione
page_white_powerpointLabelled Variables in Logic Programming: Foundations (CILC 2016, 20/06/2016) — Roberta Calegari (Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini)