Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Marek Mensík is active.

Publication


Featured researches published by Marek Mensík.


digital enterprise and information systems | 2011

E-Learning Support for Logic Education

Marie Duží; Marek Mensík; Martina Cíhalová; Ludmila Dostálová

In this paper we introduce two e-learning systems, namely eLogika and (LMS) ORGANON. Both systems are apt for teaching logic and should improve the quality of the teaching. The ORGANON system is primarily aimed at solving tasks and practicing logical formalisms by means of interactive exercises. The eLogika system is intended to support effective automated testing of students’ knowledge together with automatic generation of suitable exam tests. We also describe the application of data-mining methods which can contribute to the improvement of e-learning systems by adjusting particular tests in accordance with students’ capabilities and needs.


Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI | 2010

Agents' reasoning using TIL-Script and Prolog

Martina Cíhalová; Nikola Ciprich; Marie Duží; Marek Mensík


INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS (ICNAAM 2016) | 2017

Context recognition for a hyperintensional inference machine

Marie Duží; Michal Fait; Marek Mensík


European Journal of Combinatorics | 2017

The Role of Beta Conversion in Functional Programming.

Marek Mensík; Marie Duzí; Jakub Kermaschek


17th International Multidisciplinary Scientific GeoConference SGEM2017 | 2017

Existential generalization in TIL

Marek Mensík; Jakub Kermaschek; Luděk Cienciala


European Journal of Combinatorics | 2016

Logic of Inferable Knowledge.

Marie Duzí; Marek Mensík


European Journal of Combinatorics | 2014

eLogika - the system for teaching logic.

Marek Mensík; Marie Duzí; Jakub Gerlich


European Journal of Combinatorics | 2013

Logical Specification of Processes.

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


RASLAN | 2012

Deduction System for TIL-2010.

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


Proceedings of the 2011 conference on Information Modelling and Knowledge Bases XXII | 2011

Ontology as a Logic of Intensions

Marie Duží; Martina Cíhalová; Marek Mensík

Collaboration


Dive into the Marek Mensík's collaboration.

Top Co-Authors

Avatar

Marie Duzí

Technical University of Ostrava

View shared research outputs
Top Co-Authors

Avatar

Martina Cíhalová

Technical University of Ostrava

View shared research outputs
Top Co-Authors

Avatar

Marie Duží

Technical University of Ostrava

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Tomás Frydrych

Technical University of Ostrava

View shared research outputs
Researchain Logo
Decentralizing Knowledge