Sfoglia per Autore "Faber, Wolfgang"
Items 1-2 di 2
-
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. ... -
Normal Form Nested Programs
Bria, Annamaria; Faber, Wolfgang; Leone, Nicola (2014-03-31)Nella Programmazione Logica Disgiuntiva (PLD) le regole sono costituite da una testa e da un corpo. La testa è una disgiunzione di atomi, mentre il corpo una congiunzione di letterali. La PLD, sotto la semantica degli ...