Labelled Variables in Logic Programming: A First Prototype in tuProlog
@inproceedings{labelled2p-dcaiia2015,
address = {Ferrara, Italy},
author = {Calegari, Roberta and Denti, Enrico and Omicini, Andrea},
booktitle = {Proceedings of the Doctoral Consortium of the 14th Symposium of the Italian Association for Artificial Intelligence (AI*IA 2015 DC)},
editor = {Bellodi, Elena and Bonfietti, Alessio},
iris = {11585/521880},
issn = {1613-0073},
keywords = {Labelled Variables, CLP, pervasive systems, Labelled Systems},
location = {Ferrara, Italy},
month = {23--24~} # sep,
numpages = 6,
organization = {AI*IA},
pages = {25--30},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85009165803},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Labelled Variables in Logic Programming: A First Prototype in {{\sf tu}Prolog}},
urlpdf = {http://ceur-ws.org/Vol-1485/proceedings.pdf#page=30},
volume = 1485,
year = 2015
}
address = {Ferrara, Italy},
author = {Calegari, Roberta and Denti, Enrico and Omicini, Andrea},
booktitle = {Proceedings of the Doctoral Consortium of the 14th Symposium of the Italian Association for Artificial Intelligence (AI*IA 2015 DC)},
editor = {Bellodi, Elena and Bonfietti, Alessio},
iris = {11585/521880},
issn = {1613-0073},
keywords = {Labelled Variables, CLP, pervasive systems, Labelled Systems},
location = {Ferrara, Italy},
month = {23--24~} # sep,
numpages = 6,
organization = {AI*IA},
pages = {25--30},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85009165803},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Labelled Variables in Logic Programming: A First Prototype in {{\sf tu}Prolog}},
urlpdf = {http://ceur-ws.org/Vol-1485/proceedings.pdf#page=30},
volume = 1485,
year = 2015
}