default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarie Duzí
Person information
- affiliation: VSB-Technical University of Ostrava, Czech Republic
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j16]Nguyen Van Han
, Phan Cong Vinh, Marie Duzí:
Towards Modeling Conceptual Graphs and Transparent Intensional Logic. Mob. Networks Appl. 29(1): 286-293 (2024)- 2023
- [j15]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): 140-171 (2023) - 2022
- [c47]Marie Duzí:
'Knowing-that' vs. 'Knowing-wh'. EJC 2022: 136-158 - 2021
- [c46]Marie Duzí:
Questions and Answers on Dynamic Activities of Agents. RASLAN 2021: 71-81 - 2020
- [j14]Marie Duzí, Marek Mensík:
Inferring Knowledge from Textual Data by Natural Deduction. Computación y Sistemas 24(1) (2020) - [j13]Marie Duzí, Ales Horák:
Hyperintensional Reasoning Based on Natural Language Knowledge Base. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 28(3): 443-468 (2020) - [c45]Adam Albert, Marie Duzí, Marek Mensík, Miroslav Pajr, Vojtech Patschka:
Search for Appropriate Textual Information Sources. EJC 2020: 227-246 - [c44]Marie Duzí, Michal Fait:
Integrating Special Rules Rooted in Natural Language Semantics into the System of Natural Deduction. ICAART (1) 2020: 410-421
2010 – 2019
- 2019
- [j12]Marek Mensík, Marie Duzí, Adam Albert, Vojtech Patschka, Miroslav Pajr:
Refining Concepts by Machine Learning. Computación y Sistemas 23(3) (2019) - [j11]Marie Duzí:
If structured propositions are logical procedures then how are procedures individuated? Synth. 196(4): 1249-1283 (2019) - [c43]Marek Mensík, Marie Duzí, Adam Albert, Vojtech Patschka, Miroslav Pajr:
Machine Learning Using TIL. EJC 2019: 344-362 - [c42]Marie Duzí, Michal Fait:
Question-Answering System in the TIL-Script Language. EJC 2019: 501-518 - [c41]Yasushi Kiyoki, Bernhard Thalheim, Marie Duzí, Hannu Jaakkola, Petchporn Chawakitchareon, Anneli Heimbürger:
Towards a Great Design of Conceptual Modelling. EJC 2019: 531-544 - [c40]Marie Duzí, Michal Fait, Marek Mensík:
Adjustment of Goal-driven Resolution for Natural Language Processing in TIL. RASLAN 2019: 71-81 - [i1]Marie Duzí, Ales Horák:
Hyperintensional Reasoning based on Natural Language Knowledge Base. CoRR abs/1906.07562 (2019) - 2018
- [c39]Marie Duzí, Michal Fait:
Type Checking Algorithm for the TIL-Script Language. EJC 2018: 219-236 - [c38]Marie Duzí, Marek Mensík, Miroslav Pajr, Vojtech Patschka:
Natural Deduction System in the TIL-Script Language. EJC 2018: 237-255 - 2017
- [j10]Marie Duzí:
Property Modifiers and Intensional Essentialism. Computación y Sistemas 21(4) (2017) - [j9]Bjørn Jespersen, Massimiliano Carrara, Marie Duzí:
Iterated privation and positive predication. J. Appl. Log. 25(Supplement): S48-S71 (2017) - [c37]Marie Duzí:
Logic of Dynamic Discourse; Anaphora Resolution. EJC 2017: 263-279 - [c36]Marek Mensík, Marie Duzí, Jakub Kermaschek:
The Role of Beta Conversion in Functional Programming. EJC 2017: 280-298 - [c35]Marie Duzí, Michal Fait:
Property Modifiers. RASLAN 2017: 37-50 - 2016
- [c34]Marie Duzí, Marek Mensík:
Logic of Inferable Knowledge. EJC 2016: 405-425 - [c33]Marie Duzí, Michal Fait:
The Algorithm of Context Recognition in TIL. RASLAN 2016: 51-62 - 2015
- [j8]Marie Duzí, Martina Cíhalová:
Questions, Answers and Presuppositions. Computación y Sistemas 19(4) (2015) - [j7]Bjørn Jespersen, Marie Duzí:
Introduction. Synth. 192(3): 525-534 (2015) - [j6]Marie Duzí, Bjørn Jespersen:
Transparent quantification into hyperintensional objectual attitudes. Synth. 192(3): 635-677 (2015) - [c32]Marie Duzí, Ales Horák:
TIL as Hyperintensional Logic for Natural Language Analysis. RASLAN 2015: 113-124 - 2014
- [j5]Marie Duzí:
Structural Isomorphism of Meaning and Synonymy. Computación y Sistemas 18(3) (2014) - [c31]Marek Mensík, Marie Duzí, Jakub Gerlich:
eLogika - the system for teaching logic. EJC 2014: 291-307 - 2013
- [j4]Marie Duzí, Bjørn Jespersen:
Procedural isomorphism, analytic information and β-conversion by value. Log. J. IGPL 21(2): 291-308 (2013) - [c30]Martina Cíhalová, Marie Duzí, Marek Mensík:
Logical Specification of Processes. EJC 2013: 45-63 - [c29]Anneli Heimbürger, Marie Duzí, Yasushi Kiyoki, Shiori Sasaki, Sukanya Khanom:
Cross-Cultural Communication with Icons and Images. EJC 2013: 306-321 - 2012
- [c28]Marie Duzí:
Extensional Logic of Hyperintensions. Conceptual Modelling and Its Theoretical Foundations 2012: 268-290 - [c27]Marie Duzí, Michal Kosinár, Jan Kozuszník, Svatopluk Stolfa:
Knowledge-base approach to software-process development based on TIL. EJC 2012: 102-109 - [c26]Marie Duzí, Marek Mensík, Michal Perdek:
Document Similarity. EJC 2012: 241-254 - [c25]Marie Duzí, Marek Mensík, Lukás Vích:
Deduction System for TIL-2010. RASLAN 2012: 33-41 - 2011
- [c24]Marie Duzí, Marek Mensík, Martina Cíhalová, Ludmila Dostálová:
E-Learning Support for Logic Education. DEIS 2011: 560-568 - 2010
- [b1]Marie Duzí, Bjørn Jespersen, Pavel Materna:
Procedural Semantics for Hyperintensional Logic - Foundations and Applications of Transparent Intensional Logic. Logic, Epistemology, and the Unity of Science 17, Springer 2010, ISBN 978-90-481-8811-6, pp. 1-528 - [j3]Marie Duzí:
The Paradox of Inference and the Non-Triviality of Analytic Information. J. Philos. Log. 39(5): 473-510 (2010) - [c23]Svatopluk Stolfa, Jan Kozuszník, Michal Kosinár, Marie Duzí, Martina Cíhalová, Ivo Vondrák:
Building process definition with ontology background. CISIM 2010: 328-334 - [c22]Marie Duzí, Martina Cíhalová, Marek Mensík:
Ontology as a Logic of Intensions. EJC 2010: 1-20 - [c21]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: 178-192 - [c20]Marie Duzí, Martina Cíhalová, Marek Mensík, Lukás Vích:
Process Ontology. RASLAN 2010: 77-88
2000 – 2009
- 2009
- [c19]Marie Duzí:
Topic-Focus Articulation from the Semantic Point of View. CICLing 2009: 220-232 - [c18]Martina Cíhalová, Nikola Ciprich, Marie Duzí, Marek Mensík:
Agents' reasoning using TIL-Script and Prolog. EJC 2009: 135-154 - [c17]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: 387-402 - [c16]Martina Cíhalová, Nikola Ciprich, Marie Duzí, Tomás Frydrych, Marek Mensík:
Deductive Reasoning using TIL. RASLAN 2009: 25-38 - [c15]Marie Duzí, Ales Horák, Pavel Materna:
Temporal Aspects of Knowledge and Information. RASLAN 2009: 39-47 - 2008
- [c14]Marie Duzí, Pavel Materna:
Concepts and Ontologies. EJC 2008: 45-64 - [c13]Nikola Ciprich, Marie Duzí, Michal Kosinár:
The TIL-Script Language. EJC 2008: 166-179 - [c12]Nikola Ciprich, Marie Duzí, Tomás Frydrych, Ondrej Kohut, Michal Kosinár:
The Architecture of an Intelligent Agent in MAS. EJC 2008: 261-269 - [c11]Marie Duzí, Anneli Heimbürger, Takehiro Tokuda, Peter Vojtás, Naofumi Yoshida:
Multi-Agent Knowledge Modelling. EJC 2008: 411-428 - [c10]Martina Cíhalová, Nikola Ciprich, Marie Duzí, Marek Mensík:
TIL and Logic Programming. RASLAN 2008: 17-30 - 2007
- [c9]Marie Duzí, Peter Vojtás:
Multi-Criterion Search from the Semantic Point of View - (Comparing TIL and Description Logic). EJC 2007: 21-39 - [c8]Nikola Ciprich, Marie Duzí, Michal Kosinár:
Functional Programming Based on Transparent Intensional Logic. RASLAN 2007: 37-42 - [c7]Marie Duzí:
Semantic Pre-processing of Anaphoric References. RASLAN 2007: 43-56 - [e1]Marie Duzí, Hannu Jaakkola, Yasushi Kiyoki, Hannu Kangassalo:
Information Modelling and Knowledge Bases XVIII, 16th European-Japanese Conference on Information Modelling and Knowledge Bases (EJC 2006), Trojanovice, Czech Republic, May 29th - June 2nd, 2006. Frontiers in Artificial Intelligence and Applications 154, IOS Press 2007, ISBN 978-1-58603-710-9 [contents] - 2006
- [c6]Marie Duzí, Daniela Duráková, Pavel Dergel, Petr Gajdos, Jaroslav Müller:
Logic and Artificial Intelligence for Multi-Agent Systems. EJC 2006: 236-244 - 2005
- [c5]Marie Duzí, Anneli Heimbürger:
Web Ontology Languages: theory and practice - will they ever meet? EJC 2005: 20-37 - 2003
- [c4]Marie Duzí:
Concepts, Language and Ontologies (from a Logical Point of View). EJC 2003: 193-209 - 2000
- [c3]Marie Duzí:
Logical Foundations of Conceptual Modelling Using HIT Data Model. EJC 2000: 65-80 - [c2]Marie Duzí:
A Contribution to the Discussion on Concept Theory. EJC 2000: 346-350
1990 – 1999
- 1992
- [c1]Marie Duzí:
Semantic Information Connected with Data. ICDT 1992: 376-390
1980 – 1989
- 1988
- [j2]Marie Duzí, Frantisek Krejcí, Zdenko Stanícek:
Database Project UNIS (a UNIfied database development support System). Data Knowl. Eng. 3: 163-172 (1988) - [j1]Marie Duzí, Pavel Materna, Zdenko Stanícek:
Information capability of a database schema. Kybernetika 24(3): 216-226 (1988)
Coauthor Index
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 2025-03-15 22:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
