Sfoglia per Autore
A constructive semantics for ALC
2007-01-01 Bozzato, L; Ferrari, Mauro; Fiorentini, C; Fiorino, G.
Building a domain ontology from glossaries: a general methodology
2008-01-01 Bozzato, Loris; Ferrari, Mauro; Trombetta, Alberto
Actions Over a Constructive Semantics for Description Logics
2009-01-01 Ferrari, Mauro; Bozzato, L.; Villa, P.
Composition of Semantic Web Services in a Constructive Description Logic
2010-01-01 Bozzato, L; Ferrari, Mauro
A decidable constructive description logic
2010-01-01 Bozzato, L.; Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
Evaluation of Contextual Modelling in the FIFA World Cup Use Case
2011-01-01 Bozzato, Loris; Corcoglioniti, Francesco; Homola, Martin; Serafini, Luciano
Tableaux Algorithm for Reasoning with Contextualized Knowledge
2011-01-01 Homola, Martin; Bozzato, Loris; Serafini, Luciano
Evaluation of Contextual Queries
2011-01-01 Bozzato, Loris; Corcoglioniti, Francesco; Joseph, Mathew; Serafini, Luciano
Kripke semantics and tableau procedures for constructive description logics.
2011-01-01 Bozzato, Loris
ExpTime Reasoning for Contextualized ALC
2012-01-01 Bozzato, Loris; Homola, Martin; Serafini, Luciano
Towards More Effective Tableaux Reasoning for CKR
2012-01-01 Bozzato, L.; Homola, M.; Serafini, L.
Combining Reasoning on Semantic Web Metadata
2014-01-01 Bozzato, Loris; Serafini, Luciano
On Coreferring Text-extracted Event Descriptions with the aid of Ontological Reasoning
2016-01-01 Borgo, Stefano; Bozzato, Loris; Palmero Aprosio, Alessio; Rospocher, Marco; Serafini, Luciano
Classification of News by Topic Using Location Data
2016-01-01 Zolzaya, Dashdorj; Tahir Khan, Muhammad; Bozzato, Loris; Lee, Sangkeun
Reasoning with Justifiable Exceptions in Contextual Hierarchies
2018-01-01 Bozzato, Loris; Serafini, Luciano; Eiter, Thomas
Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix)
2018-01-01 Bozzato, Loris; Serafini, Luciano; Eiter, Thomas
A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility
2019-01-01 Bozzato, Loris; Eiter, Thomas; Serafini, Luciano
A Note on Reasoning on DL-Lite_R with Defeasibility
2019-01-01 Bozzato, Loris; Eiter, Thomas; Serafini, Luciano
Event Detection from Video Using Answer Set Programing
2019-01-01 Khan, Abdullah; Serafini, Luciano; Bozzato, Loris; Lazzerini, Beatrice
Reasoning with Justifiable Exceptions in EL_bot Contextualized Knowledge Repositories
2019-01-01 Bozzato, Loris; Eiter, Thomas; Serafini, Luciano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A constructive semantics for ALC | 1-gen-2007 | Bozzato, L; Ferrari, Mauro; Fiorentini, C; Fiorino, G. | |
| Building a domain ontology from glossaries: a general methodology | 1-gen-2008 | Bozzato, Loris; Ferrari, Mauro; Trombetta, Alberto | |
| Actions Over a Constructive Semantics for Description Logics | 1-gen-2009 | Ferrari, Mauro; Bozzato, L.; Villa, P. | |
| Composition of Semantic Web Services in a Constructive Description Logic | 1-gen-2010 | Bozzato, L; Ferrari, Mauro | |
| A decidable constructive description logic | 1-gen-2010 | Bozzato, L.; Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido | |
| Evaluation of Contextual Modelling in the FIFA World Cup Use Case | 1-gen-2011 | Bozzato, Loris; Corcoglioniti, Francesco; Homola, Martin; Serafini, Luciano | |
| Tableaux Algorithm for Reasoning with Contextualized Knowledge | 1-gen-2011 | Homola, Martin; Bozzato, Loris; Serafini, Luciano | |
| Evaluation of Contextual Queries | 1-gen-2011 | Bozzato, Loris; Corcoglioniti, Francesco; Joseph, Mathew; Serafini, Luciano | |
| Kripke semantics and tableau procedures for constructive description logics. | 1-gen-2011 | Bozzato, Loris | |
| ExpTime Reasoning for Contextualized ALC | 1-gen-2012 | Bozzato, Loris; Homola, Martin; Serafini, Luciano | |
| Towards More Effective Tableaux Reasoning for CKR | 1-gen-2012 | Bozzato, L.; Homola, M.; Serafini, L. | |
| Combining Reasoning on Semantic Web Metadata | 1-gen-2014 | Bozzato, Loris; Serafini, Luciano | |
| On Coreferring Text-extracted Event Descriptions with the aid of Ontological Reasoning | 1-gen-2016 | Borgo, Stefano; Bozzato, Loris; Palmero Aprosio, Alessio; Rospocher, Marco; Serafini, Luciano | |
| Classification of News by Topic Using Location Data | 1-gen-2016 | Zolzaya, Dashdorj; Tahir Khan, Muhammad; Bozzato, Loris; Lee, Sangkeun | |
| Reasoning with Justifiable Exceptions in Contextual Hierarchies | 1-gen-2018 | Bozzato, Loris; Serafini, Luciano; Eiter, Thomas | |
| Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix) | 1-gen-2018 | Bozzato, Loris; Serafini, Luciano; Eiter, Thomas | |
| A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility | 1-gen-2019 | Bozzato, Loris; Eiter, Thomas; Serafini, Luciano | |
| A Note on Reasoning on DL-Lite_R with Defeasibility | 1-gen-2019 | Bozzato, Loris; Eiter, Thomas; Serafini, Luciano | |
| Event Detection from Video Using Answer Set Programing | 1-gen-2019 | Khan, Abdullah; Serafini, Luciano; Bozzato, Loris; Lazzerini, Beatrice | |
| Reasoning with Justifiable Exceptions in EL_bot Contextualized Knowledge Repositories | 1-gen-2019 | Bozzato, Loris; Eiter, Thomas; Serafini, Luciano |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile