Labelled Variables in Logic Programming: Foundations


Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini

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

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.

(keywords) labelled logic programming; labelled systems; formal semantics
 @inproceedings{lvlp-cilc2016,
Address = {Milano, Italy},
Author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
Booktitle = {CILC 2016 – Italian Conference on Computational Logic. Proceedings of the 31st Italian Conference on Computational Logic},
Editor = {Fiorentini, Camillo and Momigliano, Alberto},
Keywords = {labelled logic programming; labelled systems; formal semantics},
Month = {20-22~} # jun,
Note = {Proceedings of the 31st Italian Conference on Computational Logic},
Pages = {5--20},
Publisher = {CEUR-WS},
ScopusId = {2-s2.0-84985916728},
Series = {CEUR Workshop Proceedings},
Subseries = {AI*IA Series},
Title = {Labelled Variables in Logic Programming: Foundations},
Url = {http://ceur-ws.org/Vol-1645/paper_7.pdf},
Volume = 1645,
Year = 2016

Journals & Series

Events

  • Convegno Italiano di Logica Computazionale – 31º Convegno Annuale dell'Associazione Italiana Utenti Logic Programming (CILC 2016) — 20/06/2016–22/06/2016

Publication

— authors

Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini

— editors

Camillo Fiorentini, Alberto Momigliano

— status

published

— sort

paper in proceedings

Venue

— volume

CILC 2016 – Italian Conference on Computational Logic. Proceedings of the 31st Italian Conference on Computational Logic

— series

CEUR Workshop Proceedings

— volume

1645

— pages

5-20

— publication date

20-22 June 2016

URLs

original page

Identifiers

— DBLP

conf/cilc/CalegariDDO16

— IRIS

11585/562441

— Scopus

2-s2.0-84985916728

— print ISSN

1613-0073

BibTeX

— BibTeX ID
lvlp-cilc2016
— BibTeX category
inproceedings

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY