tag : labelled variables

3 publications
page_white_acrobat Extending Logic Programming with Labelled Variables: Model and Semantics (Fundamenta Informaticae, 2018) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
page_white_acrobat Labelled Variables in Logic Programming: Foundations (CILC 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
page_white_acrobat Labelled Variables in Logic Programming: A First Prototype in tuProlog (AI*IA 2015 DC @AI*IA 2015) — Roberta Calegari, Enrico Denti, Andrea Omicini
[ tag cloud  /  publications ]