tag : formal models
1 pubblicazione / Roberta Calegari
Labelled Variables in Logic Programming: Foundations (CILC 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
— Prodotti
2P
LPaaS
Arg-tuProlog
— Eventi
WOA 2021
— Progetti
CompuLaw
— Associazioni
AIxIA
— Corsi
Foundations of Informatics T-2
Multi-agent Systems (module 2)
Sem. Coding for Lawyers