Novak Novakovik

According to our database, Novak Novakovik authored at least 1 paper in 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes.

Franz Baader, Novak Novakovik, Boontawee Suntisrivaraporn

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008