Login / Signup
Peter Paulovics
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Educational Tool
Np Hard
Knowledge Representation
Optimization Algorithm
Top Venues
Description Logics
</>
Publications
</>
Peter Paulovics
,
Júlia Pukancová
,
Martin Homola
SIVA: An Educational Tool for the Tableau Reasoning Algorithm.
Description Logics
(2018)