( en | de | ru )

 

Disambiguation of "Homola, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems.

, , , and . J. Log. Comput., 24 (6): 1279-1311 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Felix Homola

Stefan Homola

Uwe Homola

György Ádám Homola

Martin Klug

The late Quaternary environmental and climatic history of North-East Greenland, inferred from coastal lakes. Uni Köln, (2009)
 

Other publications of authors with the same name

Contextualized knowledge repositories for the Semantic Web., and . J. Web Semant., (2012)Augmenting Subsumption Propagation in Distributed Description Logics., and . Applied Artificial Intelligence, 24 (1&2): 39-76 (2010)How to Get Around with Wikis in Teaching., and . ICWL, volume 7558 of Lecture Notes in Computer Science, page 21-30. Springer, (2012)Resolving conflicts in knowledge for ambient intelligence., , , , , , , and . Knowledge Eng. Review, 30 (5): 455-513 (2015)Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014)., , and . CoRR, (2014)Conflict Resolution in Assumption-Based Frameworks., , , , and . EUMAS, volume 8953 of Lecture Notes in Computer Science, page 360-369. Springer, (2014)What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems., , , and . J. Log. Comput., 24 (6): 1279-1311 (2014)Expressive Description Logic with Instantiation Metamodelling., , and . KR, page 569-572. AAAI Press, (2016)B-Annot: Supplying Background Model Annotations for Ontology Coherence Testing., , , , and . WoDOOM, volume 1162 of CEUR Workshop Proceedings, page 59-66. CEUR-WS.org, (2014)Typed Higher-Order Variant of SROIQ - Why Not?, , , and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 567-578. CEUR-WS.org, (2014)