IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 178
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
Mostrati risultati da 41 a 60 di 178
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