Martin Homola

According to our database, Martin Homola authored at least 70 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Semantic Data Representation for Explainable Windows Malware Detection Models.

Peter Svec, Stefan Balogh, Martin Homola, Ján Kluka, Tomás Bisták

CoRR, 2024

2023

Knowledge-Based Dataset for Training PE Malware Detection Models.

Peter Svec, Stefan Balogh, Martin Homola, Ján Kluka

CoRR, 2023

Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver.

Martin Homola, Júlia Pukancová, Janka Boborová, Iveta Balintová

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Tracking the Adaptive Learning Process with Topics Ontology.

Martin Homola, Zuzana Kubincová, Rastislav Urbánek, Ján Kluka

Proceedings of the Advances in Web-Based Learning - ICWL 2023, 2023

DL Abduction API v2 and GUI Interface (Extended Abstract).

Jakub Kloc, Martin Homola, Júlia Pukancová

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver (Extended Abstract).

Janka Boborová, Iveta Balintová, Júlia Pukancová, Martin Homola

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

Improving DL-Learner on a Malware Detection Use Case.

Tomás Bisták, Peter Svec, Ján Kluka, Alexander Simko, Stefan Balogh, Martin Homola

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

2022

Educational Code-Review Tool: A First Glimpse.

Zuzana Kubincová, Ján Kluka, Martin Homola, Adrián Marusák

Proceedings of the Methodologies and Intelligent Systems for Technology Enhanced Learning, 2022

Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results.

Martin Homola, Júlia Pukancová, Iveta Balintová, Janka Boborová

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

An API for DL Abduction Solvers.

Zuzana Hlávková, Martin Homola, Patrick Koopmann, Júlia Pukancová

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2021

Patterns for Referring to Multiple Indirectly Specified Objects (MISO): Analysis and Guidelines.

Vojtech Svátek, Ján Kluka, Miroslav Vacura, Martin Homola, Marek Dudás

Proceedings of the Advances in Pattern-Based Ontology Engineering, 2021

Experimental Evaluation of Description Logic Concept Learning Algorithms for Static Malware Detection.

Peter Svec, Stefan Balogh, Martin Homola

Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021

2020

Cosmic-Ray Extremely Distributed Observatory.

Piotr Homola, Dmitriy Beznosko, Gopal Bhatta, Lukasz Bibrzycki, Michalina Borczynska, Lukasz Bratek, Nikolay Budnev, Dariusz Burakowski, David E. Alvarez-Castillo, Kévin 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

Symmetry, 2020

The AAA ABox Abduction Solver.

Júlia Pukancová, Martin Homola

Künstliche Intell., 2020

Towards Higher-order OWL.

Martin Homola, Ján Kluka, Petra Hozzová, Vojtech Svátek, Miroslav Vacura

Künstliche Intell., 2020

Merge, Explain, Iterate.

Martin Homola, Júlia Pukancová, Júlia Gablíková, Katarína Fabianová

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019

Badges for Peer Assessment of Teamwork in Organized Education.

Zuzana Kubincová, Dana Suníková, Martin Homola

J. Univers. Comput. Sci., 2019

Timing the Adaptive Learning Process with Events Ontology.

Martin Homola, Ján Kluka, Zuzana Kubincová, Patrícia Marmanová, Milan Cifra

Proceedings of the Advances in Web-Based Learning - ICWL 2019, 2019

Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain.

Katarína Fabianová, Júlia Pukancová, Martin Homola

Proceedings of the 32nd International Workshop on Description Logics, 2019

2018

A Badge for Reducing Open Answers in Peer Assessment.

Dana Suníková, Zuzana Kubincová, Martin Homola

Proceedings of the Advances in Web-Based Learning - ICWL 2018, 2018

ABox Abduction for Description Logics: The Case of Multiple Observations.

Júlia Pukancová, Martin Homola

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

SIVA: An Educational Tool for the Tableau Reasoning Algorithm.

Peter Paulovics, Júlia Pukancová, Martin Homola

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

ABox Abduction Solver Exploiting Multiple DL Reasoners.

