Cerca
Items 1-6 di 6
Datalog with existential quantifiers: an optimal trade-off between expressiveness and scalability
(2012-11-11)
Ontologies and rules play a central role in the development of the Semantic
Web. Recent research in this context focuses especially on highly scalable formalisms
for the Web of Data, which may highly benefit from exploiting ...
Tecniche per la valutazione distribuita di programmi logici
(2014-11-30)
Recent developments in IT, and in particular the expansion of networking technologies,
have made quite common the availability of software architectures
where data sources are distributed across multiple (physically-di ...
Answer set programming:development tols and applications to tourism
(2015-12-15)
Answer Set Programming (ASP) is a declarative rule–based programming
paradigm for knowledge representation and declarative problem–solving. The
idea of ASP is to represent a given computational problem by using a logic ...
Generalizing identity-based string similarity metrics: theory and applications
(2018-01-19)
Le stringhe giocano un ruolo fondamentale in informatica: codificando i dati, la loro interpretazione
permette di derivare informazione. Dato un insieme di stringhe, alcune interessanti
domande emergono: “queste stringhe ...
DLVDB An ASP System for Data Intensive ApplicationsRisorsa elettronica
(2014-04-01)
La rapida crescita di sistemi informatici derivanti dalle diverse applicazioni cui Internet si presta,
ha rapidamente aumentato la quantit`a di dati e di informazioni disponibili per l’elaborazione. In
particolare, ...
Extending the ASP System DLVDB to Support Complex Terms and Procedural Sub-tasks
(2014-03-31)
In many scientific and business scenarios, large amounts of data are generated and stored at
increasing speed in local or distributed databases. Scientific experiments generating petabytes
of data are daily performed in ...