SFERA Archivio dei prodotti della Ricerca dell'Università di Ferrara

RicercaInizia una nuova ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 1 - 10 di 32 (tempo di esecuzione: 0.015 secondi).
Titolo Data di pubblicazione Autore(i) File
A Description Logics Tableau Reasoner in Prolog 2013 Zese, Riccardo; Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio file con accesso da definire
A Distribution Semantics for Probabilistic Ontologies 2011 Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio; S., Albani file con accesso da definire
A Top Down Interpreter for LPAD and CP-logic 2007 Riguzzi, Fabrizio file con accesso da definire
ALLPAD: Approximate learning of logic programs with annotated disjunctions 2007 Riguzzi, Fabrizio file con accesso da definire
An Application of Fuzzy Logic to Strategic Environmental Assessment 2011 Gavanelli, Marco; Riguzzi, Fabrizio; M., Milano; D., Sottara; A., Cangini; P., Cagnoli file con accesso da definire
An extended semantics for logic programs with annotated disjunctions and its efficient implementation 2010 Riguzzi, Fabrizio; T., Swift file con accesso da definire
Automatic Differentiation in Prolog 2023 Schrijvers, T.; Van Den Berg, B.; Riguzzi, F. file con accesso da definire
Bayesian networks learning for gene expression datasets 2005 Gamberoni, Giacomo; Lamma, Evelina; Riguzzi, Fabrizio; Storari, Sergio; Volinia, Stefano file con accesso da definire
BUNDLE: A reasoner for probabilistic ontologies 2013 Riguzzi, Fabrizio; Lamma, Evelina; Bellodi, Elena; Zese, Riccardo file con accesso da definire
Checking Compliance of Execution Traces to Business Rules 2009 F., Chesani; P., Mello; M., Montali; Riguzzi, Fabrizio; M., Sebastianis; Storari, Sergio file con accesso da definire
Risultati 1 - 10 di 32 (tempo di esecuzione: 0.015 secondi).
↑ Back to top
Legenda icone

  •  file ad accesso aperto
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 04 Atto di Convegno (Proceedings) 32
  • 04 Atto di Convegno (Proceedings)... 32
Autore
  • LAMMA, Evelina 18
  • BELLODI, Elena 13
  • ZESE, Riccardo 7
  • STORARI, Sergio 4
  • GAVANELLI, Marco 3
  • ALBERTI, Marco 1
  • AZZOLINI, Damiano 1
  • FRACCAROLI, MICHELE 1
  • GAMBERONI, Giacomo 1
  • VOLINIA, Stefano 1
Data di pubblicazione
  • 2020 - 2023 3
  • 2010 - 2019 20
  • 2000 - 2009 8
  • 1998 - 1999 1
Editore
  • Sun SITE Central Europe 12
  • Springer Berlin Heidelberg 6
  • Springer 5
  • Cambridge University Press 4
  • Springer-Verlag 2
  • CEUR 1
  • CEUR-WS.org 1
  • Open Publishing Association 1
Rivista
  • CEUR WORKSHOP PROCEEDINGS 14
  • LECTURE NOTES IN COMPUTER SCIENCE 9
  • THEORY AND PRACTICE OF LOGIC PROG... 4
  • LECTURE NOTES IN ARTIFICIAL INTEL... 2
  • ELECTRONIC PROCEEDINGS IN THEORET... 1
  • LECTURE NOTES IN BUSINESS INFORMA... 1
  • LECTURE NOTES IN COMPUTER SCIENCE 1
Keyword
  • Probabilistic Logic Programming 11
  • Distribution Semantics 8
  • Probabilistic Ontologies 5
  • Statistical Relational Learning 5
  • Logic Programming 4
  • Logic Programs with Annotated Dis... 4
  • Probabilistic Description Logics 4
  • Business Process Management 3
  • Tabling 3
  • Answer Subsumption 2
Lingua
  • eng 31
  • ita 1
Accesso al fulltext
  • no fulltext 30
  • open 1
  • partially open 1