Network


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

Hotspot


Dive into the research topics where Marie Duzí is active.

Publication


Featured researches published by Marie Duzí.


Philosophia | 2005

‘Parmenides principle’ (The analysis of aboutness)

Pavel Materna; Marie Duzí; Marie Duží

A explication of aboutness (principle of subject matter) within transparent intensional logic.


meeting of the association for computational linguistics | 2007

Verb Valency Semantic Representation for Deep Linguistic Processing

Aleš Horák; Karel Pala; Marie Duzí; Pavel Materna

In the paper, we describe methods for exploitation of a new lexical database of valency frames (VerbaLex) in relation to Transparent Intensional Logic (TIL). We present a detailed description of the Complex Valency Frames (CVF) as they appear in VerbaLex including basic ontology of the VerbaLex semantic roles. TIL is a typed logical system developed for natural language semantic representation using TIL logical forms known as constructions. TIL is well suited to handle the difficult language phenomena such as temporal relations, intensionality and propositional attitudes. Here we make use of the long-term development of the Normal Translation Algorithm aimed at automatic translation of natural language sentences into TIL constructions. We examine the relations between CVFs and TIL constructions of predicate-argument structures and discuss the procedure of automatic acquisition of the verbal object constructions. The exploitation of CVFs in the syntactic parsing is also briefly mentioned.


European Journal of Combinatorics | 2008

The TIL-Script Language.

Nikola Ciprich; Marie Duzí; Michal Kosinár


RASLAN | 2007

Functional Programming Based on Transparent Intensional Logic.

Nikola Ciprich; Marie Duzí; Michal Kosinár


European Journal of Combinatorics | 2017

Logic of Dynamic Discourse; Anaphora Resolution.

Marie Duzí


European Journal of Combinatorics | 2012

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

Marie Duzí; Michal Kosinár; Jan Kozusznik; Svatopluk Štolfa


European Journal of Combinatorics | 2008

Concepts and Ontologies.

Marie Duzí; Pavel Materna


European Journal of Combinatorics | 2017

The Role of Beta Conversion in Functional Programming.

Marek Mensík; Marie Duzí; Jakub Kermaschek


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

Collaboration


Dive into the Marie Duzí's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar

Martina Cíhalová

Technical University of Ostrava

View shared research outputs
Top Co-Authors

Avatar

Michal Kosinár

Technical University of Ostrava

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Tomás Frydrych

Technical University of Ostrava

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Marie Duží

Technical University of Ostrava

View shared research outputs
Top Co-Authors

Avatar

Ondrej Kohut

Technical University of Ostrava

View shared research outputs
Researchain Logo
Decentralizing Knowledge