Andrea Omicini, Enrico Denti, Roberta Calegari, Agostino Dovier

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.

CILC 2016
Milan, Italy, 20/06/2016
    

Talk

Labelled Variables in Logic Programming: Foundations

— speakers

Roberta Calegari

— authors

Andrea Omicini, Enrico Denti, Roberta Calegari, Agostino Dovier

— sort

talk

— language

wgb.gif

Context

— events

CILC 2016

— at

CILC 2016

— where

Milan, Italy

— when

20/06/2016

Links

— external

SlideShare

— publications

Labelled Variables in Logic Programming: Foundations

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