Prof. Marie Duží
Department of Computer Science, VSB-Technical University of Ostrava, Czech Republic.
Professor
Email: marie.duzi@vsb.cz
Qualifications
1982 Ph.D., Natural Sciences, Masaryk university of Brno, China.
1992 CSc., Candidate of Philosophical Sciences, Institute of Philosophy, Czech Academy of Sciences.
Publications (Selected)
Books, Book Chapters, Dissertation
-
Duží, M. (2015): Logic in practice; work in progress.
-
Duží M. (2012): Logika pro informatiky a příbuzné obory. VŠB-Technická universita Ostrava. ISBN 978-80-248-2662-2.
-
Duží, M., Fait, M. (2021): A hyperintensional theory of intelligent question answering in TIL. In Loukanova, R. (ed.), Natural Language Processing in Artificial Intelligence - NLPinAI 2020, pp. 69-104, Springer book series Studies in Computational Intelligence (SCI, volume 939), Springer, ISBN 978-3-030-63787-3.
Journals
-
Duží, M. (2023): Specification of Agents’ Activities in Past, Present and Future. Submitted to Organon F, submitted to the special issue on “Special Issue: Times, Events and Logical Specification”.
-
Jespersen, B., Duží, M. (online): Transparent quantification into hyperpropositional contexts de dicto. First online in Linguistic and Philosophy, https://doi.org/10.1007/s10988-021-09344-9.
-
Číhalová, M., Duží, M. (2022): Modelling dynamic behaviour of agents in a multi-agent system; logical analysis of Wh-questions and answers. First online in Logic Journal of the IGPL, doi 10.1093/jigpal/jzab034.
-
Duží M., Jespersen B., Glavaničová D. (2021) Impossible Individuals as Necessarily Empty Individual Concepts. In: Giordani A., Malinowski J. (eds) Logic in High Definition. Trends in Logic (Studia Logica Library), vol 56, pp. 177-202. Springer, Cham. https://doi.org/10.1007/978-3-030-53487-5_9.
-
Duží, M., Menšík, M. (2020): Inferring knowledge from textual data by natural deduction. Computación y Sistemas, vol. 24, Issue 1, pp. 29-48.
-
Duží, M. (2019): If structured propositions are logical procedures then how are procedures individuated? Synthese special issue on the Unity of propositions, vol. 196, No. 4, pp. 1249-1283. DOI: 10.1007/s11229-017-1595-5.
-
Duží, M. (2018): Negation and presupposition, truth and falsity. Studies in Logic, Grammar and Rhetoric, vol. 54, No. 67, pp. 15-46, de Gruyter. DOI 10.2478/slgr-2018-0014.
-
Duží, M. (2017): Property modifiers and intensional essentialism. Computación y Sistemas, vol. 21, No. 4, 2017, pp. 601–613. DOI: 10.13053/CyS-21-4-2811.
-
Duží, M. (2017): Presuppositions and two kinds of negation. Logique & Analyse, vol. 239, pp. 245-263, the special issue on How to Say ‘Yes’ or ‘No’. DOI: 10.2143/LEA.239.0.3237153.
-
Duží, M. (2016): Procedurální sémantika TIL. Filosofický časopis, vol. 64, No. 6, pp. 901-929.
-
Duží, M., Číhalová, M. (2015): Questions, answers and presuppositions. Computación y Sistemas, vol. 19, No. 4, pp. 647-65.
-
Duží, M. (2014): Structural isomorphism of meaning and synonymy. Computacion y Sistemas, vol. 18, No. 3, pp. 439–453, DOI: 10.13053/CyS-18-3-2018.
-
Duží, M., Jespersen, B. (2013): Procedural isomorphism, analytic information, and beta-conversion by value, Logic Journal of the IGPL, Oxford, vol. 21, No. 2, pp. 291-308, DOI: 10.1093/jigpal/jzs044.
-
Duží, M., Jespersen, B. (2012): Transparent quantification into hyperintensional contexts de re. Logique et Analyse 220, pp. 513–554.
-
Duží M. (2011): St. Anselm’s Ontological Arguments. Polish Journal of Philosophy, Volume 5, Issue 1, Spring 2011, pp. 7-37, DOI: 10.5840/pjphil2011511 .
-
Duží M. (2010): The paradox of inference and the non-triviality of analytic information. Journal of Philosophical Logic, 2010, vol. 39, No. 5, pp. 473-510.
-
Duží M. (2009): Strawsonian vs. Russellian definite descriptions. Organon F, 2009, vol. XVI, No. 4, pp. 587-614.
-
Duží M. (2008): TIL as the Logic of Communication in a Multi-Agent System. Research in Computing Science, 2008, vol. 33, special issue Advances in Natural Language Processing and Applications, pp. 27-40. ISSN 1870-4069.
-
Duží M, Jespersen B. and Materna P. (2007): Points of View from a Logical Perspective II. Organon F, 2007, XIV, No. 1, pp. 5-31.
-
Duží M., Jespersen B. and Materna P. (2006): Points of View from a Logical Perspective I. Organon F, vol. XIII, No. 3, pp. 277-305.
-
Duží M. (2005): Kurt Gödel. Metamathematical results on formally undecidable propositions: Completeness vs. Incompleteness. Organon F, XII, No. 4, pp. 447-474.
Profile Details
https://www.cs.vsb.cz/duzi/