Jaromir Malenko

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Nonmonotonic Reasoning

Top Venues

Description Logics

Publications

Jaromir Malenko, Petr Stepánek
Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking. Description Logics (2012)