Cerca
Items 1-10 di 50
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, ...
Interpolation problems and applications
(2014-05-28)
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 ...
Advanced Techniques and Systems for Data and Process Management
(2014-03-31)
Il lavoro di tesi viene suddiviso in due parti che trattano rispettivamente di tecniche
avanzate e sistemi per la gestione dei dati e per il mining dei processi. Sono state
affrontate problematiche relative all’efficienza ...
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 ...
Convex tomography in dimension two and three
(2014-05-27)
In this thesis we investigate a problem which is part of Geometric Tomography.
Geometric Tomography is a branch of Mathematics which deals with the determination
of a convex body (or other geometric objects) in n from ...