![]() | ![]() |
| 2010 | ||
|---|---|---|
| 3 | Alena Lukasová, Marek Vajgl, Martin Zácek: Reasoning in RDFgraphic formal system with quantifiers . IMCSIT 2010: 67-72 | |
| 2005 | ||
| 2 | Alena Lukasová: Reasoning with Semantic Tableau Binary Trees in Description Logic. Description Logics 2005 | |
| 1979 | ||
| 1 | Alena Lukasová: Hierarchical agglomerative clustering procedure. Pattern Recognition 11(5-6): 365-381 (1979) | |
| 1 | Marek Vajgl | [3] |
| 2 | Martin Zácek | [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page