Tag Clouds

Tag Clouds

0 documents  /  tag : labelled variables in logic programming  /  2P-Kt

2 documents  /  tag : labelled variables in logic programming  /  tuProlog
page_white_acrobatLabelled Variables in Logic Programming: Foundations (paper in proceedings, 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
page_white_powerpointLabelled Variables in Logic Programming: A First Prototype in tuProlog (AI*IA 2015 DC @AI*IA 2015, 23/09/2015) — Roberta Calegari (Andrea Omicini, Enrico Denti, Roberta Calegari)

Logo