Marie Duzí - RankMe

70 papers A 1C 32Journal 19Unranked 17

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