co-author : Agostino Dovier

co-author : Agostino Dovier

2 publications with Enrico Denti
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
[ Co-author Cloud  /  Enrico Denti  /  publications ]