![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Marek Mensík
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j3]Petr Rapant, Marek Mensík, Adam Albert:
Automatic sketch map creation from labeled planar graph. Int. J. Geogr. Inf. Sci. 38(5): 981-1006 (2024) - 2023
- [c24]Marek Mensík, Petr Rapant, Adam Albert:
Algorithm for Generating Sketch Maps from Spatial Information Extracted from Natural Language Descriptions. EJC 2023: 239-252 - 2022
- [c23]Marek Mensík, Adam Albert, Petr Rapant, Tomás Michalovský:
Heuristics for Spatial Data Descriptions in a Multi-Agent System. EJC 2022: 68-80 - [c22]Martina Cíhalová, Marek Mensík:
Rules for Converting Natural Language Text with Motion Verbs into TIL-Script. EJC 2022: 159-168 - [c21]Tomás Michalovský, Marek Mensík, Adam Albert:
Processing TIL-Script Constructions for Supervised Machine Learning with Symbolic Representation. ITAT 2022: 175-183 - 2021
- [c20]Martina Cíhalová, Marek Mensík:
Conceptual Framework for the Conversion of Text Document into TIL-Script. EJC 2021: 177-187 - [c19]Marek Mensík, Adam Albert, Vojtech Patschka, Miroslav Pajr:
Improvement of Searching for Appropriate Textual Information Sources Using Association Rules and FCA. EJC 2021: 204-214 - [c18]Marek Mensík, Adam Albert, Tomás Michalovský:
Using FCA and Concept Explications for Finding an Appropriate Concept. RASLAN 2021: 49-60 - 2020
- [j2]Marie Duzí
, Marek Mensík
:
Inferring Knowledge from Textual Data by Natural Deduction. Computación y Sistemas 24(1) (2020) - [c17]Adam Albert, Marie Duzí, Marek Mensík
, Miroslav Pajr, Vojtech Patschka:
Search for Appropriate Textual Information Sources. EJC 2020: 227-246 - [c16]Marek Mensík, Adam Albert, Vojtech Patschka:
Using FCA for Seeking Relevant Information Sources. RASLAN 2020: 47-54
2010 – 2019
- 2019
- [j1]Marek Mensík
, Marie Duzí
, Adam Albert, Vojtech Patschka, Miroslav Pajr:
Refining Concepts by Machine Learning. Computación y Sistemas 23(3) (2019) - [c15]Marek Mensík
, Marie Duzí
, Adam Albert, Vojtech Patschka, Miroslav Pajr:
Machine Learning Using TIL. EJC 2019: 344-362 - [c14]Marie Duzí, Michal Fait, Marek Mensík:
Adjustment of Goal-driven Resolution for Natural Language Processing in TIL. RASLAN 2019: 71-81 - 2018
- [c13]Marie Duzí
, Marek Mensík
, Miroslav Pajr, Vojtech Patschka:
Natural Deduction System in the TIL-Script Language. EJC 2018: 237-255 - 2017
- [c12]Marek Mensík
, Marie Duzí
, Jakub Kermaschek:
The Role of Beta Conversion in Functional Programming. EJC 2017: 280-298 - 2016
- [c11]Marie Duzí
, Marek Mensík
:
Logic of Inferable Knowledge. EJC 2016: 405-425 - 2014
- [c10]Marek Mensík
, Marie Duzí
, Jakub Gerlich:
eLogika - the system for teaching logic. EJC 2014: 291-307 - 2013
- [c9]Martina Cíhalová, Marie Duzí
, Marek Mensík
:
Logical Specification of Processes. EJC 2013: 45-63 - 2012
- [c8]Marie Duzí
, Marek Mensík
, Michal Perdek:
Document Similarity. EJC 2012: 241-254 - [c7]Marie Duzí, Marek Mensík, Lukás Vích:
Deduction System for TIL-2010. RASLAN 2012: 33-41 - 2011
- [c6]Marie Duzí
, Marek Mensík
, Martina Cíhalová, Ludmila Dostálová
:
E-Learning Support for Logic Education. DEIS 2011: 560-568 - 2010
- [c5]Marie Duzí
, Martina Cíhalová, Marek Mensík
:
Ontology as a Logic of Intensions. EJC 2010: 1-20 - [c4]Marie Duzí, Martina Cíhalová, Marek Mensík, Lukás Vích:
Process Ontology. RASLAN 2010: 77-88
2000 – 2009
- 2009
- [c3]Martina Cíhalová, Nikola Ciprich, Marie Duzí
, Marek Mensík
:
Agents' reasoning using TIL-Script and Prolog. EJC 2009: 135-154 - [c2]Martina Cíhalová, Nikola Ciprich, Marie Duzí, Tomás Frydrych, Marek Mensík:
Deductive Reasoning using TIL. RASLAN 2009: 25-38 - 2008
- [c1]Martina Cíhalová, Nikola Ciprich, Marie Duzí, Marek Mensík:
TIL and Logic Programming. RASLAN 2008: 17-30
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-10 21:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint