Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Marie Duzí

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Marek Mensík

> Home > Persons > Marie Duzí

Publications

2020
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/cys/DuziM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cys/DuziM20
Marie Duzí, Marek Mensík:
Inferring Knowledge from Textual Data by Natural Deduction. Computación y Sistemas 24(1) (2020)
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/ejc/AlbertDMPP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ejc/AlbertDMPP20
Adam Albert, Marie Duzí, Marek Mensík, Miroslav Pajr, Vojtech Patschka:
Search for Appropriate Textual Information Sources. EJC 2020: 227-246
2019
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/cys/MensikDAPP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cys/MensikDAPP19
Marek Mensík, Marie Duzí, Adam Albert, Vojtech Patschka, Miroslav Pajr:
Refining Concepts by Machine Learning. Computación y Sistemas 23(3) (2019)
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/ejc/MensikDAPP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ejc/MensikDAPP19
Marek Mensík, Marie Duzí, Adam Albert, Vojtech Patschka, Miroslav Pajr:
Machine Learning Using TIL. EJC 2019: 344-362
[c40]
- view
  - electronic edition @ muni.cz (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/raslan/DuziFM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/raslan/DuziFM19
Marie Duzí, Michal Fait, Marek Mensík:
Adjustment of Goal-driven Resolution for Natural Language Processing in TIL. RASLAN 2019: 71-81
2018
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/ejc/DuziMPP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ejc/DuziMPP18
Marie Duzí, Marek Mensík, Miroslav Pajr, Vojtech Patschka:
Natural Deduction System in the TIL-Script Language. EJC 2018: 237-255
2017
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/ejc/MensikDK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ejc/MensikDK17
Marek Mensík, Marie Duzí, Jakub Kermaschek:
The Role of Beta Conversion in Functional Programming. EJC 2017: 280-298
2016
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/ejc/DuziM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ejc/DuziM16
Marie Duzí, Marek Mensík:
Logic of Inferable Knowledge. EJC 2016: 405-425
2014
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/ejc/MensikDG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ejc/MensikDG14
Marek Mensík, Marie Duzí, Jakub Gerlich:
eLogika - the system for teaching logic. EJC 2014: 291-307
2013
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/ejc/CihalovaDM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ejc/CihalovaDM13
Martina Cíhalová, Marie Duzí, Marek Mensík:
Logical Specification of Processes. EJC 2013: 45-63
2012
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/ejc/DuziMP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ejc/DuziMP12
Marie Duzí, Marek Mensík, Michal Perdek:
Document Similarity. EJC 2012: 241-254
[c25]
- view
  - electronic edition @ muni.cz (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/raslan/DuziMV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/raslan/DuziMV12
Marie Duzí, Marek Mensík, Lukás Vích:
Deduction System for TIL-2010. RASLAN 2012: 33-41
2011
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/deis/DuziMCD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deis/DuziMCD11
Marie Duzí, Marek Mensík, Martina Cíhalová, Ludmila Dostálová:
E-Learning Support for Logic Education. DEIS 2011: 560-568
2010
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ejc/DuziCM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ejc/DuziCM10
Marie Duzí, Martina Cíhalová, Marek Mensík:
Ontology as a Logic of Intensions. EJC 2010: 1-20
[c20]
- view
  - electronic edition @ muni.cz (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/raslan/DuziCMV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/raslan/DuziCMV10
Marie Duzí, Martina Cíhalová, Marek Mensík, Lukás Vích:
Process Ontology. RASLAN 2010: 77-88
2009
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ejc/CihalovaCDM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ejc/CihalovaCDM09
Martina Cíhalová, Nikola Ciprich, Marie Duzí, Marek Mensík:
Agents' reasoning using TIL-Script and Prolog. EJC 2009: 135-154
[c16]
- view
  - electronic edition @ muni.cz (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/raslan/CihalovaCDFM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/raslan/CihalovaCDFM09
Martina Cíhalová, Nikola Ciprich, Marie Duzí, Tomás Frydrych, Marek Mensík:
Deductive Reasoning using TIL. RASLAN 2009: 25-38
2008
[c10]
- view
  - electronic edition @ muni.cz (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/raslan/CihalovaCDM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/raslan/CihalovaCDM08
Martina Cíhalová, Nikola Ciprich, Marie Duzí, Marek Mensík:
TIL and Logic Programming. RASLAN 2008: 17-30

a service of

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.