Tag Clouds
Tag Clouds
0
documents
/
tag : labelled variables in logic programming
/
2P-Kt
2
documents
/
tag : labelled variables in logic programming
/
tuProlog
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 (AI*IA 2015 DC @AI*IA 2015, 23/09/2015) — Roberta Calegari (Andrea Omicini, Enrico Denti, Roberta Calegari)