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.
Probabilistic Declarative Process Mining
file con accesso da definire2010 Bellodi, Elena; Riguzzi, Fabrizio; Lamma, Evelina
Probabilistic Ontologies in Datalog+/-
file con accesso da definire2012 Riguzzi, Fabrizio; Bellodi, Elena; Lamma, Evelina
Runtime addition of integrity constraints in SCIFF
file con accesso da definire2010 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina
Security protocols verification in abductive logic programming: a case study
file con accesso da definire2006 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M; Torroni, P.
Specification and verification of agent interaction using abductive reasoning (tutorial paper)
file con accesso da definire2006 Chesani, F; Gavanelli, Marco; Alberti, Marco; Lamma, Evelina; Mello, P; Torroni, P.
Spot detection in images with noisy background
file con accesso da definire2011 Ferraretti, Denis; L., Casarotti; Gamberoni, Giacomo; Lamma, Evelina
The CHR-based Implementation of the SCIFF Abductive System
file con accesso da definire2011 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina
The SCIFF abductive proof-procedure
file con accesso da definire2005 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P.
Un sistema di Vision Ispection basato su reti neurali
file con accesso da definire2012 L., Buffon; Lamma, Evelina; Riguzzi, Fabrizio; D., Formenti
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Probabilistic Declarative Process Mining | 2010 | Bellodi, Elena; Riguzzi, Fabrizio; Lamma, Evelina | file con accesso da definire |
Probabilistic Ontologies in Datalog+/- | 2012 | Riguzzi, Fabrizio; Bellodi, Elena; Lamma, Evelina | file con accesso da definire |
Runtime addition of integrity constraints in SCIFF | 2010 | Alberti, Marco; Gavanelli, Marco; Lamma, Evelina | file con accesso da definire |
Security protocols verification in abductive logic programming: a case study | 2006 | Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M; Torroni, P. | file con accesso da definire |
Specification and verification of agent interaction using abductive reasoning (tutorial paper) | 2006 | Chesani, F; Gavanelli, Marco; Alberti, Marco; Lamma, Evelina; Mello, P; Torroni, P. | file con accesso da definire |
Spot detection in images with noisy background | 2011 | Ferraretti, Denis; L., Casarotti; Gamberoni, Giacomo; Lamma, Evelina | file con accesso da definire |
The CHR-based Implementation of the SCIFF Abductive System | 2011 | Alberti, Marco; Gavanelli, Marco; Lamma, Evelina | file con accesso da definire |
The SCIFF abductive proof-procedure | 2005 | Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. | file con accesso da definire |
Un sistema di Vision Ispection basato su reti neurali | 2012 | L., Buffon; Lamma, Evelina; Riguzzi, Fabrizio; D., Formenti | file con accesso da definire |
Legenda icone
- file ad accesso aperto
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Opzioni
Scopri
Tipologia
- 04 Atto di Convegno (Proceedings) 39
- 04 Atto di Convegno (Proceedings)... 39
Data di pubblicazione
- 2020 - 2022 2
- 2010 - 2019 20
- 2000 - 2009 16
- 1998 - 1999 1
Editore
- Springer Berlin Heidelberg 10
- Sun SITE Central Europe 7
- Springer-Verlag 4
- CEUR Workshop Proceedings 2
- CEUR-WS.org 2
- Open Publishing Association 2
- Springer 2
- Cambridge University Press 1
- M. Jeusfeld c/o Redaktion Sun SIT... 1
- Redaktion Sun SITE, Informatik V,... 1
Rivista
- CEUR WORKSHOP PROCEEDINGS 13
- LECTURE NOTES IN COMPUTER SCIENCE 11
- LECTURE NOTES IN ARTIFICIAL INTEL... 10
- ELECTRONIC PROCEEDINGS IN THEORET... 2
- INTELLIGENZA ARTIFICIALE 1
- STUDIES IN COMPUTATIONAL INTELLIG... 1
- THEORY AND PRACTICE OF LOGIC PROG... 1
Keyword
- Distribution Semantics 6
- Probabilistic Logic Programming 5
- Probabilistic Ontologies 5
- Probabilistic Description Logics 4
- Abduction 3
- Artificial Intelligence 3
- HIERARCHICAL CLUSTERING 3
- petroleum geology 3
- abduction 2
- application 2
Lingua
- eng 36
- ita 3
Accesso al fulltext
- no fulltext 37
- open 2