Sfoglia per Soggetto "Intelligenza artificiale"
Items 1-10 di 10
-
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 ... -
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, ... -
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. ... -
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 ... -
Intelligent planning for curriculum personalization of e-Learning contents. Moodle as a case study
(2013-11-19)The use and enhancement of technology in the field of (distance) education has increased the adoption of e-learning. Nowadays, a simple connection to the Internet makes it possible to access any on-line content. Thus, ... -
Interactive digital media and technology transfer
(2013-02-06) -
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 ...