Cerca
Items 1-2 di 2
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. ...
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 ...