 | 2012 |
|---|
| 12 |       | Zuzana Kubincová,
Martin Homola,
Roman Janajev:
Tool-supported Assessment of Wiki-based Assignments.
CSEDU (2) 2012: 58-67 |
| 11 |  | Loris Bozzato,
Martin Homola,
Luciano Serafini:
Towards More Effective Tableaux Reasoning for CKR.
Description Logics 2012 |
| 2011 |
|---|
| 10 | | Luciano Serafini,
Martin Homola:
Contextual Representation and Reasoning with Description Logics.
Description Logics 2011 |
| 2010 |
|---|
| 9 | | Martin Homola,
Luciano Serafini:
Towards Formal Comparison of Ontology Linking, Mapping and Importing.
Description Logics 2010 |
| 8 | | Martin Homola,
Luciano Serafini:
Augmenting Subsumption Propagation in Distributed Description Logics.
Applied Artificial Intelligence 24(1&2): 39-76 (2010) |
| 2009 |
|---|
| 7 | | Martin Homola,
Zuzana Kubincová:
Practising Web Design Essentials by Iterative Blog Development within a Community Portal.
CSEDU (1) 2009: 181-186 |
| 6 | | Juraj Frank,
Renate Motschnig,
Martin Homola:
Towards an "Intelligent" Tagging Tool for Blogs.
WSKS (2) 2009: 129-136 |
| 5 | | Luciano Serafini,
Martin Homola:
Modular Knowledge Representation and Reasoning in the Semantic Web.
Semantic Web Information Management 2009: 147-181 |
| 2008 |
|---|
| 4 | | Martin Homola:
Subsumption Propagation between Remote Ontologies in Distributed Description Logic.
Description Logics 2008 |
| 2007 |
|---|
| 3 | | Martin Homola:
Distributed Description Logics Revisited.
Description Logics 2007 |
| 2 | | Martin Homola:
Towards Distributed Ontologies with Description Logics.
KWEPSY 2007 |
| 2004 |
|---|
| 1 | | Martin Homola:
Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs.
CLIMA 2004: 78-95 |
Data released under the ODC-BY 1.0 license — See also our legal information page