Cerca
Items 1-4 di 4
A DLP-Based System for Ontology Representation and Reasoning
(2012-11-09)
In the last few years, the need for knowledge-based technologies is emerging in
several application areas. Industries are now looking for semantic instruments for
knowledge-representation and reasoning. In this context, ...
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 ...
Eccient evaluation of disjunctive logic programs
(2014-03-31)
Agli inizi degli anni ‘80, Jack Minker propose di accrescere la potenza della
programmazione logica consentendo l’utilizzo della disgiunzione nelle teste delle
regole e specificando come l’assunzione di mondo chiuso ...
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 ...