Marek Mensík

According to our database, Marek Mensík authored at least 27 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Automatic sketch map creation from labeled planar graph.

Petr Rapant, Marek Mensík, Adam Albert

Int. J. Geogr. Inf. Sci., May, 2024

2023

Algorithm for Generating Sketch Maps from Spatial Information Extracted from Natural Language Descriptions.

Marek Mensík, Petr Rapant, Adam Albert

Proceedings of the Information Modelling and Knowledge Bases XXXV, 2023

2022

Processing TIL-Script Constructions for Supervised Machine Learning with Symbolic Representation.

Tomás Michalovský, Marek Mensík, Adam Albert

Proceedings of the 22nd Conference Information Technologies, 2022

Heuristics for Spatial Data Descriptions in a Multi-Agent System.

Marek Mensík, Adam Albert, Petr Rapant, Tomás Michalovský

Proceedings of the Information Modelling and Knowledge Bases XXXIV, 2022

Rules for Converting Natural Language Text with Motion Verbs into TIL-Script.

Martina Cíhalová, Marek Mensík

Proceedings of the Information Modelling and Knowledge Bases XXXIV, 2022

2021

Using FCA and Concept Explications for Finding an Appropriate Concept.

Marek Mensík, Adam Albert, Tomás Michalovský

Proceedings of the 15th Workshop on Recent Advances in Slavonic Natural Languages Processing, 2021

Improvement of Searching for Appropriate Textual Information Sources Using Association Rules and FCA.

Marek Mensík, Adam Albert, Vojtech Patschka, Miroslav Pajr

Proceedings of the Information Modelling and Knowledge Bases XXXIII- Proceedings of the 31st International Conference on Information Modelling and Knowledge Bases, 2021

Conceptual Framework for the Conversion of Text Document into TIL-Script.

Martina Cíhalová, Marek Mensík

Proceedings of the Information Modelling and Knowledge Bases XXXIII- Proceedings of the 31st International Conference on Information Modelling and Knowledge Bases, 2021

2020

Inferring Knowledge from Textual Data by Natural Deduction.

Marie Duzí, Marek Mensík

Computación y Sistemas, 2020

Using FCA for Seeking Relevant Information Sources.

Marek Mensík, Adam Albert, Vojtech Patschka

Proceedings of the 14th Workshop on Recent Advances in Slavonic Natural Languages Processing, 2020

Search for Appropriate Textual Information Sources.

Adam Albert, Marie Duzí, Marek Mensík, Miroslav Pajr, Vojtech Patschka

Proceedings of the Information Modelling and Knowledge Bases XXXII, 2020

2019

Refining Concepts by Machine Learning.

Marek Mensík, Marie Duzí, Adam Albert, Vojtech Patschka, Miroslav Pajr

Computación y Sistemas, 2019

Adjustment of Goal-driven Resolution for Natural Language Processing in TIL.

Marie Duzí, Michal Fait, Marek Mensík

Proceedings of the 13th Workshop on Recent Advances in Slavonic Natural Languages Processing, 2019

Machine Learning Using TIL.

Marek Mensík, Marie Duzí, Adam Albert, Vojtech Patschka, Miroslav Pajr

Proceedings of the Information Modelling and Knowledge Bases XXXI, 2019

2018

Natural Deduction System in the TIL-Script Language.

Marie Duzí, Marek Mensík, Miroslav Pajr, Vojtech Patschka

Proceedings of the Information Modelling and Knowledge Bases XXX, 2018

2017

The Role of Beta Conversion in Functional Programming.

Marek Mensík, Marie Duzí, Jakub Kermaschek

Proceedings of the Information Modelling and Knowledge Bases XXIX, 2017

2016

Logic of Inferable Knowledge.

Marie Duzí, Marek Mensík

Proceedings of the Information Modelling and Knowledge Bases XXVIII, 2016

2014

eLogika - the system for teaching logic.

Marek Mensík, Marie Duzí, Jakub Gerlich

Proceedings of the Information Modelling and Knowledge Bases XXVI, 2014

2013

Logical Specification of Processes.

Martina Cíhalová, Marie Duzí, Marek Mensík

Proceedings of the Information Modelling and Knowledge Bases XXV, 2013

2012

Deduction System for TIL-2010.

Marie Duzí, Marek Mensík, Lukás Vích

Proceedings of the 6th Workshop on Recent Advances in Slavonic Natural Languages Processing, 2012

Document Similarity.

Marie Duzí, Marek Mensík, Michal Perdek

Proceedings of the Information Modelling and Knowledge Bases XXIV, 2012

2011

E-Learning Support for Logic Education.

Marie Duzí, Marek Mensík, Martina Cíhalová, Ludmila Dostálová

Proceedings of the Digital Enterprise and Information Systems - International Conference, 2011

2010

Process Ontology.

Marie Duzí, Martina Cíhalová, Marek Mensík, Lukás Vích

Proceedings of the 4th Workshop on Recent Advances in Slavonic Natural Languages Processing, 2010

Ontology as a Logic of Intensions.

Marie Duzí, Martina Cíhalová, Marek Mensík

Proceedings of the Information Modelling and Knowledge Bases XXII, 20th European-Japanese Conference on Information Modelling and Knowledge Bases (EJC 2010), Jyväskylä, Finland, 31 May, 2010

2009

Deductive Reasoning using TIL.

Martina Cíhalová, Nikola Ciprich, Marie Duzí, Tomás Frydrych, Marek Mensík

Proceedings of the 3rd Workshop on Recent Advances in Slavonic Natural Languages Processing, 2009

Agents' reasoning using TIL-Script and Prolog.

Martina Cíhalová, Nikola Ciprich, Marie Duzí, Marek Mensík

Proceedings of the Information Modelling and Knowledge Bases XXI, 2009

2008

TIL and Logic Programming.

Martina Cíhalová, Nikola Ciprich, Marie Duzí, Marek Mensík

Proceedings of the 2nd Workshop on Recent Advances in Slavonic Natural Languages Processing, 2008