Ján Kluka

According to our database, Ján Kluka authored at least 19 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of five.
• 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

Focused categorization power of ontologies: General framework and study on simple existential concept expressions.

Vojtech Svátek, Ondrej Zamazal, Viet Bach Nguyen, Jirí Ivánek, Ján Kluka, Miroslav Vacura

Semantic Web, 2023

Knowledge-Based Dataset for Training PE Malware Detection Models.

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

CoRR, 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

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

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

2020

Towards Higher-order OWL.

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

Künstliche Intell., 2020

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

2017

First- and Second-Order Models of Recursive Arithmetics.

Ján Kluka, Paul J. Voda

CoRR, 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

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

2015

Towards Expressive Metamodelling with Instantiation.

Petra Kubincová, Ján Kluka, Martin Homola

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

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

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

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

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