Marie Duzí

According to our database, Marie Duzí authored at least 63 papers between 1988 and 2023.

Collaborative distances:

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

2023

Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers.

Martina Cíhalová, Marie Duzí

Log. J. IGPL, January, 2023

2022

'Knowing-that' vs. 'Knowing-wh'.

Marie Duzí

Proceedings of the Information Modelling and Knowledge Bases XXXIV, 2022

2021

Questions and Answers on Dynamic Activities of Agents.

Marie Duzí

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

2020

Hyperintensional Reasoning Based on Natural Language Knowledge Base.

Marie Duzí, Ales Horák

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2020

Inferring Knowledge from Textual Data by Natural Deduction.

Marie Duzí, Marek Mensík

Computación y Sistemas, 2020

Integrating Special Rules Rooted in Natural Language Semantics into the System of Natural Deduction.

Marie Duzí, Michal Fait

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 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

If structured propositions are logical procedures then how are procedures individuated?

Marie Duzí

Synth., 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

Towards a Great Design of Conceptual Modelling.

Yasushi Kiyoki, Bernhard Thalheim, Marie Duzí, Hannu Jaakkola, Petchporn Chawakitchareon, Anneli Heimbürger

Proceedings of the Information Modelling and Knowledge Bases XXXI, 2019

Question-Answering System in the TIL-Script Language.

Marie Duzí, Michal Fait

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

Type Checking Algorithm for the TIL-Script Language.

Marie Duzí, Michal Fait

Proceedings of the Information Modelling and Knowledge Bases XXX, 2018

2017

Iterated privation and positive predication.

Bjørn Jespersen, Massimiliano Carrara, Marie Duzí

J. Appl. Log., 2017

Property Modifiers and Intensional Essentialism.

Marie Duzí

Computación y Sistemas, 2017

Property Modifiers.

Marie Duzí, Michal Fait

Proceedings of the 11th Workshop on Recent Advances in Slavonic Natural Languages Processing, 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

Logic of Dynamic Discourse; Anaphora Resolution.

Marie Duzí

Proceedings of the Information Modelling and Knowledge Bases XXIX, 2017

2016

The Algorithm of Context Recognition in TIL.

Marie Duzí, Michal Fait

Proceedings of the 10th Workshop on Recent Advances in Slavonic Natural Languages Processing, 2016

Logic of Inferable Knowledge.

Marie Duzí, Marek Mensík

Proceedings of the Information Modelling and Knowledge Bases XXVIII, 2016

2015

Introduction.

Bjørn Jespersen, Marie Duzí

Synth., 2015

Transparent quantification into hyperintensional objectual attitudes.

Marie Duzí, Bjørn Jespersen

Synth., 2015

Questions, Answers and Presuppositions.

Marie Duzí, Martina Cíhalová

Computación y Sistemas, 2015

TIL as Hyperintensional Logic for Natural Language Analysis.

Marie Duzí, Ales Horák

Proceedings of the 9th Workshop on Recent Advances in Slavonic Natural Languages Processing, 2015

2014

Structural Isomorphism of Meaning and Synonymy.

Marie Duzí

Computación y Sistemas, 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

Procedural isomorphism, analytic information and <i>β</i>-conversion by value.

Marie Duzí, Bjørn Jespersen

Log. J. IGPL, 2013

Cross-Cultural Communication with Icons and Images.

Anneli Heimbürger, Marie Duzí, Yasushi Kiyoki, Shiori Sasaki, Sukanya Khanom

Proceedings of the Information Modelling and Knowledge Bases XXV, 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

Knowledge-base approach to software-process development based on TIL.

Marie Duzí, Michal Kosinár, Jan Kozuszník, Svatopluk Stolfa

Proceedings of the Information Modelling and Knowledge Bases XXIV, 2012

Extensional Logic of Hyperintensions.

Marie Duzí

Proceedings of the Conceptual Modelling and Its Theoretical Foundations, 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

Procedural Semantics for Hyperintensional Logic - Foundations and Applications of Transparent Intensional Logic

Marie Duzí, Bjørn Jespersen, Pavel Materna

Logic, Epistemology, and the Unity of Science 17, Springer, ISBN: 978-90-481-8812-3, 2010

The Paradox of Inference and the Non-Triviality of Analytic Information.

