Sfoglia Tesi di Dottorato per Autore "Alviano, Mario"
Items 1-1 di 1
-
Dynamic magic sets
Alviano, Mario; Lceone, Nicola; Faber, Wolfgang (2014-04-08)Disjunctive Datalog with stable model semantics is a rule–based language for knowledge representation and common sense reasoning that also allows to use queries for checking the presence of specific atoms in stable models. ...