Login / Signup
Luca Violanti
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Theorem Prover
Reasoning Services
Description Logics
Natural Deduction
Top Venues
Description Logics
AI*IA
</>
Publications
</>
Laura Giordano
,
Valentina Gliozzi
,
Nicola Olivetti
,
Gian Luca Pozzato
,
Luca Violanti
DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics.
Description Logics
(2015)
Laura Giordano
,
Valentina Gliozzi
,
Nicola Olivetti
,
Gian Luca Pozzato
,
Luca Violanti
A Multi-engine Theorem Prover for a Description Logic of Typicality.
AI*IA
(2015)