Drahomír Mrózek, Júlia Pukancová, Martin Homola

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017

Pattern Alternatives for Referring to Multiple Indirectly Specified Objects.

Vojtech Svátek, Ján Kluka, Miroslav Vacura, Martin Homola

Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017), 2017

Team workflow and peer review in a virtual learning environment.

Martin Homola, Zuzana Kubincová, Ján Kluka, Martin Svolik, Milan Darjanin, Peter Zapalac

Proceedings of the 16th International Conference on Information Technology Based Higher Education and Training, 2017

Code Review in Computer Science Courses: Take One.

Zuzana Kubincová, Martin Homola

Proceedings of the Advances in Web-Based Learning - ICWL 2017, 2017

Tableau-Based ABox Abduction for the ALCHO Description Logic.

Júlia Pukancová, Martin Homola

Proceedings of the 30th International Workshop on Description Logics, 2017

Constructive Satisfiability Procedure for ALC^P(Z) (Preliminary Report).

Nadia Labai, Martin Homola, Magdalena Ortiz

Proceedings of the 30th International Workshop on Description Logics, 2017

2016

Students' acceptance of peer review in Computer Science course.

Zuzana Kubincová, Veronika Dropcová, Martin Homola

EAI Endorsed Trans. e Learn., 2016

Expressive Description Logic with Instantiation Metamodelling.

Petra Kubincová, Ján Kluka, Martin Homola

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Peer Reviews in a Web Design Course: Now Students like Them Too.

Zuzana Kubincová, Martin Homola, Veronika Dropcová

Proceedings of the Emerging Technologies for Education - First International Symposium, 2016

Tableau-Based ABox Abduction for Description Logics: Preliminary Report.

Júlia Pukancová, Martin Homola

Proceedings of the 29th International Workshop on Description Logics, 2016

2015

Resolving conflicts in knowledge for ambient intelligence.

Martin Homola, Theodore Patkos, Giorgos Flouris, Ján Sefránek, Alexander Simko, Jozef Frtús, Dimitra Zografistou, Martin Baláz

Knowl. Eng. Rev., 2015

Blogging Activities in Higher Education: Comparing Learning Scenarios in Multiple Course Experiences.

Elvira Popescu, Zuzana Kubincová, Martin Homola

Proceedings of the Advances in Web-Based Learning - ICWL 2015, 2015

Students' Acceptance of Peer Review.

Veronika Dropcová, Martin Homola, Zuzana Kubincová

Proceedings of the E-Learning, E-Education, and Online Training, 2015

Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis.

Júlia Pukancová, Martin Homola

Proceedings of the 28th International Workshop on Description Logics, 2015

Towards Expressive Metamodelling with Instantiation.

Petra Kubincová, Ján Kluka, Martin Homola

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems.

Matthias Knorr, Martin Slota, João Leite, Martin Homola

J. Log. Comput., 2014

Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014).

Michael Fink, Martin Homola, Alessandra Mileo

CoRR, 2014

Embedding Defeasible Logic Programs into Generalized Logic Programs.

Martin Baláz, Jozef Frtús, Martin Homola, Ján Sefránek, Giorgos Flouris

Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, 2014

Blogging in Obligatory Course: A Bitter Victory.

Veronika Bejdová, Martin Homola, Zuzana Kubincová

Proceedings of the Advances in Web-Based Learning - ICWL 2014, 2014

Are Students Reliable Peer-Reviewers?

Veronika Bejdová, Zuzana Kubincová, Martin Homola

Proceedings of the IEEE 14th International Conference on Advanced Learning Technologies, 2014

A Dialogical Model for Collaborative Decision Making Based on Compromises.

Dimitra Zografistou, Giorgos Flouris, Theodore Patkos, Dimitris Plexousakis, Martin Baláz, Martin Homola, Alexander Simko

Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

Conflict Resolution in Assumption-Based Frameworks.

Martin Baláz, Jozef Frtús, Giorgos Flouris, Martin Homola, Ján Sefránek

Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

B-Annot: Supplying Background Model Annotations for Ontology Coherence Testing.

Vojtech Svátek, Simone Serra, Miroslav Vacura, Martin Homola, Ján Kluka

