Extending Logic Programming with Labelled Variables: Model and Semantics
Calegari, Roberta, Denti, Enrico, Dovier, Agostino, Omicini, Andrea, Fiorentini, Camillo, Momigliano, Alberto, Pettorossi, AlbertoVolume:
161
Language:
english
Journal:
Fundamenta Informaticae
DOI:
10.3233/FI-2018-1695
Date:
July, 2018
File:
PDF, 921 KB
english, 2018