Login / Signup
Drahomír Mrózek
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Knowledge Representation Systems
Owl Dl
Reasoning Services
Expressive Description Logics
Top Venues
Description Logics
</>
Publications
</>
Drahomír Mrózek
,
Júlia Pukancová
,
Martin Homola
ABox Abduction Solver Exploiting Multiple DL Reasoners.
Description Logics
(2018)