Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs. - Martin Homola (CLIMA, 2004)

Distributed Description Logics Revisited. - Martin Homola (Description Logics, 2007)

Towards Distributed Ontologies with Description Logics. - Martin Homola (KWEPSY, 2007)

Subsumption Propagation between Remote Ontologies in Distributed Description Logic. - Martin Homola (Description Logics, 2008)

Modular Knowledge Representation and Reasoning in the Semantic Web. - Luciano Serafini; Martin Homola (Semantic Web Information Management, 2009)

Practising Web Design Essentials by Iterative Blog Development within a Community Portal. - Martin Homola; Zuzana Kubincová (CSEDU (1), 2009)

Towards an "Intelligent" Tagging Tool for Blogs. - Juraj Frank; Renate Motschnig; Martin Homola (WSKS (2), 2009)

Towards Formal Comparison of Ontology Linking, Mapping and Importing. - Martin Homola; Luciano Serafini (Description Logics, 2010)

Modeling Contextualized Knowledge. - Martin Homola; Andrei Tamilin; Luciano Serafini (CIAO@EKAW, 2010)

Augmenting Subsumption Propagation in Distributed Description Logics. - Martin Homola; Luciano Serafini (Appl. Artif. Intell., 2010)

Contextual Representation and Reasoning with Description Logics. - Luciano Serafini; Martin Homola (Description Logics, 2011)

MKNF Knowledge Bases in Multi-Context Systems. - Martin Homola; Matthias Knorr 001; João Leite 001; Martin Slota (CLIMA, 2012)

Tool-supported Assessment of Wiki-based Assignments. - Zuzana Kubincová; Martin Homola; Roman Janajev (CSEDU (2), 2012)

Towards More Effective Tableaux Reasoning for CKR. - Loris Bozzato; Martin Homola; Luciano Serafini (Description Logics, 2012)

How to Get Around with Wikis in Teaching. - Zuzana Kubincová; Martin Homola (ICWL, 2012)

Contextualized knowledge repositories for the Semantic Web. - Luciano Serafini; Martin Homola (J. Web Semant., 2012)

ExpTime Tableaux Algorithm for Contextualized ALC. - Loris Bozzato; Martin Homola; Luciano Serafini (CONTEXT, 2013)

Towards Typed Higher-Order Description Logics. - Martin Homola; Ján Kluka; Vojtech Svátek; Miroslav Vacura (Description Logics, 2013)

Motivational Effect of Peer Review in Blog-Based Activities. - Zuzana Kubincová; Martin Homola; Veronika Bejdová (ICWL, 2013)

Mapping structural design patterns in OWL to ontological background models. - Vojtech Svátek; Martin Homola; Ján Kluka; Miroslav Vacura (K-CAP, 2013)

Conflict Resolution in Structured Argumentation. - Martin Baláz; Jozef Frtús; Martin Homola (LPAR (short papers), 2013)

Metamodeling-Based Coherence Checking of OWL Vocabulary Background Models. - Vojtech Svátek; Martin Homola; Ján Kluka; Miroslav Vacura (OWLED, 2013)

Typed Higher-Order Variant of SROIQ - Why Not? - Martin Homola; Ján Kluka; Vojtech Svátek; Miroslav Vacura (Description Logics, 2014)

Different Types of Conflicting Knowledge in AmI Environments. - Martin Homola; Theodore Patkos (EKAW (Satellite Events), 2014)

Acquisition, Representation and Reasoning About Context with Logic (ARCOE-Logic 2014). - Alessandra Mileo; Martin Homola; Michael Fink 001 (EKAW (Satellite Events), 2014)

B-Annot: Supplying Background Model Annotations for Ontology Coherence Testing. - Vojtech Svátek; Simone Serra; Miroslav Vacura; Martin Homola; Ján Kluka (WoDOOM, 2014)

Conflict Resolution in Assumption-Based Frameworks. - Martin Baláz; Jozef Frtús; Giorgos Flouris; Martin Homola; Ján Sefránek (EUMAS, 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 (EUMAS, 2014)

Are Students Reliable Peer-Reviewers? - Veronika Bejdová; Zuzana Kubincová; Martin Homola (ICALT, 2014)

Blogging in Obligatory Course: A Bitter Victory. - Veronika Bejdová; Martin Homola; Zuzana Kubincová (ICWL, 2014)

Embedding Defeasible Logic Programs into Generalized Logic Programs. - Martin Baláz; Jozef Frtús; Martin Homola; Ján Sefránek; Giorgos Flouris (WLP/WFLP, 2014)

Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014). - Michael Fink 001; Martin Homola; Alessandra Mileo (CoRR, 2014)

What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. - Matthias Knorr 001; Martin Slota; João Leite 001; Martin Homola (J. Log. Comput., 2014)

Towards Expressive Metamodelling with Instantiation. - Petra Kubincová; Ján Kluka; Martin Homola (Description Logics, 2015)

Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis. - Júlia Pukancová; Martin Homola (Description Logics, 2015)

Students' Acceptance of Peer Review. - Veronika Dropcová; Martin Homola; Zuzana Kubincová (eLEOT, 2015)

Blogging Activities in Higher Education: Comparing Learning Scenarios in Multiple Course Experiences. - Elvira Popescu; Zuzana Kubincová; Martin Homola (ICWL, 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)

Tableau-Based ABox Abduction for Description Logics: Preliminary Report. - Júlia Pukancová; Martin Homola (Description Logics, 2016)

Peer Reviews in a Web Design Course: Now Students like Them Too. - Zuzana Kubincová; Martin Homola; Veronika Dropcová (SETE@ICWL, 2016)

Expressive Description Logic with Instantiation Metamodelling. - Petra Kubincová; Ján Kluka; Martin Homola (KR, 2016)

