Cerca
Items 1-3 di 3
Dynamic magic sets
(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. ...
Answer Set Programming with Functions
(2014-04-01)
L’Answer Set Programming (ASP) [Gelfond and Lifschitz, 1988; 1991] `e un
formalismo che si `e affermato, in questi ultimi anni, come potente strumento di
programmazione dichiarativa per la rappresentazione della conoscenza ...
Normal Form Nested Programs
(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 ...