CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishIn order to enable logic programming to deal with the diversity of pervasive systems, where many heterogeneous, domain-specific computational models could benefit from the power of symbolic computation, we explore the expressive power of labelled systems. To this end, we define a new notion of truth for logic programs extended with labelled variables interpreted in non-Herbrand domains—where, however, terms maintain their usual Herbrand interpretations. First, a model for labelled variables in logic programming is defined. Then, the fixpoint and the operational semantics are presented and their equivalence is formally proved. A meta-interpreter implementing the operational semantics is also introduced, followed by some case studies aimed at showing the effectiveness of our approach in selected scenarios.
Extending Logic Programming with Labelled Variables: Model and Semantics / Calegari, Roberta; Denti, Enrico; Dovier, Agostino; Omicini, Andrea. - In: FUNDAMENTA INFORMATICAE. - ISSN 0169-2968. - STAMPA. - 161:1-2(2018), pp. 53-74.
| Titolo: | Extending Logic Programming with Labelled Variables: Model and Semantics | |
| Autore/i: | Calegari, Roberta; Denti, Enrico; Dovier, Agostino; Omicini, Andrea | |
| Autore/i Unibo: | ||
| Anno: | 2018 | |
| Rivista: | ||
| Digital Object Identifier (DOI): | http://dx.doi.org/10.3233/FI-2018-1695 | |
| Abstract: | In order to enable logic programming to deal with the diversity of pervasive systems, where many heterogeneous, domain-specific computational models could benefit from the power of symbolic computation, we explore the expressive power of labelled systems. To this end, we define a new notion of truth for logic programs extended with labelled variables interpreted in non-Herbrand domains—where, however, terms maintain their usual Herbrand interpretations. First, a model for labelled variables in logic programming is defined. Then, the fixpoint and the operational semantics are presented and their equivalence is formally proved. A meta-interpreter implementing the operational semantics is also introduced, followed by some case studies aimed at showing the effectiveness of our approach in selected scenarios. | |
| Data stato definitivo: | 2018-07-25T14:00:07Z | |
| Appare nelle tipologie: |
File in questo prodotto:
Copyright © 2021