Extending Logic Programming with Labelled Variables: Model and Semantics

@article{labelledlp-fi161,
   author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
   dblp = {journals/fuin/CalegariDDO18},
   doi = {10.3233/FI-2018-1695},
   editor = {Fiorentini, Camillo and Momigliano, Alberto and Pettorossi, Alberto},
   iris = {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},
   scopus = {2-s2.0-85049682130},
   title = {Extending Logic Programming with Labelled Variables: Model and Semantics},
   url = {http://content.iospress.com/articles/fundamenta-informaticae/fi1695},
   urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/636935/838171/CDDO-FI-2017.pdf},
   volume = 161,
   wos = {000437260800005},
   year = 2018
}