Esplora il catalogo della ricerca

Ricerca avanzata
CINECA IRIS Institutial research information system

è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della Ricerca. Fornisce a Ricercatori, amministratori e valutatori gli sturmenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili

Prodotti recenti

Annotated Probabilistic Temporal logic: Approximate fixpoint implementation

Annotated Probabilistic Temporal (APT) logic programs support building applications where we wish to reason about statements of the form "Formula G becomes true with a probability in the range [L, U] within (or in exactly) At time units after formula F became true." In this paper, we present a sound, but incomplete fixpoint operator that can be used to check consistency and entailment in APT logic programs. We present the first implementation of APT-logic programs and evaluate both its comput...

Focused most probable world computations in probabilistic logic programs

The "Most Probable World" (MPW) problem in probabilistic logic programming (PLPs) is that of finding a possible world with the highest probability. Past work has shown that this problem is computationally intractable and involves solving exponentially many linear programs, each of which is of exponential size. In this paper, we study what happens when the user focuses his interest on a set of atoms in such a PLP. We show that we can significantly reduce the number of worlds to be considered b...

Annotated probabilistic temporal logic

The semantics of most logics of time and probability is given via a probability distribution over threads, where a thread is a structure specifying what will be true at different points in time (in the future). When assessing the probabilities of statements such as "Event a will occur within 5 units of time of event b," there are many different semantics possible, even when assessing the truth of this statement within a single thread. We introduce the syntax of annotated probabilistic tempora...

Inconsistency handling in Datalog+/- Ontologies

The advent of the Semantic Web has made the problem of inconsistency management especially relevant. Datalog+/- is a family of ontology languages that is in particular useful for representing and reasoning over lightweight ontologies in the Semantic Web. In this paper, we study different semantics for query answering in inconsistent Datalog+/- ontologies. We develop a general framework for inconsistency management in Datalog+/- ontologies based on incision functions from belief revision, in w...

Answering threshold queries in probabilistic datalog+/- ontologies

The recently introduced Datalog+/- family of ontology languages is especially useful for representing and reasoning over lightweight ontologies, and is set to play a central role in the context of query answering and information extraction for the Semantic Web. Recently, it has become apparent that it is necessary to develop a principled way to handle uncertainty in this domain. In addition to uncertainty as an inherent aspect of the Web, one must also deal with forms of uncertainty due to in...

Scopri
Tipologia
  • 1 Contributo su Rivista38938
  • 4 Contributo in Atti di Convegno ...19034
  • 2 Contributo in Volume12856
  • 3 Libro2594
  • 5 Altro1833
  • 7 Curatele1490
  • 6 Brevetti263
Rivista
  • PHYSICS LETTERS. SECTION B453
  • JOURNAL OF HIGH ENERGY PHYSICS449
  • THE EUROPEAN PHYSICAL JOURNAL. C,...400
  • LECTURE NOTES IN COMPUTER SCIENCE323
  • PHYSICAL REVIEW LETTERS260
  • BOLLETTINO FILOSOFICO184
  • FILOLOGIA ANTICA E MODERNA183
  • RENDICONTI ONLINE DELLA SOCIETÀ G...178
  • MOLECULES160
  • PHYSICAL REVIEW D155
Serie
  • CEUR WORKSHOP PROCEEDINGS162
  • LECTURE NOTES IN ARTIFICIAL INTEL...99
  • LECTURE NOTES IN COMPUTER SCIENCE97
  • MECHANISMS AND MACHINE SCIENCE69
  • AIP CONFERENCE PROCEEDINGS31
  • LECTURE NOTES IN MECHANICAL ENGIN...30
  • INTERNET OF THINGS22
  • COMMUNICATIONS IN COMPUTER AND IN...20
  • RICERCHE COLLANA DEL DIPARTIMENTO...20
  • LA TESTA DI GORGONE19
Data di pubblicazione
  • In corso di stampa153
  • 2020 - 202515924
  • 2010 - 201931279
  • 2000 - 200921414
  • 1990 - 19996252
  • 1980 - 19891802
  • 1970 - 1979180
  • 1966 - 19692
Prodotti più visti
  • Non-Coding RNAs in Human Breast Milk: A Systematic Review
  • 'Ntoni e il giorno lungo di Rocco Spatu
  • Appunti di Demografia (con esercizi svolti)
  • Reddito minimo garantito e cittadinanza sociale europea
  • Opportunistic mobile social networks: From mobility and Facebook friendships to structural analysis of user social behavior
  • c-Jun activation is required for 4-hydroxytamoxifen-induced cell death in breast cancer cells
  • Tra revisione e manutenzione
  • Giuseppe Zangara e l'attentato a Roosevelt
  • La Platea di Cassano. Storia dei poteri signorili ecclesiastici e laici nella Diocesi di Cassano (secoli XV-XVI)
  • Autismo. Modelli teorici, principi pedagogici e applicazioni educative
Prodotti più scaricati
  • Theo Peeters. Alla ricerca del significato.
  • Corporate power purchase agreement: Formulation of the related levelized cost of energy and its application to a real life case study
  • Evaluating critical security issues of the IoT world: Present and Future challenges
  • Un grande banchiere in una piccola piazza: Carl Mayer Rothschild e il credito commerciale nel Regno delle Due Sicilie
  • Design, prototyping and testing of a modular small-sized underwater robotic arm controlled through a Master-Slave approach
  • The green mixed fleet vehicle routing problem with partial battery recharging and time windows
  • Virtual museum system evaluation through user studies
  • The measurement of Gear Transmission Error as an NVH indicator: Theoretical discussion and industrial application via low-cost digital encoders to an all-electric vehicle gearbox
  • Corrado Alvaro

77.007

pubblicazioni

271

open-access

57.919

downloads

352

fulltext

4.518

autori