Sfoglia per Autore
Reasoning about exceptions in ontologies: From the lexicographic closure to the skeptical closure
2018-01-01 Giordano, Laura; Gliozzi, Valentina
Power (set) alc
2018-01-01 Giordano, Laura; Policriti, Alberto
Towards a Rational Closure for Expressive Description Logics: The Case of SHIQ
2018-01-01 Giordano, L.; Gliozzi, V.; Olivetti, N.
RAT-OWL: Reasoning with rational closure in description logics of typicality
2017-01-01 Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo
Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo
2017-01-01 Giordano, Laura; Gliozzi, Valentina; Pozzato, GIAN LUCA; Renzulli, Riccardo
Reasoning about exceptions in ontologies: A skeptical preferential approach (Extended Abstract)
2017-01-01 Giordano, Laura
Special Issue on the 29th Italian Conference on Computational Logic: CILC 2014: Preface
2017-01-01 Giordano, Laura; Gliozzi, Valentina; Pettorossi, Alberto; Pozzato, GIAN LUCA
Reasoning in a rational extension of SROEL(∏, x)
2016-01-01 Giordano, Laura; THESEIDER DUPRE', Daniele
Reasoning in a rational extension of SROEL
2016-01-01 Giordano, Laura; THESEIDER DUPRE', Daniele
ASP for minimal entailment in a rational extension of SROEL
2016-01-01 Giordano, Laura; THESEIDER DUPRE', Daniele
ASP for reasoning about actions with an EL^bot knowledge base
2016-01-01 Giordano, Laura; Martelli, Alberto; Spiotta, Matteo; THESEIDER DUPRE', Daniele
Encoding a Preferential Extension of the Description Logic in SROIQ
2015-01-01 Giordano, Laura; Gliozzi, Valentina
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP
2015-01-01 Giordano, Laura; A., Martelli; THESEIDER DUPRE', Daniele
A Multi-engine Theorem Prover for a Description Logic of Typicality
2015-01-01 Giordano, Laura; Valentina, Gliozzi; Nicola, Olivetti; Gian Luca, Pozzato; Luca, Violanti
A Hybrid Approach to the Verification of Computer Interpretable Guidelines
2015-01-01 Anselma, Luca; Bottrighi, Alessio; Giordano, Laura; Hommersom, Arjen; Molino, Gianpaolo; Montani, Stefania; Terenziani, Paolo; Torchio, Mauro
Semantic characterization of rational closure: From propositional logic to description logics
2015-01-01 Giordano, Laura; Gliozzi, V.; Olivetti, N.; Pozzato, G. L.
Rational closure in SHIQ
2014-01-01 Giordano, Laura; Gliozzi, V.; Olivetti, N.; Pozzato, G. L.
Logics in access control: a conditional approach
2014-01-01 Valerio, Genovese; Giordano, Laura; Valentina, Gliozzi; Gian Luca, Pozzato
Minimal models for rational closure in SHIQ
2014-01-01 Giordano, Laura; Gliozzi, V.; Olivetti, N.; Pozzato, G. L.
Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology
2014-01-01 Spiotta, Matteo; Bottrighi, Alessio; Giordano, Laura; THESEIDER DUPRE', Daniele
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Reasoning about exceptions in ontologies: From the lexicographic closure to the skeptical closure | 1-gen-2018 | Giordano, Laura; Gliozzi, Valentina | |
Power (set) alc | 1-gen-2018 | Giordano, Laura; Policriti, Alberto | |
Towards a Rational Closure for Expressive Description Logics: The Case of SHIQ | 1-gen-2018 | Giordano, L.; Gliozzi, V.; Olivetti, N. | |
RAT-OWL: Reasoning with rational closure in description logics of typicality | 1-gen-2017 | Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo | |
Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo | 1-gen-2017 | Giordano, Laura; Gliozzi, Valentina; Pozzato, GIAN LUCA; Renzulli, Riccardo | |
Reasoning about exceptions in ontologies: A skeptical preferential approach (Extended Abstract) | 1-gen-2017 | Giordano, Laura | |
Special Issue on the 29th Italian Conference on Computational Logic: CILC 2014: Preface | 1-gen-2017 | Giordano, Laura; Gliozzi, Valentina; Pettorossi, Alberto; Pozzato, GIAN LUCA | |
Reasoning in a rational extension of SROEL(∏, x) | 1-gen-2016 | Giordano, Laura; THESEIDER DUPRE', Daniele | |
Reasoning in a rational extension of SROEL | 1-gen-2016 | Giordano, Laura; THESEIDER DUPRE', Daniele | |
ASP for minimal entailment in a rational extension of SROEL | 1-gen-2016 | Giordano, Laura; THESEIDER DUPRE', Daniele | |
ASP for reasoning about actions with an EL^bot knowledge base | 1-gen-2016 | Giordano, Laura; Martelli, Alberto; Spiotta, Matteo; THESEIDER DUPRE', Daniele | |
Encoding a Preferential Extension of the Description Logic in SROIQ | 1-gen-2015 | Giordano, Laura; Gliozzi, Valentina | |
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP | 1-gen-2015 | Giordano, Laura; A., Martelli; THESEIDER DUPRE', Daniele | |
A Multi-engine Theorem Prover for a Description Logic of Typicality | 1-gen-2015 | Giordano, Laura; Valentina, Gliozzi; Nicola, Olivetti; Gian Luca, Pozzato; Luca, Violanti | |
A Hybrid Approach to the Verification of Computer Interpretable Guidelines | 1-gen-2015 | Anselma, Luca; Bottrighi, Alessio; Giordano, Laura; Hommersom, Arjen; Molino, Gianpaolo; Montani, Stefania; Terenziani, Paolo; Torchio, Mauro | |
Semantic characterization of rational closure: From propositional logic to description logics | 1-gen-2015 | Giordano, Laura; Gliozzi, V.; Olivetti, N.; Pozzato, G. L. | |
Rational closure in SHIQ | 1-gen-2014 | Giordano, Laura; Gliozzi, V.; Olivetti, N.; Pozzato, G. L. | |
Logics in access control: a conditional approach | 1-gen-2014 | Valerio, Genovese; Giordano, Laura; Valentina, Gliozzi; Gian Luca, Pozzato | |
Minimal models for rational closure in SHIQ | 1-gen-2014 | Giordano, Laura; Gliozzi, V.; Olivetti, N.; Pozzato, G. L. | |
Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology | 1-gen-2014 | Spiotta, Matteo; Bottrighi, Alessio; Giordano, Laura; THESEIDER DUPRE', Daniele |
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