Tag Clouds

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

[ tag cloud / 2P-Kt ]

2 documents / tag : labelled variables in logic programming / tuProlog

page_white_acrobat

Labelled Variables in Logic Programming: Foundations (paper in proceedings, 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini

page_white_powerpoint

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)

[ tag cloud / tuProlog ]