( en | de | ru )

 

Disambiguation of "Homola, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014).

, , and . CoRR, (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

Conflict Resolution in Structured Argumentation., , and . LPAR (short papers), volume 26 of EPiC Series in Computing, page 23-34. EasyChair, (2013)Timing the Adaptive Learning Process with Events Ontology., , , , and . ICWL, volume 11841 of Lecture Notes in Computer Science, page 3-14. Springer, (2019)Team workflow and peer review in a virtual learning environment., , , , , and . ITHET, page 1-6. IEEE, (2017)Metamodeling-Based Coherence Checking of OWL Vocabulary Background Models., , , and . OWLED, volume 1080 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)Tableau-Based ABox Abduction for the ALCHO Description Logic., and . Description Logics, volume 1879 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Subsumption Propagation between Remote Ontologies in Distributed Description Logic.. Description Logics, volume 353 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver (Extended Abstract)., , , and . Description Logics, volume 3515 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis., and . Description Logics, volume 1350 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)Towards Expressive Metamodelling with Instantiation., , and . Description Logics, volume 1350 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)Metamodeling-Based Coherence Checking of OWL Vocabulary Background Models, , , and . OWLED, volume 1080 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)