Extending Logic Programming with Labelled Variables: Model and Semantics.

Autor: Calegari, Roberta1 roberta.calegari@unibo.it, Denti, Enrico1 enrico.denti@unibo.it, Dovier, Agostino2 agostino.dovier@uniud.it, Omicini, Andrea3 andrea.omicini@unibo.it
Zdroj: Fundamenta Informaticae. 2018, Vol. 161 Issue 1-2, p53-74. 22p.
Databáze: Academic Search Ultimate