tag : labelled variables
3 publications
Extending Logic Programming with Labelled Variables: Model and Semantics (article in journal, 2018) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini Labelled Variables in Logic Programming: Foundations (paper in proceedings, 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini Labelled Variables in Logic Programming: A First Prototype in tuProlog (paper in proceedings, 2015) — Roberta Calegari, Enrico Denti, Andrea Omicini