Extending Logic Programming with Labelled Variables: Model and Semantics
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Choose the export format from the list below:
- Office Formats (1)
-
Export as Portable Document Format (PDF) using Apache Formatting Objects Processor (FOP)
-
- Other Formats (1)
-
Export as HyperText Markup Language (HTML)
-
Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Fundamenta Informaticae 161(1-2), pages 53–74
July 2018
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. 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. |
(keywords) logic programming, labelled systems, labelled variables, formal semantics, meta-interpretation, situated intelligence |
Journals & Series
Publications / Personal
Publications / Views
Home
— clouds
tags | authors | editors | journals
— per year
2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014–1927
— per sort
in journal | in proc | chapters | books | edited | spec issues | editorials | entries | manuals | tech reps | phd th | others
— per status
online | in press | proof | camera-ready | revised | accepted | revision | submitted | draft | note
— services
ACM Digital Library | DBLP | IEEE Xplore | IRIS | PubMed | Google Scholar | Scopus | Semantic Scholar | Web of Science | DOI
Publication
— authors
Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
— editors
Camillo Fiorentini, Alberto Momigliano, Alberto Pettorossi
— status
published
— sort
article in journal
— publication date
July 2018
— journal
Fundamenta Informaticae
— volume
161
— issue
1-2
— pages
53–74
— number of pages
22
URLs
original page | open access PDF
identifiers
— DOI
— DBLP
— IRIS
— Scopus
— WoS / ISI
files
notes
— note
Special Issue CILC 2016