Marie Duzí

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 23

Top Topics

Machine Learning

Natural Language

Textual Information

Conceptual Modelling

Top Venues

Computación y Sistemas

Publications

Martina Cíhalová, Marie Duzí
Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers. Log. J. IGPL 31 (1) (2023)
Marie Duzí
'Knowing-that' vs. 'Knowing-wh'. EJC (2022)
Marie Duzí
Questions and Answers on Dynamic Activities of Agents. RASLAN (2021)
Marie Duzí, Marek Mensík
Inferring Knowledge from Textual Data by Natural Deduction. Computación y Sistemas 24 (1) (2020)
Marie Duzí, Ales Horák
Hyperintensional Reasoning Based on Natural Language Knowledge Base. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 28 (3) (2020)
Adam Albert, Marie Duzí, Marek Mensík, Miroslav Pajr, Vojtech Patschka
Search for Appropriate Textual Information Sources. EJC (2020)
Marie Duzí, Michal Fait
Integrating Special Rules Rooted in Natural Language Semantics into the System of Natural Deduction. ICAART (1) (2020)
Marie Duzí
If structured propositions are logical procedures then how are procedures individuated? Synth. 196 (4) (2019)
Marek Mensík, Marie Duzí, Adam Albert, Vojtech Patschka, Miroslav Pajr
Refining Concepts by Machine Learning. Computación y Sistemas 23 (3) (2019)
Marie Duzí, Michal Fait
Question-Answering System in the TIL-Script Language. EJC (2019)
Marie Duzí, Michal Fait, Marek Mensík
Adjustment of Goal-driven Resolution for Natural Language Processing in TIL. RASLAN (2019)
Marek Mensík, Marie Duzí, Adam Albert, Vojtech Patschka, Miroslav Pajr
Machine Learning Using TIL. EJC (2019)
Yasushi Kiyoki, Bernhard Thalheim, Marie Duzí, Hannu Jaakkola, Petchporn Chawakitchareon, Anneli Heimbürger
Towards a Great Design of Conceptual Modelling. EJC (2019)
Marie Duzí, Ales Horák
Hyperintensional Reasoning based on Natural Language Knowledge Base. CoRR (2019)
Marie Duzí, Michal Fait
Type Checking Algorithm for the TIL-Script Language. EJC (2018)
Marie Duzí, Marek Mensík, Miroslav Pajr, Vojtech Patschka
Natural Deduction System in the TIL-Script Language. EJC (2018)
Marie Duzí, Michal Fait
Property Modifiers. RASLAN (2017)
Marie Duzí
Logic of Dynamic Discourse; Anaphora Resolution. EJC (2017)
Marie Duzí
Property Modifiers and Intensional Essentialism. Computación y Sistemas 21 (4) (2017)
Bjørn Jespersen, Massimiliano Carrara, Marie Duzí
Iterated privation and positive predication. J. Appl. Log. 25 (Supplement) (2017)
Marek Mensík, Marie Duzí, Jakub Kermaschek
The Role of Beta Conversion in Functional Programming. EJC (2017)
Marie Duzí, Marek Mensík
Logic of Inferable Knowledge. EJC (2016)
Marie Duzí, Michal Fait
The Algorithm of Context Recognition in TIL. RASLAN (2016)
Marie Duzí, Bjørn Jespersen
Transparent quantification into hyperintensional objectual attitudes. Synth. 192 (3) (2015)
Marie Duzí, Martina Cíhalová
Questions, Answers and Presuppositions. Computación y Sistemas 19 (4) (2015)
Marie Duzí, Ales Horák
TIL as Hyperintensional Logic for Natural Language Analysis. RASLAN (2015)
Bjørn Jespersen, Marie Duzí
Introduction. Synth. 192 (3) (2015)
Marie Duzí
Structural Isomorphism of Meaning and Synonymy. Computación y Sistemas 18 (3) (2014)
Marek Mensík, Marie Duzí, Jakub Gerlich
eLogika - the system for teaching logic. EJC (2014)
Anneli Heimbürger, Marie Duzí, Yasushi Kiyoki, Shiori Sasaki, Sukanya Khanom
Cross-Cultural Communication with Icons and Images. EJC (2013)
Martina Cíhalová, Marie Duzí, Marek Mensík
Logical Specification of Processes. EJC (2013)
Marie Duzí, Bjørn Jespersen
-conversion by value. Log. J. IGPL 21 (2) (2013)
Marie Duzí, Michal Kosinár, Jan Kozuszník, Svatopluk Stolfa
Knowledge-base approach to software-process development based on TIL. EJC (2012)
Marie Duzí, Marek Mensík, Michal Perdek
Document Similarity. EJC (2012)
Marie Duzí, Marek Mensík, Lukás Vích
Deduction System for TIL-2010. RASLAN (2012)
Marie Duzí
Extensional Logic of Hyperintensions. Conceptual Modelling and Its Theoretical Foundations (2012)
Marie Duzí, Marek Mensík, Martina Cíhalová, Ludmila Dostálová
E-Learning Support for Logic Education. DEIS (2011)
Marie Duzí
The Paradox of Inference and the Non-Triviality of Analytic Information. J. Philos. Log. 39 (5) (2010)
Marie Duzí, Martina Cíhalová, Marek Mensík
Ontology as a Logic of Intensions. EJC (2010)
Svatopluk Stolfa, Jan Kozuszník, Michal Kosinár, Marie Duzí, Martina Cíhalová, Ivo Vondrák
Building process definition with ontology background. CISIM (2010)
Jan Kozuszník, Svatopluk Stolfa, Marie Duzí, Michal Kosinár, Martina Cíhalová
Know How and Know What for Software Processes. ENASE (Selected Papers) (2010)
Marie Duzí, Martina Cíhalová, Marek Mensík, Lukás Vích
Process Ontology. RASLAN (2010)
Yutaka Kidawara, Koji Zettsu, Yasushi Kiyoki, Kai Jannaschk, Bernhard Thalheim, Petri Linna, Hannu Jaakkola, Marie Duzí
Knowledge Modeling, Management and Utilization towards Next Generation Web. EJC (2009)
Marie Duzí, Ales Horák, Pavel Materna
Temporal Aspects of Knowledge and Information. RASLAN (2009)
Martina Cíhalová, Nikola Ciprich, Marie Duzí, Tomás Frydrych, Marek Mensík
Deductive Reasoning using TIL. RASLAN (2009)
Martina Cíhalová, Nikola Ciprich, Marie Duzí, Marek Mensík
Agents' reasoning using TIL-Script and Prolog. EJC (2009)
Marie Duzí
Topic-Focus Articulation from the Semantic Point of View. CICLing (2009)
Marie Duzí, Anneli Heimbürger, Takehiro Tokuda, Peter Vojtás, Naofumi Yoshida
Multi-Agent Knowledge Modelling. EJC (2008)
Marie Duzí, Pavel Materna
Concepts and Ontologies. EJC (2008)
Nikola Ciprich, Marie Duzí, Michal Kosinár
The TIL-Script Language. EJC (2008)
Nikola Ciprich, Marie Duzí, Tomás Frydrych, Ondrej Kohut, Michal Kosinár
The Architecture of an Intelligent Agent in MAS. EJC (2008)
Martina Cíhalová, Nikola Ciprich, Marie Duzí, Marek Mensík
TIL and Logic Programming. RASLAN (2008)
Marie Duzí
Semantic Pre-processing of Anaphoric References. RASLAN (2007)
Nikola Ciprich, Marie Duzí, Michal Kosinár
Functional Programming Based on Transparent Intensional Logic. RASLAN (2007)
Marie Duzí, Peter Vojtás
Multi-Criterion Search from the Semantic Point of View - (Comparing TIL and Description Logic). EJC (2007)
Marie Duzí, Daniela Duráková, Pavel Dergel, Petr Gajdos, Jaroslav Müller
Logic and Artificial Intelligence for Multi-Agent Systems. EJC (2006)
Marie Duzí, Anneli Heimbürger
Web Ontology Languages: theory and practice - will they ever meet? EJC (2005)
Marie Duzí
Concepts, Language and Ontologies (from a Logical Point of View). EJC (2003)
Marie Duzí
Logical Foundations of Conceptual Modelling Using HIT Data Model. EJC (2000)
Marie Duzí
A Contribution to the Discussion on Concept Theory. EJC (2000)
Marie Duzí
Semantic Information Connected with Data. ICDT (1992)
Marie Duzí, Pavel Materna, Zdenko Stanícek
Information capability of a database schema. Kybernetika 24 (3) (1988)
Marie Duzí, Frantisek Krejcí, Zdenko Stanícek
Database Project UNIS (a UNIfied database development support System). Data Knowl. Eng. 3 (1988)