Marek Mensík

31 papers C 19Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2026 C ed.
Information Modelling and Knowledge Bases XXXVII: Proceedings of the 35th International Conference on Information Modelling and Knowledge Bases, EJC 2025, Ostrava, Czech Republic, June 9-13, 2025
EJC
Marek Mensík, Hannu Jaakkola, Marina Tropmann-Frick, Yasushi Kiyoki, Virach Sornlertlamvanich, Naofumi Yoshida
2025 C conf
Completing Intersection Passages for Sketch Map Creation.
EJC
Adam Albert, Petr Rapant, Marek Mensík, Martin Frycz
2024 C conf
An Outline of AI-Driven Homogenization of Geographical Named Entities in Textual Data.
EJC
Adam Albert, Petr Rapant, Marek Mensík
2024 J jnl
Automatic sketch map creation from labeled planar graph.
Int. J. Geogr. Inf. Sci.
Petr Rapant, Marek Mensík, Adam Albert
2024 C conf
Using MAS for a Sketch Map Creation.
EJC
Marek Mensík, Matej Tomsu, Petr Rapant, Adam Albert
2023 C conf
Algorithm for Generating Sketch Maps from Spatial Information Extracted from Natural Language Descriptions.
EJC
Marek Mensík, Petr Rapant, Adam Albert
2022 C conf
Heuristics for Spatial Data Descriptions in a Multi-Agent System.
EJC
Marek Mensík, Adam Albert, Petr Rapant, Tomás Michalovský
2022 — conf
Processing TIL-Script Constructions for Supervised Machine Learning with Symbolic Representation.
ITAT
Tomás Michalovský, Marek Mensík, Adam Albert
2022 C conf
Rules for Converting Natural Language Text with Motion Verbs into TIL-Script.
EJC
Martina Cíhalová, Marek Mensík
2021 C conf
Conceptual Framework for the Conversion of Text Document into TIL-Script.
EJC
Martina Cíhalová, Marek Mensík
2021 C conf
Improvement of Searching for Appropriate Textual Information Sources Using Association Rules and FCA.
EJC
Marek Mensík, Adam Albert, Vojtech Patschka, Miroslav Pajr
2021 — conf
Using FCA and Concept Explications for Finding an Appropriate Concept.
RASLAN
Marek Mensík, Adam Albert, Tomás Michalovský
2020 J jnl
Inferring Knowledge from Textual Data by Natural Deduction.
Computación y Sistemas
Marie Duzí, Marek Mensík
2020 C conf
Search for Appropriate Textual Information Sources.
EJC
Adam Albert, Marie Duzí, Marek Mensík, Miroslav Pajr, Vojtech Patschka
2020 — conf
Using FCA for Seeking Relevant Information Sources.
RASLAN
Marek Mensík, Adam Albert, Vojtech Patschka
2019 — conf
Adjustment of Goal-driven Resolution for Natural Language Processing in TIL.
RASLAN
Marie Duzí, Michal Fait, Marek Mensík
2019 C conf
Machine Learning Using TIL.
EJC
Marek Mensík, Marie Duzí, Adam Albert, Vojtech Patschka, Miroslav Pajr
2019 J jnl
Refining Concepts by Machine Learning.
Computación y Sistemas
Marek Mensík, Marie Duzí, Adam Albert, Vojtech Patschka, Miroslav Pajr
2018 C conf
Natural Deduction System in the TIL-Script Language.
EJC
Marie Duzí, Marek Mensík, Miroslav Pajr, Vojtech Patschka
2017 C conf
The Role of Beta Conversion in Functional Programming.
EJC
Marek Mensík, Marie Duzí, Jakub Kermaschek
2016 C conf
Logic of Inferable Knowledge.
EJC
Marie Duzí, Marek Mensík
2014 C conf
eLogika - the system for teaching logic.
EJC
Marek Mensík, Marie Duzí, Jakub Gerlich
2013 C conf
Logical Specification of Processes.
EJC
Martina Cíhalová, Marie Duzí, Marek Mensík
2012 — conf
Deduction System for TIL-2010.
RASLAN
Marie Duzí, Marek Mensík, Lukás Vích
2012 C conf
Document Similarity.
EJC
Marie Duzí, Marek Mensík, Michal Perdek
2011 — conf
E-Learning Support for Logic Education.
DEIS
Marie Duzí, Marek Mensík, Martina Cíhalová, Ludmila Dostálová
2010 C conf
Ontology as a Logic of Intensions.
EJC
Marie Duzí, Martina Cíhalová, Marek Mensík
2010 — conf
Process Ontology.
RASLAN
Marie Duzí, Martina Cíhalová, Marek Mensík, Lukás Vích
2009 C conf
Agents' reasoning using TIL-Script and Prolog.
EJC
Martina Cíhalová, Nikola Ciprich, Marie Duzí, Marek Mensík
2009 — conf
Deductive Reasoning using TIL.
RASLAN
Martina Cíhalová, Nikola Ciprich, Marie Duzí, Tomás Frydrych, Marek Mensík
2008 — conf
TIL and Logic Programming.
RASLAN
Martina Cíhalová, Nikola Ciprich, Marie Duzí, Marek Mensík