default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMartin Homola
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c60]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- [c59]Peter Anthony, Francesco Giannini, Michelangelo Diligenti, Marco Gori, Martin Homola, Stefan Balogh, Ján Mojzis:
Logically Explainable Malware Detection. HI-AI@KDD 2024: 31-42 - [c58]Amanda Aird
, Elena Stefancova, Cassidy All, Amy Voida, Martin Homola, Nicholas Mattei, Robin Burke:
Social Choice for Heterogeneous Fairness in Recommendation. RecSys 2024: 1096-1101 - [i7]Peter Svec, Stefan Balogh, Martin Homola, Ján Kluka, Tomás Bisták:
Semantic Data Representation for Explainable Windows Malware Detection Models. CoRR abs/2403.11669 (2024) - [i6]Peter Anthony, Francesco Giannini, Michelangelo Diligenti, Martin Homola, Marco Gori, Stefan Balogh, Ján Mojzis:
Explainable Malware Detection with Tailored Logic Explained Networks. CoRR abs/2405.03009 (2024) - [i5]Elena Stefancova, Cassidy All, Joshua Paup, Martin Homola, Nicholas Mattei, Robin Burke:
Data Generation via Latent Factor Simulation for Fairness-aware Re-ranking. CoRR abs/2409.14078 (2024) - [i4]Amanda Aird, Elena Stefancova, Cassidy All, Amy Voida, Martin Homola, Nicholas Mattei, Robin Burke:
Social Choice for Heterogeneous Fairness in Recommendation. CoRR abs/2410.04551 (2024) - 2023
- [c57]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 - [c56]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 - [c55]Jakub Kloc, Martin Homola, Júlia Pukancová:
DL Abduction API v2 and GUI Interface (Extended Abstract). Description Logics 2023 - [c54]Martin Homola, Zuzana Kubincová, Rastislav Urbánek, Ján Kluka:
Tracking the Adaptive Learning Process with Topics Ontology. ICWL 2023: 155-165 - [c53]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: 338-352 - [i3]Peter Svec, Stefan Balogh, Martin Homola, Ján Kluka:
Knowledge-Based Dataset for Training PE Malware Detection Models. CoRR abs/2301.00153 (2023) - 2022
- [c52]Zuzana Hlávková, Martin Homola, Patrick Koopmann, Júlia Pukancová:
An API for DL Abduction Solvers. Description Logics 2022 - [c51]Martin Homola, Júlia Pukancová, Iveta Balintová, Janka Boborová:
Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results. Description Logics 2022 - [c50]Zuzana Kubincová, Ján Kluka, Martin Homola, Adrián Marusák:
Educational Code-Review Tool: A First Glimpse. MIS4TEL 2022: 113-122 - [e5]Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier:
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022. CEUR Workshop Proceedings 3263, CEUR-WS.org 2022 [contents] - 2021
- [c49]Peter Svec, Stefan Balogh, Martin Homola:
Experimental Evaluation of Description Logic Concept Learning Algorithms for Static Malware Detection. ICISSP 2021: 792-799 - [c48]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: 1-24 - [e4]Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt:
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021. CEUR Workshop Proceedings 2954, CEUR-WS.org 2021 [contents] - 2020
- [j9]Martin Homola, Ján Kluka, Petra Hozzová, Vojtech Svátek, Miroslav Vacura:
Towards Higher-order OWL. Künstliche Intell. 34(3): 417-421 (2020) - [j8]Júlia Pukancová, Martin Homola:
The AAA ABox Abduction Solver. Künstliche Intell. 34(4): 517-522 (2020) - [j7]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:
Cosmic-Ray Extremely Distributed Observatory. Symmetry 12(11): 1835 (2020) - [c47]Martin Homola, Júlia Pukancová, Júlia Gablíková, Katarína Fabianová:
Merge, Explain, Iterate. Description Logics 2020
2010 – 2019
- 2019
- [j6]Zuzana Kubincová, Dana Suníková, Martin Homola:
Badges for Peer Assessment of Teamwork in Organized Education. J. Univers. Comput. Sci. 25(12): 1589-1607 (2019) - [c46]Katarína Fabianová, Júlia Pukancová, Martin Homola:
Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain. Description Logics 2019 - [c45]Martin Homola, Ján Kluka, Zuzana Kubincová, Patrícia Marmanová, Milan Cifra:
Timing the Adaptive Learning Process with Events Ontology. ICWL 2019: 3-14 - 2018
- [c44]Drahomír Mrózek, Júlia Pukancová, Martin Homola:
ABox Abduction Solver Exploiting Multiple DL Reasoners. Description Logics 2018 - [c43]Peter Paulovics, Júlia Pukancová, Martin Homola:
SIVA: An Educational Tool for the Tableau Reasoning Algorithm. Description Logics 2018 - [c42]Júlia Pukancová, Martin Homola:
ABox Abduction for Description Logics: The Case of Multiple Observations. Description Logics 2018 - [c41]Dana Suníková, Zuzana Kubincová, Martin Homola:
A Badge for Reducing Open Answers in Peer Assessment. ICWL 2018: 14-24 - [e3]Kristijonas Cyras, Tiago Oliveira, Matthew Williams, Loris Bozzato, Martin Homola, Till Mossakowski, Antoine Zimmermann:
Proceedings of the Joint Proceedings of Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine (MedRACER 2018) and the 3rd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2018) co-located with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, USA, October 29th, 2018. CEUR Workshop Proceedings 2237, CEUR-WS.org 2018 [contents] - 2017
- [c40]Nadia Labai, Martin Homola, Magdalena Ortiz:
Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report). Description Logics 2017 - [c39]Júlia Pukancová, Martin Homola:
Tableau-Based ABox Abduction for the ALCHO Description Logic. Description Logics 2017 - [c38]Zuzana Kubincová, Martin Homola:
Code Review in Computer Science Courses: Take One. ICWL 2017: 125-135 - [c37]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: 1-6 - [c36]Vojtech Svátek, Ján Kluka, Miroslav Vacura, Martin Homola:
Pattern Alternatives for Referring to Multiple Indirectly Specified Objects. WOP@ISWC 2017 - [e2]Daniele Dell'Aglio, Darko Anicic, Payam M. Barnaghi, Emanuele Della Valle, Deborah L. McGuinness, Loris Bozzato, Thomas Eiter, Martin Homola, Daniele Porello:
Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 22nd, 2017. CEUR Workshop Proceedings 1936, CEUR-WS.org 2017 [contents] - 2016
- [j5]Zuzana Kubincová, Veronika Dropcová, Martin Homola:
Students' acceptance of peer review in Computer Science course. EAI Endorsed Trans. e Learn. 3(10): e6 (2016) - [c35]Júlia Pukancová, Martin Homola:
Tableau-Based ABox Abduction for Description Logics: Preliminary Report. Description Logics 2016 - [c34]Zuzana Kubincová, Martin Homola, Veronika Dropcová:
Peer Reviews in a Web Design Course: Now Students like Them Too. SETE@ICWL 2016: 624-634 - [c33]Petra Kubincová, Ján Kluka, Martin Homola:
Expressive Description Logic with Instantiation Metamodelling. KR 2016: 569-572 - [e1]Oliver Kutz, Sergio de Cesare, Maria M. Hedblom, Tarek Richard Besold, Tony Veale, Frederik Gailly, Giancarlo Guizzardi, Mark Lycett, Chris Partridge, Oscar Pastor, Michael Grüninger, Fabian Neuhaus, Till Mossakowski, Stefano Borgo, Loris Bozzato, Chiara Del Vescovo, Martin Homola, Frank Loebe, Adrien Barton, Jean-Rémi Bourguet:
Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, July 6-9, 2016. CEUR Workshop Proceedings 1660, CEUR-WS.org 2016 [contents] - 2015
- [j4]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): 455-513 (2015) - [c32]Petra Kubincová, Ján Kluka, Martin Homola:
Towards Expressive Metamodelling with Instantiation. Description Logics 2015 - [c31]Júlia Pukancová, Martin Homola:
Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis. Description Logics 2015 - [c30]Veronika Dropcová, Martin Homola, Zuzana Kubincová:
Students' Acceptance of Peer Review. eLEOT 2015: 52-59 - [c29]Elvira Popescu, Zuzana Kubincová, Martin Homola:
Blogging Activities in Higher Education: Comparing Learning Scenarios in Multiple Course Experiences. ICWL 2015: 197-207 - 2014
- [j3]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): 1279-1311 (2014) - [c28]Martin Homola, Ján Kluka, Vojtech Svátek, Miroslav Vacura:
Typed Higher-Order Variant of SROIQ - Why Not? Description Logics 2014: 567-578 - [c27]Alessandra Mileo, Martin Homola, Michael Fink:
Acquisition, Representation and Reasoning About Context with Logic (ARCOE-Logic 2014). EKAW (Satellite Events) 2014: 33-34 - [c26]Martin Homola, Theodore Patkos:
Different Types of Conflicting Knowledge in AmI Environments. EKAW (Satellite Events) 2014: 52-63 - [c25]Vojtech Svátek, Simone Serra, Miroslav Vacura, Martin Homola, Ján Kluka:
B-Annot: Supplying Background Model Annotations for Ontology Coherence Testing. WoDOOM 2014: 59-66 - [c24]Martin Baláz, Jozef Frtús, Giorgos Flouris, Martin Homola, Ján Sefránek:
Conflict Resolution in Assumption-Based Frameworks. EUMAS 2014: 360-369 - [c23]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: 414-423 - [c22]Veronika Bejdová, Zuzana Kubincová, Martin Homola:
Are Students Reliable Peer-Reviewers? ICALT 2014: 270-272 - [c21]Veronika Bejdová, Martin Homola, Zuzana Kubincová:
Blogging in Obligatory Course: A Bitter Victory. ICWL 2014: 1-10 - [c20]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: 11-25 - [i2]Martin Homola, Theodore Patkos:
Different Types of Conflicting Knowledge in AmI Environments. CoRR abs/1412.7967 (2014) - [i1]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 abs/1412.8531 (2014) - 2013
- [c19]Loris Bozzato, Martin Homola, Luciano Serafini:
ExpTime Tableaux Algorithm for Contextualized ALC. CONTEXT 2013: 199-212 - [c18]Martin Homola, Ján Kluka, Vojtech Svátek, Miroslav Vacura:
Towards Typed Higher-Order Description Logics. Description Logics 2013: 221-233 - [c17]Zuzana Kubincová, Martin Homola, Veronika Bejdová:
Motivational Effect of Peer Review in Blog-Based Activities. ICWL 2013: 194-203 - [c16]Vojtech Svátek, Martin Homola, Ján Kluka, Miroslav Vacura:
Mapping structural design patterns in OWL to ontological background models. K-CAP 2013: 117-120 - [c15]Martin Baláz, Jozef Frtús, Martin Homola:
Conflict Resolution in Structured Argumentation. LPAR (short papers) 2013: 23-34 - [c14]Vojtech Svátek, Martin Homola, Ján Kluka, Miroslav Vacura:
Metamodeling-Based Coherence Checking of OWL Vocabulary Background Models. OWLED 2013 - 2012
- [j2]Luciano Serafini, Martin Homola:
Contextualized knowledge repositories for the Semantic Web. J. Web Semant. 12: 64-87 (2012) - [c13]Martin Homola, Matthias Knorr, João Leite, Martin Slota:
MKNF Knowledge Bases in Multi-Context Systems. CLIMA 2012: 146-162 - [c12]Zuzana Kubincová, Martin Homola, Roman Janajev:
Tool-supported Assessment of Wiki-based Assignments. CSEDU (2) 2012: 58-67 - [c11]Loris Bozzato, Martin Homola, Luciano Serafini:
Towards More Effective Tableaux Reasoning for CKR. Description Logics 2012 - [c10]Zuzana Kubincová, Martin Homola:
How to Get Around with Wikis in Teaching. ICWL 2012: 21-30 - 2011
- [c9]Luciano Serafini, Martin Homola:
Contextual Representation and Reasoning with Description Logics. Description Logics 2011 - 2010
- [j1]Martin Homola, Luciano Serafini:
Augmenting Subsumption Propagation in Distributed Description Logics. Appl. Artif. Intell. 24(1&2): 39-76 (2010) - [c8]Martin Homola, Luciano Serafini:
Towards Formal Comparison of Ontology Linking, Mapping and Importing. Description Logics 2010 - [c7]Martin Homola, Andrei Tamilin, Luciano Serafini:
Modeling Contextualized Knowledge. CIAO@EKAW 2010
2000 – 2009
- 2009
- [c6]Martin Homola, Zuzana Kubincová:
Practising Web Design Essentials by Iterative Blog Development within a Community Portal. CSEDU (1) 2009: 181-186 - [c5]Juraj Frank, Renate Motschnig, Martin Homola:
Towards an "Intelligent" Tagging Tool for Blogs. WSKS (2) 2009: 129-136 - [p1]Luciano Serafini, Martin Homola:
Modular Knowledge Representation and Reasoning in the Semantic Web. Semantic Web Information Management 2009: 147-181 - 2008
- [c4]Martin Homola:
Subsumption Propagation between Remote Ontologies in Distributed Description Logic. Description Logics 2008 - 2007
- [c3]Martin Homola:
Distributed Description Logics Revisited. Description Logics 2007 - [c2]Martin Homola:
Towards Distributed Ontologies with Description Logics. KWEPSY 2007 - 2004
- [c1]Martin Homola:
Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs. CLIMA 2004: 78-95
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-05 20:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
