Martin Homola - RankMe

92 papers A* 1A 2B 4C 3Misc 1Journal 16Unranked 59

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Evaluating the Trustworthiness of LEMNA versus LIME and SHAP in Explainable Malware Detection. ICAART (4) Kefas Rimamnuskeb Galadima, Peter Anthony, Roderik Ploszek, Stefan Balogh, Pavol Zajac, Martin Homola
2025	—	`conf`	A Note on Methods for Explainable Malware Analysis. JOWO Martin Homola, Peter Anthony, Iveta Becková, Ján Kluka, Ján Mojzis, Peter Svec, Stefan Balogh, Franco Alberto Cardillo, Franca Debole, Umberto Straccia, Martin Kenyeres, Francesco Giannini, Michelangelo Diligenti, Marco Gori, Tomás Bisták, Daniel Trizna, Zekeri Adams
2025	—	`conf`	CATS Solver: The Rise of Hybrid Abduction Algorithms. DL Jakub Kloc, Janka Boborová, Martin Homola, Júlia Pukancová
2025	—	`conf`	Can Full Set-Theoretical Subsumption Semantics in Metamodelled Description Logics Be Captured Within Decidable FOL Fragments? DL Zekeri Adams, Martin Homola, Ján Kluka
2025	A	`conf`	Integrating Individual and Group Fairness for Recommender Systems through Social Choice. RecSys Amanda Aird, Elena Stefancova, Anas Buhayh, Cassidy All, Martin Homola, Nicholas Mattei, Robin Burke
2025	—	`conf`	On the Way to Diverse Datasets for Evaluating ABox Abduction Algorithms (Extended Abstract). DL Janka Boborová, Jakub Kloc, Martin Homola, Júlia Pukancová
2025	B	`conf`	Rule Extraction and Interaction-Aware Explainability for AI-Driven Malware Detection. RuleML+RR Peter Anthony, Kefas Rimamnuskeb Galadima, Zekeri Adams, Monday Onoja, Daniel Arp, Martin Homola, Stefan Balogh
2024	—	`conf`	Benchmarking in Neuro-Symbolic AI. IJCLR Robin Manhaeve, Francesco Giannini, Mehdi Ali, Damiano Azzolini, Alice Bizzarri, Andrea Borghesi, Samuele Bortolotti, Luc De Raedt, Devendra Singh Dhami, Michelangelo Diligenti, Sebastijan Dumancic, Boi Faltings, Elisabetta Gentili, Alfonso Gerevini, Marco Gori, Tias Guns, Martin Homola, Kristian Kersting, Jens Lehmann, Michele Lombardi, Luca Salvatore Lorello, Emanuele Marconato, Stefano Melacci, Andrea Passerini, Debjit Paul, Fabrizio Riguzzi, Stefano Teso, Neil Yorke-Smith, Marco Lippi
2024	J	`jnl`	Data Generation via Latent Factor Simulation for Fairness-aware Re-ranking. CoRR Elena Stefancova, Cassidy All, Joshua Paup, Martin Homola, Nicholas Mattei, Robin Burke
2024	J	`jnl`	Explainable Malware Detection with Tailored Logic Explained Networks. CoRR Peter Anthony, Francesco Giannini, Michelangelo Diligenti, Martin Homola, Marco Gori, Stefan Balogh, Ján Mojzis
2024	—	`conf`	Leveraging Meta-Modelling Language for Ontology Structuring and Validation. EKAW (Companion) Zekeri Adams, Martin Homola, Ján Kluka, Vojtech Svátek
2024	—	`conf`	Logically Explainable Malware Detection. HI-AI@KDD Peter Anthony, Francesco Giannini, Michelangelo Diligenti, Marco Gori, Martin Homola, Stefan Balogh, Ján Mojzis
2024	—	`conf`	Ontology-Driven Learning-Progress Tracking Tool in an Adaptive Virtual Learning Environment. ICWL Martin Homola, Zuzana Kubincová, Ján Kluka, Silvia Bieliková, Rastislav Urbánek
2024	J	`jnl`	Semantic Data Representation for Explainable Windows Malware Detection Models. CoRR Peter Svec, Stefan Balogh, Martin Homola, Ján Kluka, Tomás Bisták
2024	A	`conf`	Social Choice for Heterogeneous Fairness in Recommendation. RecSys Amanda Aird, Elena Stefancova, Cassidy All, Amy Voida, Martin Homola, Nicholas Mattei, Robin Burke
2024	J	`jnl`	Social Choice for Heterogeneous Fairness in Recommendation. CoRR Amanda Aird, Elena Stefancova, Cassidy All, Amy Voida, Martin Homola, Nicholas Mattei, Robin Burke
2024	—	`conf`	Towards CATS: A Modular ABox Abduction Solver Based on Black-Box Architecture (Extended Abstract). Description Logics Janka Boborová, Jakub Kloc, Martin Homola, Júlia Pukancová
2023	—	`conf`	DL Abduction API v2 and GUI Interface (Extended Abstract). Description Logics Jakub Kloc, Martin Homola, Júlia Pukancová
2023	—	`conf`	Improving DL-Learner on a Malware Detection Use Case. Description Logics Tomás Bisták, Peter Svec, Ján Kluka, Alexander Simko, Stefan Balogh, Martin Homola
2023	J	`jnl`	Knowledge-Based Dataset for Training PE Malware Detection Models. CoRR Peter Svec, Stefan Balogh, Martin Homola, Ján Kluka
2023	—	`conf`	Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver (Extended Abstract). Description Logics Janka Boborová, Iveta Balintová, Júlia Pukancová, Martin Homola
2023	B	`conf`	Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver. JELIA Martin Homola, Júlia Pukancová, Janka Boborová, Iveta Balintová
2023	—	`conf`	Tracking the Adaptive Learning Process with Topics Ontology. ICWL Martin Homola, Zuzana Kubincová, Rastislav Urbánek, Ján Kluka
2022	—	`conf`	An API for DL Abduction Solvers. Description Logics Zuzana Hlávková, Martin Homola, Patrick Koopmann, Júlia Pukancová
2022	Misc	`conf`	Educational Code-Review Tool: A First Glimpse. MIS4TEL Zuzana Kubincová, Ján Kluka, Martin Homola, Adrián Marusák
2022	—	`conf`	Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results. Description Logics Martin Homola, Júlia Pukancová, Iveta Balintová, Janka Boborová
2022	—	`ed.`	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. Description Logics Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier
2021	C	`conf`	Experimental Evaluation of Description Logic Concept Learning Algorithms for Static Malware Detection. ICISSP Peter Svec, Stefan Balogh, Martin Homola
2021	—	`conf`	Patterns for Referring to Multiple Indirectly Specified Objects (MISO): Analysis and Guidelines. WOP (Book) Vojtech Svátek, Ján Kluka, Miroslav Vacura, Martin Homola, Marek Dudás
2021	—	`ed.`	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 Description Logics Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt
2020	J	`jnl`	Cosmic-Ray Extremely Distributed Observatory. Symmetry 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
2020	—	`conf`	Merge, Explain, Iterate. Description Logics Martin Homola, Júlia Pukancová, Júlia Gablíková, Katarína Fabianová
2020	J	`jnl`	The AAA ABox Abduction Solver. Künstliche Intell. Júlia Pukancová, Martin Homola
2020	J	`jnl`	Towards Higher-order OWL. Künstliche Intell. Martin Homola, Ján Kluka, Petra Hozzová, Vojtech Svátek, Miroslav Vacura
2019	J	`jnl`	Badges for Peer Assessment of Teamwork in Organized Education. J. Univers. Comput. Sci. Zuzana Kubincová, Dana Suníková, Martin Homola
2019	—	`conf`	Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain. Description Logics Katarína Fabianová, Júlia Pukancová, Martin Homola
2019	—	`conf`	Timing the Adaptive Learning Process with Events Ontology. ICWL Martin Homola, Ján Kluka, Zuzana Kubincová, Patrícia Marmanová, Milan Cifra
2018	—	`conf`	A Badge for Reducing Open Answers in Peer Assessment. ICWL Dana Suníková, Zuzana Kubincová, Martin Homola
2018	—	`conf`	ABox Abduction Solver Exploiting Multiple DL Reasoners. Description Logics Drahomír Mrózek, Júlia Pukancová, Martin Homola
2018	—	`conf`	ABox Abduction for Description Logics: The Case of Multiple Observations. Description Logics Júlia Pukancová, Martin Homola
2018	—	`ed.`	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. MedRACER+WOMoCoE@KR Kristijonas Cyras, Tiago Oliveira, Matthew Williams, Loris Bozzato, Martin Homola, Till Mossakowski, Antoine Zimmermann
2018	—	`conf`	SIVA: An Educational Tool for the Tableau Reasoning Algorithm. Description Logics Peter Paulovics, Júlia Pukancová, Martin Homola
2017	—	`conf`	Code Review in Computer Science Courses: Take One. ICWL Zuzana Kubincová, Martin Homola
2017	—	`conf`	Constructive Satisfiability Procedure for ALC Description Logics Nadia Labai, Martin Homola, Magdalena Ortiz
2017	—	`ed.`	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. WSP/WOMoCoE@ISWC Daniele Dell'Aglio, Darko Anicic, Payam M. Barnaghi, Emanuele Della Valle, Deborah L. McGuinness, Loris Bozzato, Thomas Eiter, Martin Homola, Daniele Porello
2017	—	`conf`	Pattern Alternatives for Referring to Multiple Indirectly Specified Objects. WOP@ISWC Vojtech Svátek, Ján Kluka, Miroslav Vacura, Martin Homola
2017	—	`conf`	Tableau-Based ABox Abduction for the ALCHO Description Logic. Description Logics Júlia Pukancová, Martin Homola
2017	—	`conf`	Team workflow and peer review in a virtual learning environment. ITHET Martin Homola, Zuzana Kubincová, Ján Kluka, Martin Svolik, Milan Darjanin, Peter Zapalac
2016	A*	`conf`	Expressive Description Logic with Instantiation Metamodelling. KR Petra Kubincová, Ján Kluka, Martin Homola
2016	—	`conf`	Peer Reviews in a Web Design Course: Now Students like Them Too. SETE@ICWL Zuzana Kubincová, Martin Homola, Veronika Dropcová
2016	—	`ed.`	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. JOWO@FOIS 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
2016	J	`jnl`	Students' acceptance of peer review in Computer Science course. EAI Endorsed Trans. e Learn. Zuzana Kubincová, Veronika Dropcová, Martin Homola
2016	—	`conf`	Tableau-Based ABox Abduction for Description Logics: Preliminary Report. Description Logics Júlia Pukancová, Martin Homola
2015	—	`conf`	Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis. Description Logics Júlia Pukancová, Martin Homola
2015	—	`conf`	Blogging Activities in Higher Education: Comparing Learning Scenarios in Multiple Course Experiences. ICWL Elvira Popescu, Zuzana Kubincová, Martin Homola
2015	J	`jnl`	Resolving conflicts in knowledge for ambient intelligence. Knowl. Eng. Rev. Martin Homola, Theodore Patkos, Giorgos Flouris, Ján Sefránek, Alexander Simko, Jozef Frtús, Dimitra Zografistou, Martin Baláz
2015	—	`conf`	Students' Acceptance of Peer Review. eLEOT Veronika Dropcová, Martin Homola, Zuzana Kubincová
2015	—	`conf`	Towards Expressive Metamodelling with Instantiation. Description Logics Petra Kubincová, Ján Kluka, Martin Homola
2014	C	`conf`	A Dialogical Model for Collaborative Decision Making Based on Compromises. EUMAS Dimitra Zografistou, Giorgos Flouris, Theodore Patkos, Dimitris Plexousakis, Martin Baláz, Martin Homola, Alexander Simko
2014	—	`conf`	Acquisition, Representation and Reasoning About Context with Logic (ARCOE-Logic 2014). EKAW (Satellite Events) Alessandra Mileo, Martin Homola, Michael Fink
2014	B	`conf`	Are Students Reliable Peer-Reviewers? ICALT Veronika Bejdová, Zuzana Kubincová, Martin Homola
2014	—	`conf`	B-Annot: Supplying Background Model Annotations for Ontology Coherence Testing. WoDOOM Vojtech Svátek, Simone Serra, Miroslav Vacura, Martin Homola, Ján Kluka
2014	—	`conf`	Blogging in Obligatory Course: A Bitter Victory. ICWL Veronika Bejdová, Martin Homola, Zuzana Kubincová
2014	C	`conf`	Conflict Resolution in Assumption-Based Frameworks. EUMAS Martin Baláz, Jozef Frtús, Giorgos Flouris, Martin Homola, Ján Sefránek
2014	—	`conf`	Different Types of Conflicting Knowledge in AmI Environments. EKAW (Satellite Events) Martin Homola, Theodore Patkos
2014	J	`jnl`	Different Types of Conflicting Knowledge in AmI Environments. CoRR Martin Homola, Theodore Patkos
2014	—	`conf`	Embedding Defeasible Logic Programs into Generalized Logic Programs. WLP/WFLP Martin Baláz, Jozef Frtús, Martin Homola, Ján Sefránek, Giorgos Flouris
2014	—	`conf`	Typed Higher-Order Variant of SROIQ - Why Not? Description Logics Martin Homola, Ján Kluka, Vojtech Svátek, Miroslav Vacura
2014	J	`jnl`	What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. J. Log. Comput. Matthias Knorr, Martin Slota, João Leite, Martin Homola
2014	J	`jnl`	Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014). CoRR Michael Fink, Martin Homola, Alessandra Mileo
2013	—	`conf`	Conflict Resolution in Structured Argumentation. LPAR (short papers) Martin Baláz, Jozef Frtús, Martin Homola
2013	—	`conf`	ExpTime Tableaux Algorithm for Contextualized CONTEXT Loris Bozzato, Martin Homola, Luciano Serafini
2013	B	`conf`	Mapping structural design patterns in OWL to ontological background models. K-CAP Vojtech Svátek, Martin Homola, Ján Kluka, Miroslav Vacura
2013	—	`conf`	Metamodeling-Based Coherence Checking of OWL Vocabulary Background Models. OWLED Vojtech Svátek, Martin Homola, Ján Kluka, Miroslav Vacura
2013	—	`conf`	Motivational Effect of Peer Review in Blog-Based Activities. ICWL Zuzana Kubincová, Martin Homola, Veronika Bejdová
2013	—	`conf`	Towards Typed Higher-Order Description Logics. Description Logics Martin Homola, Ján Kluka, Vojtech Svátek, Miroslav Vacura
2012	J	`jnl`	Contextualized knowledge repositories for the Semantic Web. J. Web Semant. Luciano Serafini, Martin Homola
2012	—	`conf`	How to Get Around with Wikis in Teaching. ICWL Zuzana Kubincová, Martin Homola
2012	—	`conf`	MKNF Knowledge Bases in Multi-Context Systems. CLIMA Martin Homola, Matthias Knorr, João Leite, Martin Slota
2012	—	`conf`	Tool-supported Assessment of Wiki-based Assignments. CSEDU (2) Zuzana Kubincová, Martin Homola, Roman Janajev
2012	—	`conf`	Towards More Effective Tableaux Reasoning for CKR. Description Logics Loris Bozzato, Martin Homola, Luciano Serafini
2011	—	`conf`	Contextual Representation and Reasoning with Description Logics. Description Logics Luciano Serafini, Martin Homola
2010	J	`jnl`	Augmenting Subsumption Propagation in Distributed Description Logics. Appl. Artif. Intell. Martin Homola, Luciano Serafini
2010	—	`conf`	Modeling Contextualized Knowledge. CIAO@EKAW Martin Homola, Andrei Tamilin, Luciano Serafini
2010	—	`conf`	Towards Formal Comparison of Ontology Linking, Mapping and Importing. Description Logics Martin Homola, Luciano Serafini
2009	—	`ch.`	Modular Knowledge Representation and Reasoning in the Semantic Web. Semantic Web Information Management Luciano Serafini, Martin Homola
2009	—	`conf`	Practising Web Design Essentials by Iterative Blog Development within a Community Portal. CSEDU (1) Martin Homola, Zuzana Kubincová
2009	—	`conf`	Towards an "Intelligent" Tagging Tool for Blogs. WSKS (2) Juraj Frank, Renate Motschnig, Martin Homola
2008	—	`conf`	Subsumption Propagation between Remote Ontologies in Distributed Description Logic. Description Logics Martin Homola
2007	—	`conf`	Distributed Description Logics Revisited. Description Logics Martin Homola
2007	—	`conf`	Towards Distributed Ontologies with Description Logics. KWEPSY Martin Homola
2004	—	`conf`	Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs. CLIMA Martin Homola