Ján Kluka - RankMe

23 papers A* 1B 1Misc 1Journal 5Unranked 15

Year	Rank	Type	Title / Venue / Authors
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`	Can Full Set-Theoretical Subsumption Semantics in Metamodelled Description Logics Be Captured Within Decidable FOL Fragments? DL Zekeri Adams, Martin Homola, Ján Kluka
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`	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
2023	J	`jnl`	Focused categorization power of ontologies: General framework and study on simple existential concept expressions. Semantic Web Vojtech Svátek, Ondrej Zamazal, Viet Bach Nguyen, Jirí Ivánek, Ján Kluka, Miroslav Vacura
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`	Tracking the Adaptive Learning Process with Topics Ontology. ICWL Martin Homola, Zuzana Kubincová, Rastislav Urbánek, Ján Kluka
2022	Misc	`conf`	Educational Code-Review Tool: A First Glimpse. MIS4TEL Zuzana Kubincová, Ján Kluka, Martin Homola, Adrián Marusák
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
2020	J	`jnl`	Towards Higher-order OWL. Künstliche Intell. Martin Homola, Ján Kluka, Petra Hozzová, Vojtech Svátek, Miroslav Vacura
2019	—	`conf`	Timing the Adaptive Learning Process with Events Ontology. ICWL Martin Homola, Ján Kluka, Zuzana Kubincová, Patrícia Marmanová, Milan Cifra
2017	J	`jnl`	First- and Second-Order Models of Recursive Arithmetics. CoRR Ján Kluka, Paul J. Voda
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`	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
2015	—	`conf`	Towards Expressive Metamodelling with Instantiation. Description Logics Petra Kubincová, Ján Kluka, 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`	Typed Higher-Order Variant of SROIQ - Why Not? Description Logics Martin Homola, Ján Kluka, Vojtech Svátek, Miroslav Vacura
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`	Towards Typed Higher-Order Description Logics. Description Logics Martin Homola, Ján Kluka, Vojtech Svátek, Miroslav Vacura