Martin Homola

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 34

Top Topics

Malware Detection

Extended Abstract

Description Logics

Peer Assessment

Top Venues

Description Logics

Publications

Janka Boborová, Jakub Kloc, Martin Homola, Júlia Pukancová
Towards CATS: A Modular ABox Abduction Solver Based on Black-Box Architecture (Extended Abstract). Description Logics (2024)
Peter Anthony, Francesco Giannini, Michelangelo Diligenti, Martin Homola, Marco Gori, Stefan Balogh, Ján Mojzis
Explainable Malware Detection with Tailored Logic Explained Networks. CoRR (2024)
Peter Svec, Stefan Balogh, Martin Homola, Ján Kluka, Tomás Bisták
Semantic Data Representation for Explainable Windows Malware Detection Models. CoRR (2024)
Martin Homola, Zuzana Kubincová, Rastislav Urbánek, Ján Kluka
Tracking the Adaptive Learning Process with Topics Ontology. ICWL (2023)
Janka Boborová, Iveta Balintová, Júlia Pukancová, Martin Homola
Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver (Extended Abstract). Description Logics (2023)
Jakub Kloc, Martin Homola, Júlia Pukancová
DL Abduction API v2 and GUI Interface (Extended Abstract). Description Logics (2023)
Tomás Bisták, Peter Svec, Ján Kluka, Alexander Simko, Stefan Balogh, Martin Homola
Improving DL-Learner on a Malware Detection Use Case. Description Logics (2023)
Martin Homola, Júlia Pukancová, Janka Boborová, Iveta Balintová
Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver. JELIA (2023)
Peter Svec, Stefan Balogh, Martin Homola, Ján Kluka
Knowledge-Based Dataset for Training PE Malware Detection Models. CoRR (2023)
Martin Homola, Júlia Pukancová, Iveta Balintová, Janka Boborová
Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results. Description Logics (2022)
Zuzana Kubincová, Ján Kluka, Martin Homola, Adrián Marusák
Educational Code-Review Tool: A First Glimpse. MIS4TEL (2022)
Zuzana Hlávková, Martin Homola, Patrick Koopmann, Júlia Pukancová
An API for DL Abduction Solvers. Description Logics (2022)
Vojtech Svátek, Ján Kluka, Miroslav Vacura, Martin Homola, Marek Dudás
Patterns for Referring to Multiple Indirectly Specified Objects (MISO): Analysis and Guidelines. WOP (Book) (2021)
Peter Svec, Stefan Balogh, Martin Homola
Experimental Evaluation of Description Logic Concept Learning Algorithms for Static Malware Detection. ICISSP (2021)
Martin Homola, Ján Kluka, Petra Hozzová, Vojtech Svátek, Miroslav Vacura
Towards Higher-order OWL. Künstliche Intell. 34 (3) (2020)
Martin Homola, Júlia Pukancová, Júlia Gablíková, Katarína Fabianová
Merge, Explain, Iterate. Description Logics (2020)
Piotr Homola, Dmitriy Beznosko, Gopal Bhatta, Lukasz Bibrzycki, Michalina Borczynska, Lukasz Bratek, Nikolay Budnev, Dariusz Burakowski, David E. Alvarez-Castillo, Kevin Almeida Cheminant, Aleksander Cwikla, Punsiri Dam-o, Niraj Dhital, Alan R. Duffy, Piotr Glownia, Krzysztof Gorzkiewicz, Dariusz Góra, Alok C. Gupta, Zuzana Hlávková, Martin Homola, Joanna Jalocha, Robert Kaminski, Michal Karbowiak, Marcin Kasztelan, Renata Kierepko, Marek Knap, Péter Kovács, Szymon Kulinski, Bartosz Lozowski, Marek Magrys, Mikhail V. Medvedev, Justyna Medrala, Jerzy W. Mietelski, Justyna Miszczyk, Alona Mozgova, Antonio Napolitano, Vahab Nazari, Y. Jack Ng, Michal Niedzwiecki, Cristina Oancea, Boguslaw Ogan, Gabriela Opila, Krzysztof Oziomek, Maciej Pawlik, Marcin Piekarczyk, Bozena Poncyljusz, Jerzy Pryga, Matías Rosas, Krzysztof Rzecki, Jilberto Zamora-Saá, Katarzyna Smelcerz, Karel Smolek, Weronika Stanek, Jaroslaw Stasielak, Slawomir Stuglik, Jolanta Sulma, Oleksandr Sushchov, Manana Svanidze, Kyle M. Tam, Arman Tursunov, José M. Vaquero, Tadeusz Wibig, Krzysztof W. Wozniak
Cosmic-Ray Extremely Distributed Observatory. Symmetry 12 (11) (2020)
Júlia Pukancová, Martin Homola
The AAA ABox Abduction Solver. Künstliche Intell. 34 (4) (2020)
Katarína Fabianová, Júlia Pukancová, Martin Homola
Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain. Description Logics (2019)
Martin Homola, Ján Kluka, Zuzana Kubincová, Patrícia Marmanová, Milan Cifra
Timing the Adaptive Learning Process with Events Ontology. ICWL (2019)
Zuzana Kubincová, Dana Suníková, Martin Homola
Badges for Peer Assessment of Teamwork in Organized Education. J. Univers. Comput. Sci. 25 (12) (2019)
Drahomír Mrózek, Júlia Pukancová, Martin Homola
ABox Abduction Solver Exploiting Multiple DL Reasoners. Description Logics (2018)
Peter Paulovics, Júlia Pukancová, Martin Homola
SIVA: An Educational Tool for the Tableau Reasoning Algorithm. Description Logics (2018)
Júlia Pukancová, Martin Homola
ABox Abduction for Description Logics: The Case of Multiple Observations. Description Logics (2018)
Dana Suníková, Zuzana Kubincová, Martin Homola
A Badge for Reducing Open Answers in Peer Assessment. ICWL (2018)
Zuzana Kubincová, Martin Homola
Code Review in Computer Science Courses: Take One. ICWL (2017)
Vojtech Svátek, Ján Kluka, Miroslav Vacura, Martin Homola
Pattern Alternatives for Referring to Multiple Indirectly Specified Objects. WOP@ISWC (2017)
Martin Homola, Zuzana Kubincová, Ján Kluka, Martin Svolik, Milan Darjanin, Peter Zapalac
Team workflow and peer review in a virtual learning environment. ITHET (2017)
Nadia Labai, Martin Homola, Magdalena Ortiz
(Z) (Preliminary Report). Description Logics (2017)
Júlia Pukancová, Martin Homola
Tableau-Based ABox Abduction for the ALCHO Description Logic. Description Logics (2017)
Júlia Pukancová, Martin Homola
Tableau-Based ABox Abduction for Description Logics: Preliminary Report. Description Logics (2016)
Zuzana Kubincová, Martin Homola, Veronika Dropcová
Peer Reviews in a Web Design Course: Now Students like Them Too. SETE@ICWL (2016)
Zuzana Kubincová, Veronika Dropcová, Martin Homola
Students' acceptance of peer review in Computer Science course. EAI Endorsed Trans. e Learn. 3 (10) (2016)
Petra Kubincová, Ján Kluka, Martin Homola
Expressive Description Logic with Instantiation Metamodelling. KR (2016)
Veronika Dropcová, Martin Homola, Zuzana Kubincová
Students' Acceptance of Peer Review. eLEOT (2015)
Elvira Popescu, Zuzana Kubincová, Martin Homola
Blogging Activities in Higher Education: Comparing Learning Scenarios in Multiple Course Experiences. ICWL (2015)
Martin Homola, Theodore Patkos, Giorgos Flouris, Ján Sefránek, Alexander Simko, Jozef Frtús, Dimitra Zografistou, Martin Baláz
Resolving conflicts in knowledge for ambient intelligence. Knowl. Eng. Rev. 30 (5) (2015)
Petra Kubincová, Ján Kluka, Martin Homola
Towards Expressive Metamodelling with Instantiation. Description Logics (2015)
Júlia Pukancová, Martin Homola
Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis. Description Logics (2015)
Martin Homola, Ján Kluka, Vojtech Svátek, Miroslav Vacura
Typed Higher-Order Variant of SROIQ - Why Not? Description Logics (2014)
Martin Baláz, Jozef Frtús, Martin Homola, Ján Sefránek, Giorgos Flouris
Embedding Defeasible Logic Programs into Generalized Logic Programs. WLP/WFLP (2014)
Vojtech Svátek, Simone Serra, Miroslav Vacura, Martin Homola, Ján Kluka
B-Annot: Supplying Background Model Annotations for Ontology Coherence Testing. WoDOOM (2014)
Veronika Bejdová, Zuzana Kubincová, Martin Homola
Are Students Reliable Peer-Reviewers? ICALT (2014)
Dimitra Zografistou, Giorgos Flouris, Theodore Patkos, Dimitris Plexousakis, Martin Baláz, Martin Homola, Alexander Simko
A Dialogical Model for Collaborative Decision Making Based on Compromises. EUMAS (2014)
Martin Baláz, Jozef Frtús, Giorgos Flouris, Martin Homola, Ján Sefránek
Conflict Resolution in Assumption-Based Frameworks. EUMAS (2014)
Michael Fink, Martin Homola, Alessandra Mileo
Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014). CoRR (2014)
Martin Homola, Theodore Patkos
Different Types of Conflicting Knowledge in AmI Environments. EKAW (Satellite Events) (2014)
Martin Homola, Theodore Patkos
Different Types of Conflicting Knowledge in AmI Environments. CoRR (2014)
Matthias Knorr, Martin Slota, João Leite, Martin Homola
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. J. Log. Comput. 24 (6) (2014)
Veronika Bejdová, Martin Homola, Zuzana Kubincová
Blogging in Obligatory Course: A Bitter Victory. ICWL (2014)
Alessandra Mileo, Martin Homola, Michael Fink
Acquisition, Representation and Reasoning About Context with Logic (ARCOE-Logic 2014). EKAW (Satellite Events) (2014)
Martin Homola, Ján Kluka, Vojtech Svátek, Miroslav Vacura
Towards Typed Higher-Order Description Logics. Description Logics (2013)
Vojtech Svátek, Martin Homola, Ján Kluka, Miroslav Vacura
Mapping structural design patterns in OWL to ontological background models. K-CAP (2013)
Martin Baláz, Jozef Frtús, Martin Homola
Conflict Resolution in Structured Argumentation. LPAR (short papers) (2013)
Vojtech Svátek, Martin Homola, Ján Kluka, Miroslav Vacura
Metamodeling-Based Coherence Checking of OWL Vocabulary Background Models. OWLED (2013)
Zuzana Kubincová, Martin Homola, Veronika Bejdová
Motivational Effect of Peer Review in Blog-Based Activities. ICWL (2013)
Loris Bozzato, Martin Homola, Luciano Serafini
. CONTEXT (2013)
Martin Homola, Matthias Knorr, João Leite, Martin Slota
MKNF Knowledge Bases in Multi-Context Systems. CLIMA (2012)
Luciano Serafini, Martin Homola
Contextualized knowledge repositories for the Semantic Web. J. Web Semant. 12 (2012)
Loris Bozzato, Martin Homola, Luciano Serafini
Towards More Effective Tableaux Reasoning for CKR. Description Logics (2012)
Zuzana Kubincová, Martin Homola, Roman Janajev
Tool-supported Assessment of Wiki-based Assignments. CSEDU (2) (2012)
Zuzana Kubincová, Martin Homola
How to Get Around with Wikis in Teaching. ICWL (2012)
Luciano Serafini, Martin Homola
Contextual Representation and Reasoning with Description Logics. Description Logics (2011)
Martin Homola, Luciano Serafini
Augmenting Subsumption Propagation in Distributed Description Logics. Appl. Artif. Intell. 24 (1&2) (2010)
Martin Homola, Luciano Serafini
Towards Formal Comparison of Ontology Linking, Mapping and Importing. Description Logics (2010)
Martin Homola, Andrei Tamilin, Luciano Serafini
Modeling Contextualized Knowledge. CIAO@EKAW (2010)
Juraj Frank, Renate Motschnig, Martin Homola
Towards an "Intelligent" Tagging Tool for Blogs. WSKS (2) (2009)
Martin Homola, Zuzana Kubincová
Practising Web Design Essentials by Iterative Blog Development within a Community Portal. CSEDU (1) (2009)
Martin Homola
Subsumption Propagation between Remote Ontologies in Distributed Description Logic. Description Logics (2008)
Martin Homola
Distributed Description Logics Revisited. Description Logics (2007)
Martin Homola
Towards Distributed Ontologies with Description Logics. KWEPSY (2007)
Martin Homola
Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs. CLIMA (2004)