Students' acceptance of peer review in Computer Science course. - Zuzana Kubincová; Veronika Dropcová; Martin Homola (EAI Endorsed Trans. e Learn., 2016)

Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report). - Nadia Labai; Martin Homola; Magdalena Ortiz 001 (Description Logics, 2017)

Tableau-Based ABox Abduction for the ALCHO Description Logic. - Júlia Pukancová; Martin Homola (Description Logics, 2017)

Code Review in Computer Science Courses: Take One. - Zuzana Kubincová; Martin Homola (ICWL, 2017)

Team workflow and peer review in a virtual learning environment. - Martin Homola; Zuzana Kubincová; Ján Kluka; Martin Svolik; Milan Darjanin; Peter Zapalac (ITHET, 2017)

Pattern Alternatives for Referring to Multiple Indirectly Specified Objects. - Vojtech Svátek; Ján Kluka; Miroslav Vacura; Martin Homola (WOP@ISWC, 2017)

ABox Abduction Solver Exploiting Multiple DL Reasoners. - Drahomír Mrózek; Júlia Pukancová; Martin Homola (Description Logics, 2018)

SIVA: An Educational Tool for the Tableau Reasoning Algorithm. - Peter Paulovics; Júlia Pukancová; Martin Homola (Description Logics, 2018)

ABox Abduction for Description Logics: The Case of Multiple Observations. - Júlia Pukancová; Martin Homola (Description Logics, 2018)

A Badge for Reducing Open Answers in Peer Assessment. - Dana Suníková; Zuzana Kubincová; Martin Homola (ICWL, 2018)

Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain. - Katarína Fabianová; Júlia Pukancová; Martin Homola (Description Logics, 2019)

Timing the Adaptive Learning Process with Events Ontology. - Martin Homola; Ján Kluka; Zuzana Kubincová; Patrícia Marmanová; Milan Cifra (ICWL, 2019)

Badges for Peer Assessment of Teamwork in Organized Education. - Zuzana Kubincová; Dana Suníková; Martin Homola (J. Univers. Comput. Sci., 2019)

Merge, Explain, Iterate. - Martin Homola; Júlia Pukancová; Júlia Gablíková; Katarína Fabianová (Description Logics, 2020)

Towards Higher-order OWL. - Martin Homola; Ján Kluka; Petra Hozzová; Vojtech Svátek; Miroslav Vacura (Künstliche Intell., 2020)

The AAA ABox Abduction Solver. - Júlia Pukancová; Martin Homola (Künstliche Intell., 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; et al. (Symmetry, 2020)

Experimental Evaluation of Description Logic Concept Learning Algorithms for Static Malware Detection. - Peter Svec; Stefan Balogh; Martin Homola (ICISSP, 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 (WOP (Book), 2021)

An API for DL Abduction Solvers. - Zuzana Hlávková; Martin Homola; Patrick Koopmann; Júlia Pukancová (Description Logics, 2022)

Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results. - Martin Homola; Júlia Pukancová; Iveta Balintová; Janka Boborová (Description Logics, 2022)

Educational Code-Review Tool: A First Glimpse. - Zuzana Kubincová; Ján Kluka; Martin Homola; Adrián Marusák (MIS4TEL, 2022)

Improving DL-Learner on a Malware Detection Use Case. - Tomás Bisták; Peter Svec; Ján Kluka; Alexander Simko; Stefan Balogh; Martin Homola (Description Logics, 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 (Description Logics, 2023)

DL Abduction API v2 and GUI Interface (Extended Abstract). - Jakub Kloc; Martin Homola; Júlia Pukancová (Description Logics, 2023)

Tracking the Adaptive Learning Process with Topics Ontology. - Martin Homola; Zuzana Kubincová; Rastislav Urbánek; Ján Kluka (ICWL, 2023)

Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver. - Martin Homola; Júlia Pukancová; Janka Boborová; Iveta Balintová (JELIA, 2023)

Knowledge-Based Dataset for Training PE Malware Detection Models. - Peter Svec; Stefan Balogh; Martin Homola; Ján Kluka (CoRR, 2023)

Towards CATS: A Modular ABox Abduction Solver Based on Black-Box Architecture (Extended Abstract). - Janka Boborová; Jakub Kloc; Martin Homola; Júlia Pukancová (Description Logics, 2024)

Leveraging Meta-Modelling Language for Ontology Structuring and Validation. - Zekeri Adams; Martin Homola; Ján Kluka; Vojtech Svátek (EKAW (Companion), 2024)

Logically Explainable Malware Detection. - Peter Anthony; Francesco Giannini; Michelangelo Diligenti; Marco Gori; Martin Homola; Stefan Balogh; Ján Mojzis (HI-AI@KDD, 2024)

Ontology-Driven Learning-Progress Tracking Tool in an Adaptive Virtual Learning Environment. - Martin Homola; Zuzana Kubincová; Ján Kluka; Silvia Bieliková; Rastislav Urbánek (ICWL, 2024)

Social Choice for Heterogeneous Fairness in Recommendation. - Amanda Aird; Elena Stefancova; Cassidy All; Amy Voida; Martin Homola; Nicholas Mattei; Robin Burke (RecSys, 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)

Explainable Malware Detection with Tailored Logic Explained Networks. - Peter Anthony; Francesco Giannini; Michelangelo Diligenti; Martin Homola; Marco Gori; Stefan Balogh; Ján Mojzis (CoRR, 2024)

Data Generation via Latent Factor Simulation for Fairness-aware Re-ranking. - Elena Stefancova; Cassidy All; Joshua Paup; Martin Homola; Nicholas Mattei; Robin Burke (CoRR, 2024)