Proceedings of the Third International Workshop on Debugging Ontologies and Ontology Mappings, 2014

Acquisition, Representation and Reasoning About Context with Logic (ARCOE-Logic 2014).

Alessandra Mileo, Martin Homola, Michael Fink

Proceedings of the Knowledge Engineering and Knowledge Management, 2014

Different Types of Conflicting Knowledge in AmI Environments.

Martin Homola, Theodore Patkos

Proceedings of the Knowledge Engineering and Knowledge Management, 2014

Typed Higher-Order Variant of SROIQ - Why Not?

Martin Homola, Ján Kluka, Vojtech Svátek, Miroslav Vacura

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013

Metamodeling-Based Coherence Checking of OWL Vocabulary Background Models.

Vojtech Svátek, Martin Homola, Ján Kluka, Miroslav Vacura

Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

Conflict Resolution in Structured Argumentation.

Martin Baláz, Jozef Frtús, Martin Homola

Proceedings of the LPAR 2013, 2013

Mapping structural design patterns in OWL to ontological background models.

Vojtech Svátek, Martin Homola, Ján Kluka, Miroslav Vacura

Proceedings of the 7th International Conference on Knowledge Capture, 2013

Motivational Effect of Peer Review in Blog-Based Activities.

Zuzana Kubincová, Martin Homola, Veronika Bejdová

Proceedings of the Advances in Web-Based Learning - ICWL 2013, 2013

Towards Typed Higher-Order Description Logics.

Martin Homola, Ján Kluka, Vojtech Svátek, Miroslav Vacura

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

ExpTime Tableaux Algorithm for Contextualized <i>ALC</i>.

Loris Bozzato, Martin Homola, Luciano Serafini

Proceedings of the Modeling and Using Context, 2013

2012

Contextualized knowledge repositories for the Semantic Web.

Luciano Serafini, Martin Homola

J. Web Semant., 2012

How to Get Around with Wikis in Teaching.

Zuzana Kubincová, Martin Homola

Proceedings of the Advances in Web-Based Learning - ICWL 2012, 2012

Towards More Effective Tableaux Reasoning for CKR.

Loris Bozzato, Martin Homola, Luciano Serafini

Proceedings of the 2012 International Workshop on Description Logics, 2012

Tool-supported Assessment of Wiki-based Assignments.

Zuzana Kubincová, Martin Homola, Roman Janajev

Proceedings of the CSEDU 2012, 2012

MKNF Knowledge Bases in Multi-Context Systems.

Martin Homola, Matthias Knorr, João Leite, Martin Slota

Proceedings of the Computational Logic in Multi-Agent Systems, 2012

2011

Contextual Representation and Reasoning with Description Logics.

Luciano Serafini, Martin Homola

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010

Augmenting Subsumption Propagation in Distributed Description Logics.

Martin Homola, Luciano Serafini

Appl. Artif. Intell., 2010

Modeling Contextualized Knowledge.

Martin Homola, Andrei Tamilin, Luciano Serafini

Proceedings of the Second Workshop on Context, Information and Ontologies, 2010

Towards Formal Comparison of Ontology Linking, Mapping and Importing.

Martin Homola, Luciano Serafini

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009

Towards an "Intelligent" Tagging Tool for Blogs.

Juraj Frank, Renate Motschnig, Martin Homola

Proceedings of the Best Practices for the Knowledge Society. Knowledge, 2009

Practising Web Design Essentials by Iterative Blog Development within a Community Portal.

Martin Homola, Zuzana Kubincová

Proceedings of the CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009, 2009

Modular Knowledge Representation and Reasoning in the Semantic Web.

Luciano Serafini, Martin Homola

Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009

2008

Subsumption Propagation between Remote Ontologies in Distributed Description Logic.

Martin Homola

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007

Towards Distributed Ontologies with Description Logics.

Martin Homola

Proceedings of the KWEPSY 2007 Knowledge Web PhD Symposium 2007, 2007

Distributed Description Logics Revisited.

Martin Homola

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2004

Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs.

Martin Homola

Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004