Extending Logic Programming with Labelled Variables: Model and Semantics
Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Fundamenta Informaticae 161(1-2), pages 53–74, 22 pages, July 2018
Camillo Fiorentini, Alberto Momigliano, Alberto Pettorossi (eds.)
Special Issue CILC 2016
@article{labelledlp-fi161,
Author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
DblpId = {journals/fuin/CalegariDDO18},
Doi = {10.3233/FI-2018-1695},
Editor = {Fiorentini, Camillo and Momigliano, Alberto and Pettorossi, Alberto},
IrisId = {11585/636935},
Journal = {Fundamenta Informaticae},
Keywords = {logic programming, labelled systems, labelled variables, formal semantics, meta-interpretation, situated intelligence},
Month = jul,
Note = {Special Issue CILC 2016},
Number = {1-2},
Numpages = 22,
Pages = {53--74},
ScopusId = {2-s2.0-85049682130},
Title = {Extending Logic Programming with Labelled Variables: Model and Semantics},
Url = {http://content.iospress.com/articles/fundamenta-informaticae/fi1695},
Volume = 161,
WosId = {000437260800005},
Year = 2018}
Author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
DblpId = {journals/fuin/CalegariDDO18},
Doi = {10.3233/FI-2018-1695},
Editor = {Fiorentini, Camillo and Momigliano, Alberto and Pettorossi, Alberto},
IrisId = {11585/636935},
Journal = {Fundamenta Informaticae},
Keywords = {logic programming, labelled systems, labelled variables, formal semantics, meta-interpretation, situated intelligence},
Month = jul,
Note = {Special Issue CILC 2016},
Number = {1-2},
Numpages = 22,
Pages = {53--74},
ScopusId = {2-s2.0-85049682130},
Title = {Extending Logic Programming with Labelled Variables: Model and Semantics},
Url = {http://content.iospress.com/articles/fundamenta-informaticae/fi1695},
Volume = 161,
WosId = {000437260800005},
Year = 2018}
Journals & Series