Marie Duzí

J. Philos. Log., 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

Know How and Know What for Software Processes.

Jan Kozuszník, Svatopluk Stolfa, Marie Duzí, Michal Kosinár, Martina Cíhalová

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 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

Building process definition with ontology background.

Svatopluk Stolfa, Jan Kozuszník, Michal Kosinár, Marie Duzí, Martina Cíhalová, Ivo Vondrák

Proceedings of the 2010 International Conference on Computer Information Systems and Industrial Management Applications, 2010

2009

Temporal Aspects of Knowledge and Information.

Marie Duzí, Ales Horák, Pavel Materna

Proceedings of the 3rd Workshop on Recent Advances in Slavonic Natural Languages Processing, 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

Knowledge Modeling, Management and Utilization towards Next Generation Web.

Yutaka Kidawara, Koji Zettsu, Yasushi Kiyoki, Kai Jannaschk, Bernhard Thalheim, Petri Linna, Hannu Jaakkola, Marie Duzí

Proceedings of the Information Modelling and Knowledge Bases XXI, 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

Topic-Focus Articulation from the Semantic Point of View.

Marie Duzí

Proceedings of the Computational Linguistics and Intelligent Text Processing, 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

Concepts and Ontologies.

Marie Duzí, Pavel Materna

Proceedings of the Information Modelling and Knowledge Bases XX, 2008

Multi-Agent Knowledge Modelling.

Marie Duzí, Anneli Heimbürger, Takehiro Tokuda, Peter Vojtás, Naofumi Yoshida

Proceedings of the Information Modelling and Knowledge Bases XX, 2008

The TIL-Script Language.

Nikola Ciprich, Marie Duzí, Michal Kosinár

Proceedings of the Information Modelling and Knowledge Bases XX, 2008

The Architecture of an Intelligent Agent in MAS.

Nikola Ciprich, Marie Duzí, Tomás Frydrych, Ondrej Kohut, Michal Kosinár

Proceedings of the Information Modelling and Knowledge Bases XX, 2008

2007

Semantic Pre-processing of Anaphoric References.

Marie Duzí

Proceedings of the 1st Workshop on Recent Advances in Slavonic Natural Languages Processing, 2007

Functional Programming Based on Transparent Intensional Logic.

Nikola Ciprich, Marie Duzí, Michal Kosinár

Proceedings of the 1st Workshop on Recent Advances in Slavonic Natural Languages Processing, 2007

Multi-Criterion Search from the Semantic Point of View - (Comparing TIL and Description Logic).

Marie Duzí, Peter Vojtás

Proceedings of the Information Modelling and Knowledge Bases XIX, 2007

2006

Logic and Artificial Intelligence for Multi-Agent Systems.

Marie Duzí, Daniela Duráková, Pavel Dergel, Petr Gajdos, Jaroslav Müller

Proceedings of the Information Modelling and Knowledge Bases XVIII, 16th European-Japanese Conference on Information Modelling and Knowledge Bases (EJC 2006), Trojanovice, Czech Republic, May 29th, 2006

2005

Web Ontology Languages: theory and practice - will they ever meet?

Marie Duzí, Anneli Heimbürger

Proceedings of the Information Modelling and Knowledge Bases XVII, 2005

2003

Concepts, Language and Ontologies (from a Logical Point of View).

Marie Duzí

Proceedings of the Information Modelling and Knowledge Bases XV, 2003

2000

A Contribution to the Discussion on Concept Theory.

Marie Duzí

Proceedings of the Information Modelling and Knowledge Bases XII: Tenth European-Japanese Conference on Information Modelling and Knowledge Bases, 2000

Logical Foundations of Conceptual Modelling Using HIT Data Model.

Marie Duzí

Proceedings of the Information Modelling and Knowledge Bases XII: Tenth European-Japanese Conference on Information Modelling and Knowledge Bases, 2000

1992

Semantic Information Connected with Data.

Marie Duzí

Proceedings of the Database Theory, 1992

1988

Information capability of a database schema.

Marie Duzí, Pavel Materna, Zdenko Stanícek

Kybernetika, 1988

Database Project UNIS (a UNIfied database development support System).

Marie Duzí, Frantisek Krejcí, Zdenko Stanícek

Data Knowl. Eng., 1988