Návrh na zahájení profesorského řízení Doc. RNDr. Marie Duží, CSc. v oboru Informatika na FEI VŠB-TU Ostrava

Návrh na zahájení profesorského řízení Doc. RNDr. Marie Duží, CSc. v oboru Informatika na FEI VŠB-TU Ostrava Osobní údaje Uchazeč: Marie Duží Datum a místo narození: 11.10. 1948, Ostrava Adresa trvalého bydliště: Háj ve Slezsku, Sokolská 109, PSČ 747 92 Zaměstnání: docent Název habilitační práce: Logical Foundations of Conceptual and Database Modelling Vzdělání 1971 Masarykova Universita v Brně (tehdy UJEP), obor matematika 1982 RNDr., Masarykova Universita v Brně, obor Teoretická kybernetika, matematická informatika a teorie systémů 1985 VUT v Brně, postgraduální studium, obor Teorie databází a zpracování dat 1992 CSc., Filosofický ústav Akademie věd ČR, obor Logika 2002 VŠB-TU Ostrava, docent v oboru Informatika Profesní praxe 1971-1985 Ústav výpočetní techniky Ostrava, programátor analytik. Analýza, návrh a implementace Systému řízení výroby moravských stavebních podniků 1985-1990 ČKD Tatra Praha, databázový administrátor 1990-1992 Universita Karlova v Praze, Ústav výpočetní techniky, zavádění e-mailové pošty a výuka logiky 1992-1994 České vysoké učení technické v Praze, Fakulta elektrotechnická, asistent, výuka logiky a teorie databází. Analýza a návrh fakultního informačního systému, implementován v Oracle (1994) 1994-1996 Exact Holding B.V., s.r.o., Delft, Holland, analytik 1996-2001 Slezská universita v Opavě, Filosoficko-přírodovědecká fakulta, Ústav informatiky, výuka logiky 2003-dosud Universita Karolva v Praze, Katedra logiky, externí docent 2001-dosud VŠB-Technická universita v Ostravě, Katedra Informatiky Výuka Jsem nebo v posledních letech jsem byla garantem těchto předmětů: Matematická logika, Úvod do logiky, Logika v praxi, Transparentní intensionální logika, Vybrané partie z logiky, Teorie formálních systémů, Inteligentní systémy, Matematické základy informatiky, Funkcionální a logické programování Školitel bakalářské práce 3, diplomové práce 16 studentů doktorského studia: vedených 17, složili doktorskou zkoušku 5, obhájili disertační práci 2

Granty hlavní řešitel, spoluřešitel GAČR 401/99/0001 (1999-2001): Role konstrukcí v Transparentní intensionální logice, řešitel, vyhodnocen jako vynikající GAČR 401/03/1403 (2003-2004): Principy logické analýzy jazyka a intensionální logika, řešitel GAČR 401/04/2073 (2004-2006): Transparentní intensionální logika (systematický výklad), spoluřešitel s Filosofickým ústavem AVČR GAČR 401/03/H047 (2003-2007): Logické základy sémantiky a reprezentace znalostí, spoluřešitel s Universitou Karlovou v Praze, Katedra logiky 1ET101940420 (2004-2008): Logika a umělá inteligence pro multiagentní systémy, řešitel GAČR 401/07/0451 (2007-2009): Sémantizace pragmatiky, spoluřešitel s Filosofickým ústavem AVČR GAČR 401/09/H007 (2009-2012): Logické základy sémantiky, spoluřešitel s UK Praha CZ.1.07/2.2.00/07.0217 (2009-20130: Organon Learning Management System (LMS) for Logic Courses. Podporován European Science Foundation (ESF) v rámci programu OPVK, spoluřešitel se Západočeskou universitou v Plzni GAČR 401/10/0792 (2010-2012): Temporální aspekty znalostí a informací, spoluřešitel s Filosofickým ústavem AVČR a Masarykovou universitou v Brně, Fakultou Informatiky CZ.1.07/2.2.00/28.0216 (2012-2015): Logika: systémový rámec oboru v ČR a koncepce logických propedeutik pro mezioborová studia. Podporován European Science Foundation (ESF) v rámci programu OPVK, spoluřešitel se Západočeskou universitou v Plzni CZ.1.07/2.2.00/28.0209 (2012-2015): Elektronické opory a e-learning pro obory výpočtového a konstrukčního charakteru. Podporován European Science Foundation (ESF) v rámci programu OPVK, spoluřešitel se Západočeskou universitou v Plzni GAČR 15-13277S (2015-2017): Hyperintensionální logika pro analýzu přirozeného jazyka, řešitel (spoluředitel Aleš Horák, MUNI Brno, Fakulta Informatiky) Granty člen řešitelského týmu Projekt 166/1998 (1998-2000): Research Support Scheme of the Open Society Support Foundation: Conceptual Representation in the Information Society, řešitel Filosofický ústav AVČR Praha Publikační činnost sumárně 14 článků v časopisech dle WoS, z toho 3 články v časopisech s IF 26 článků v recenzovaných časopisech databáze Scopus 20 příspěvků ve sbornících na ISI Proceedings 19 příspěvků ve sbornících na Scopus 2 monografie 5 učebnic (skripta) 12 kapitol v knize Celkem publikovaných článků v časopisech: 45 Celkem publikovaných článků ve sbornících konferencí: 77 Citační ohlasy: 53 ISI WoS, z toho bez autocitací 20 55 SCOPUS, z toho bez autocitací 20 553 Google Scholar H-index (ISI WoS): 4, H-index (SCOPUS): 4

Monografie Duží M., Jespersen B. and Materna P. (2010): Procedural Semantics for Hyperintensional Logic. Foundations and Applications of Trasnsparent Intensional Logic. First edition. Berlin: Springer, series Logic, Epistemology, and the Unity of Science, vol. 17, ISBN 978-90-481-8811-6. (550 stran, autorský podíl dle smluvy se Springer 60%) Duží M., Materna P. (2012): TIL jako procedurální logika (průvodce zvídavého čtenáře Transparentní intensionální logikou). Aleph Bratislava 2012, ISBN 978-80-89491-08-7 (412 stran, autorský podíl 80%) Učebnice: Duží, M. (2015): Logika v praxi. Rozpracováno. Duží M. (2012): Logika pro informatiky a příbuzné obory. VŠB-Technická universita Ostrava. ISBN 978-80-248-2662-2 Duží M. (2002): Matematická logika. Ostrava: VŠB-Technical University. 131 p., dostupné na http://www.cs.vsb.cz/duzi/matlogika.pdf Duží M. and Materna P. (2000): Constructions, dostupné na http://til.phil.muni.cz/text/constructions_duzi_materna.pdf Duží M. (2000): Konceptuální modelování (datový model HIT). Opava: Silesian University, 2000, ISBN 80-7248-062-6. 98 stran. Duží M., Krejčí F., Materna P., Staníček Z. (1986): HIT Method of the Database Design. VUT Brno. Časopisecké články podle ISI Web of Knowledge a Scopus od r. 2009 1. Duží, M., Číhalová, M. (2015): Questions, answers and presuppositions. Computacion y Sistemas, to appear. Scopus Q4 (Computer Science), SJR 0.131 2. Jespersen, B., Duží, M. (2015): Introduction. Synthese. DOI: 10.1007/s11229-015-0665-9 WOS Q2 (History and Philosophy of Science), IF 2014: 0.815, Scopus Q1 (Social Science), SJR 0.767, SNIP 1.303 3. Duží, M., Jespersen, B. (2014): Transparent Quantification into Hyperintensional objectual attitudes. Synthese. DOI: 10.1007/s11229-014-0578-z WOS Q2 (History and Philosophy of Science), IF 2014: 0.815, Scopus Q1 (Social Science), SJR 0.767, SNIP 1.303 4. Duží, M., Jespersen, B. (2013): Procedural isomorphism, analytic information, and - conversion by value, Logic Journal of the IGPL, Oxford, vol. 21, pp. 291-308, DOI: 10.1093/jigpal/jzs044. WOS Q1 (Logic), IF 2013: 1.136 Scopus Q1 (Logic), SJR 0.480, SNIP 1.286

5. 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. WoS, Scopus Q4 (Computer Science), SJR 0.131 6. Duží, M., Jespersen, B. (2014): In memory of Pavel Tichý. Organon F, vol. 21, 4, pp. 558-566. WoS, Scopus Q2 (Arts and Humanities), SJR 0.247, SNIP 0.531 7. Duží, M., Číhalová, M., Menšík, M. (2014): Logical specification of processes. Frontiers in Artificial Intelligence and Applications, IOS Press, 45-63. 8. Heimbürger, A., Duží, M., Kiyoki, Y., Sasaki, S., Khanom, S. (2014): Cross-cultural communication with icons and images. Frontiers in Artificial Intelligence and Applications, IOS Press, 2014, pp. 306-321. 9. Duží, M. (2014): Communication in a multi-cultural world. Organon F, vol. 21, No. 2, pp. 198-218. WoS, Scopus Q2 (Arts and Humanities), SJR 0.247, SNIP 0.531 10. Duží, M. (2013): Elipsa a anaphora. Organon F, vol. 20, No. 3, pp. 399-412. WoS, Scopus Q2 (Arts and Humanities), SJR 0.247, SNIP 0.531 11. Duží, M. (2013): Deduction in TIL: From simple to ramified hierarchy of types. Organon F, vol. 20, supplementary issue 2, pp. 5-36. WoS, Scopus Q2 (Arts and Humanities), SJR 0.247, SNIP 0.531 12. Duží, M., Košinár, M., Kožusznik, J., Štolfa, S. (2013): Knowledge-base approach to software-process development based on TIL. Frontiers in Artificial Intelligence and Applications, IOS Press, vol. 251, pp. 102-109. 13. Duží, M., Jespersen, B. (2012): Transparent quantification into hyperintensional contexts de re. Logique et Analyse 220, pp. 513 554. WoS, Scopus Q2 (philosophy), SJR 0.225, SNIP 0.501 14. Duží, M. (2012): Extensional logic of hyperintensions. Lecture Notes in Computer Science, vol. 7260, pp. 268-290. DOI: 10.1007/978-3-642-28279-9-19 WoS, Scopus Q2 (Computer Science), SJR 0.310, SNIP 0.516 15. Duží, M. (2012): Towards an extensional calculus of hyperintensions. Organon F, vol. 19, supplementary issue 1, pp. 20-45. WoS, Scopus Q2 (Arts and Humanities), SJR 0.247, SNIP 0.616 16. Duží, M., Jespersen, B. (2012): Transparent quantification into hyperintensional contexts de re. Logique et Analyse 220, pp. 513 554. WoS, Scopus Q2 (Arts and Humanities), SJR 0.225, SNIP 0.501

17. Duží, M., Menšík, M., Perdek, M. (2012): Document Similarity. Frontiers in Artificial Intelligence and Applications, Amsterdam: IOS Press, vol. 251, pp. 241-254. Scopus Q4 (Computer Science), SJR 0.154, IPP 0.132, SNIP 0.188 18. 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. WoS, Scopus Q1 (Arts and Humanities), SJR 0.940, SNIP 1.500 19. Duží M. and Materna P. (2010): Can concepts be defined in terms of sets? Logic and Logical Philosophy, 2010, vol. 19, pp. 195-242. WoS, Scopus Q2 (Arts and Humanities), SJR 0.174, SNIP 1.355 20. Duží M. (2009): Strawsonian vs. Russellian definite descriptions. Organon F, 2009, vol. XVI, No. 4, pp. 587-614. WoS, Scopus Q2 (Arts and Humanities), SJR 0.1 21. Ciprich N., Duží, M., Košinár M. (2009): The TIL-Script Language. Frontiers in Artificial Intelligence and Applications, Amsterdam: IOS Press, vol. 190, pp. 166-179. 22. Ciprich N., Duží M., Frydrych T., Kohut O., Košinár M. (2009): The Architecture of an Intelligent Agent in MAS. Frontiers in Artificial Intelligence and Applications, Amsterdam: IOS Press, vol. 190, No. 1, pp. 261-269. 23. Duží M., Materna P. (2009): Concepts and Ontologies. Frontiers in Artificial Intelligence and Applications, Amsterdam: IOS Press, 190, No. 1, pp. 45-64. 24. Duží, M., Heimburger, A., Tokuda, T., Vojtáš, P., Yoshida, N. (2009): Multi-agent knowledge modelling. Frontiers in Artificial Intelligence and Applications, Amsterdam: IOS Press, vol. 190, No. 1, pp. 411-428. Konferenční příspěvky podle WoS ISI Proceedings a Scopus 1. Menšík, M., Duží, M., Gerlich, J. (2015): elogika the system for teaching logic. Frontiers in Artificial Intelligence and Applications, IOS Press, 291-307. Scopus Q4 (Computer Science), SJR 0.205 2. Duží, M. (2014): How to Unify Russellian and Strawsonian Definite Descriptions. In Recent Trends in Philosophical Logic, Studia Logica, Roberto Ciuni, Heinrich Wansing, Caroline Willcommen (eds.), vol. 41, pp. 85-101. DOI 10.1007/978-3-319-06080-4_7. WOS, Scopus Q1 (History and Philosophy of Science), Q3 (Logic) 3. Duží, M., Číhalová, M., Menšík, M., Perdek, M. (2013): Hyperintensional, intensional and extensional context recognition. In Mendel 2013, 19 th International Conference on Soft Computing, Matousek, R. (ed.), Brno university of Technology, pp. 427-432 Scopus (Computer Science), SJR 0.139

4. Duží, M., Číhalová, M., Menšík, M. (2013): Communication in a multi-agent system; questions and answers. In 13 th International Multidisciplinary Scientific GeoConference SGEM 2013, Albena, Bulgaria, pp. 11-22. Scopus 5. Duží, M., Menšík, M., Vích, L. (2012): Deduction system for TIL-2010. In Raslan 2012, 6 th Recent Advances in Slavonic Natural Language Processing, A.Horák and P. Rychlý (eds.), Brno: MUNI, NLP centre, pp. 33-42. ISBN 978-80-263-0313-8. Scopus 6. Kožusznik, J., Štolfa, S., Duží, M., Košinár, M., Číhalová, M. (2011): Know How and Know What for Software Processes. In: Communications in Computer and Information Science, Evaluation of Novel Approaches to Software Engineering, Maciaszek, Leszek A. and Loucopoulos, Pericles (eds.), Berlin Heidelberg: Springer, vol. 230, 2011, pp. 178-192. WoS, Scopus Q4 (Computer Science), SJR 0,136 7. Duží, M., Menšík, M., Číhalová, M., Dostálová L. (2011): E-learning support for logic education. In Communications in Computer and Information Science, Digital Enterprise and Information Systems, E. Ariwa and E. El-Quawasmeh (eds.), Berlin, Heidelberg: Springer-Verlag, CCIS vol. 194, pp. 560-568. WoS, Scopus Q4 (Computer Science), SJR 0,136 8. Duží, M., Číhalová, M., Menšík, M., Vích, L. (2011): Process ontology. In RASLAN 2010, ed. P. Sojka, Brno: CNP MUNI, pp. 77-88, ISBN 978-80-7399-246-0 9. Duží, M., Číhalová, M., Menšík, M. (2011): Ontology as a logic of intensions. In: Frontiers in Artificial Inteligence and Applications, Amsterdam: IOS Press, vol. 225, pp. 1-20. WoS, Scopus Q4 (Computer Science), SJR 0.205 10. Duží, M., Číhalová, M., Menšík, M. (2011): Communication in a multi-agent system based on Transparent Intensional Logic. In Mendel 2011, Matousek, R. (ed.), Brno: VUT, pp. 477 485. WoS, Scopus Computer Science, SJR 0.139 11. Duží, M., Jespersen, B. (2011): Transparent Quantication into Hyperintensional Contexts. In The Logica Yearbook 2010, M. Peliš and V. Punčochář (eds.), London: College Publications, pp. 81-98. WoS 12. Štolfa, S., Kožusznik, J., Košinár, M., Duží, M., Číhalová,M., Vondrák, I. (2010): Building process definition with ontology background. In: CISIM 2010, Computer Information Systems and Industrial Management Applications, Los Alamitos, California, pp. 328-334. Scopus 13. Duží M. (2010): Tenses and truth-conditions: a plea for if-then-else. In the Logica Yearbook 2009, Peliš, M. (ed.), London: College Publications, pp. 63-80. WoS 14. Číhalová M., Duží M., Ciprich N., Menšík M. (2010): Agents reasoning using TIL-Script and Prolog. Frontiers in Artificial Intelligence and Applications, Amsterdam: IOS Press, vol. 206, pp. 135-154. Scopus Q4 (Computer Science), SJR 0.205

15. Kidawara, Y., Zettsu, K., Kiyoki, Y., Jannaschk, K., Thalheim, B., Linna, P., Jaakkola, H., Duží, M. (2010): Knowledge modelling, management and utilization towards next generation web. Frontiers in Artificial Intelligence and Applications, Amsterdam: IOS Press, vol. 206, pp. 387-402. Scopus Q4 (Computer Science), SJR 0.205 16. Duží, M., Číhalová, M., Menšík, M., Vích, L. (2010): Process ontology. In RASLAN 2009, MUNI Brno, pp. 77-88. Scopus 17. Duží, M., Horák, A., Materna, P. (2009): Temporal aspects of knowledge representation. In RASLAN 2009, MUNI Brno, pp. 39-47. 18. Duží, M. (2009): Topic-Focus articulation from the semantic point of view. Computational Linguistics and Intelligent text Processing, LNCS, Springer, vol. 5449, pp. 220-232. WoS, Scopus Q2 (Computer Science), SJR 0.310, SNIP 0.516 19. Duží, M., Horák, A., Materna, P. (2009): Tempoval aspects of knowledge and information. In RASLAN 2009, Recent Advances in Slavonic Natural Langure Processing, Sojka, P., Horák, A. (eds.), Brno: Masarykova universita, 2009, pp. 39-47. Scopus 20. Duží M. and Jespersen B. (2009): Procedural semantics for mathematical constants. In The Logica Yearbook 2008. Ed. Peliš, M., London: College Publications, 2009, pp. 57-69. WoS 21. Číhalová M., Ciprich N., Duží M., Frydrych T., Menšík M. (2009): Deductive reasoning using TIL. In RASLAN 2009, Recent Advances in Slavonic Natural Langure Processing, Sojka, P., Horák, A. (eds.), Brno: Masarykova universita, 2009, pp. 25-38. Scopus 22. Duží M., Vojtáš P. (2008): Multi-Criterion Search from the semantic Point of View. Frontiers in Artificial Inteligence and Applications, Amsterdam: IOS Press, vol. 166, pp. 21-39. Scopus Q4 (Computer Science), SJR 0.205 23. Číhalová M., Ciprich N., Duží M., Menšík M. (2008): TIL and Logic Programming. In Raslan 2008. Ed. Petr Sojka, Brno: Masarykova universita, pp. 17-30. WoS, Scopus 24. Ciprich N., Duží M., Košinár M. (2007): Functional Programming Based on Transparent Intensional Logic. In RASLAN 2007. Ed. Sojka, P., Horák, A., Brno: Masaryk University, 2007, pp. 37-42. WoS, Scopus 25. Duží M. (2007): Semantic pre-processing of anaphoric references. In RASLAN 2007. Ed. Sojka, P., Horák, A., Brno: Masaryk University, pp. 43-56. WoS, Scopus

26. Duží M. (2004): Concepts, Language and Ontologies (from a logical point of view). In Information Modelling and Knowledge Bases XV. Amsterdam: IOS Press, vol. 105, pp. 193-209. WoS 27. Duží M. a Materna P. (2003): Intensional Logic as a Medium of Knowledge Representation and Acquisition in the HIT Conceptual Model. In Information Modelling and Knowledge Bases XIV, Hannu Kangassalo, Eiji Kawaguchi (eds.), Amsterodam: IOS Press, 2003, vol. 94, pp. 51-65. WoS 28. Duží M. (1992): Semantic Information Connected with Data. In Database Theory - ICDT 92, J. Biskup and R. Hull (eds.), Lecture Notes in Computer Science, Berlin: Springer-Verlag, 1992, pp. 376-390. WoS Články v časopisech 2008 a starší. 1. 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. 2. Duží M. (2008): R. Carnap, Význam a nevyhnutnosť. Organon F, vol. XV, 2008, No. 2, 261-273. WoS 3. 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. WoS 4. 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. WoS 5. Duží M. (2006): Kritické připomínky ke studii Jiřího Raclavského o hledání a nalézání. Organon F, XIII, No. 1, pp. 62-73. WoS 6. Duží M. (2006): Informativnost matematických či analyticky pravdivých tvrzení a paradox inference. Filosofický časopis, vol. 54, č. 4, 501-522. WoS 7. Duží M. (2006): Hledání (a nalézání). Organon F, 2006, vol. XIII, No. 2, pp. 189-206. WoS 8. Materna P. and Duží M. (2005): Parmenides Principle. Philosophia, Philosophical Quarterly of Israel, 2005, vol. 32 (1-4), Bar-Ilan University, Israel, pp. 155-180. WoS 9. Duží M. (2005): Kurt Gödel. Metamathematical results on formally undecidable propositions: Completeness vs. Incompleteness. Organon F, XII, No. 4, pp. 447-474. WoS 10. Duží M. (2004): Intensional Logic and the Irreducible Contrast between de dicto and de re. ProFil, vol. 5, No. 1, pp. 1-34, ISSN 1212-9097. http://profil.muni.cz/01_2004/duzi_de_dicto_de_re.pdf 11. Duží M., Materna P. (2004): A Procedural Theory of Concepts and the Problem of Synthetic a priori. Korean Journal of Logic, 2004, vol. 7, No. 1, pp. 1-22. ISSN 1598-7493 9.

12. Duží M. (2003): Notional Attitudes (On wishing, seeking and finding). Organon F, vol. X, No. 3, pp. 237-260. WoS 13. Duží M., Materna P. (2003): Dva omyly Bělohradovy kritiky a ještě jedna nepřesnost. Organon F, vol. X, No. 1, pp. 84-85. WoS 14. Duží M. (2003): Do we have to deal with partiality? In: Miscellanea Logica V, K. Bendová and P. Jirků (eds.), Prague: Karolinum, ISBN 80-246-0799-9, pp. 45-76. 15. Duží M. (2001): Znovu o homonymii, de dicto/de re a významu. Organon F, vol. VIII, No. 4, pp. 409-411. WoS 16. Duží M. (2001): Homonymie, de dicto/de re a význam. Organon F, vol. VIII, No. 3, pp. 235-251. WoS 17. Duží M. (2000): De re vs. de dicto. Organon F, vol. VII, No. 4, pp. 365-378. WoS 18. Duží M. (2000): Propoziční / pojmové postoje: postoje ke konstrukcím nebo k intenzím? ORGANON F, príloha Denotácia, referencia a význam. Bratislava: Filosofický ústav SAV, ISSN 1335-0668, pp. 46-57. WoS 19. Duží M. (1996): Propozicní postoje, homonymie, synonymie a ekvivalence výrazů. Organon F, vol. III, No. 2, pp. 101-112. WoS 20. Duží M., Materna P. (1996): Rules of Existential Quantification into Intentional Contexts, Belief Sentences. Studies in Logic and Philosophy, vol. 1, Prague: AVČR. 21. Duží Marie and Staníček Zdenko. Project UNIS: A Contribution to the CASE Technology. Database Technology, Pergamon Press, vol. 4, No. 2, 1991, pp. 79-86. 22. Duží Marie. Functional Approach to the Specification of Distributed Database Systems. Database Technology, Pergamon Press, vol. 4, No. 1, 1991, pp. 69-76. 23. Duží Marie and Materna Pavel. Distinguishing Capability vs. Informational Capability of Attributes. Computers & Artificial Intelligence, vol. 9, No. 2, 1990, pp. 169-185. WoS, Scopus Q4 (Computer Science), SJR 24. Duží Marie and Materna Pavel. Informational capability and distingushing force of database attributes. Database Technology, Pergamon Press, vol. 2, No. 2, 1988, pp. 4-9. 25. Duží Marie, Materna Pavel and Staníček Zdenko. Information capability of a database schema. Kybernetika, vol. 24, No. 3, 1988, pp. 216-226. WoS, Scopus Q3, SJR 0.358 26. Duží M., Krejčí F. Staníček Z. (1988): Database Project UNIS (a UNIfied database development Support system). Data & Knowledge Engineering, vol. 3, 1988, North- Holland, pp. 163-172. Scopus Q1 (Information Systems and Management), SJR 1.327, SNIP 2.566

Kapitoly v knihách 1. Duží, M. (2014): A procedural interpretation of the Church-Turing Thesis. In Church s Thesis: Logic, Mind and Nature. Copernicus Center Press, Adam Olszewski, Bartosz Brożek, Piotr Urbańczyk (eds.), Krakow 2013. ISBN: 978-83-7886-009-9. 2. Duží, M. (2013): Ambiguities in natural language and ontological proofs. In: Logic in Theology, Adam Olszewski, Bartosz Brożek, Mateusz Hohol (eds.), Copernicus Center Press, Kraków 2013, pp. 179-218. ISBN: 978-83-7886-006-8. 3. Duží, M. (2012): Resolving Topic-Focus Ambiguities in Natural Language. In Semantics in Action Applications and Scenarios. Ed. Muhammad Tanvir Afzal, Croatia: InTech Europe, 2012, pp. 239-266, ISBN 978-953-51-0536-7. 4. Duží, M. (2011): Dowody ontologiczne šw. Anzelma. In Dowody ontologiczne. W 900. rocznicę śmierci św. Anzelma, Stanislaw Wszolek (ed.), Krakow, Copernicus Center Foundation, 2011, pp. 35-68, ISBN 978-83-62259-07-6. 5. Duží M. (2010): Pojmové postoje. In: Logika a přirozený jazyk, Svoboda, V. a kol., Praha: Filosofia. 2010, ISBN 978-80-7007-325-4, pp. 263-290. 6. Duží Marie, Heimbürger Anneli and Shenghua Liu (2009): Will a cross-cultural multiagent system be able to educate us? In: Future Educational Technologies. Hannakaisa Isomäki, Päivi Häkkinen, Jarmo Viteli (eds.). Jyväskylä: Publications of Information Technology Research Institute 20/2009. University Printing House, ISBN 978-951-39-3758-4, ISSN 1236-1615, total 197 p., pp. 123-147. 7. Duží M., Jespersen B. and Materna P. (2009): 'Pi' in the Sky. In: Acts of Knowledge: History, Philosophy and Logic. Essays dedicated to Göran Sundholm. G. Primiero and S. Rahman (eds.). London: College Publications Tribute Series 1, 2009, ISBN 978-1- 904987-92-5, pp. 357-372. 8. Duží M. (2009): Presupposition vs. allegation. In: After Half a Century of Slavonic Natural Langure Processing. D. Hlaváčová, A. Horák, P. Rychlý and K. Osolsobě (eds.). Brno: Masaryk University, ISBN 978-80-7399-815-8, pp. 1-16. 9. Duží M. and Materna P. (2005): Logical Form. In: Essays on the Foundations of Mathematics and Logic 1. Advanced Studies in Mathematics and Logic, G. Sica (ed.). Monza, Italy: Polimetrica International Scientific Publisher 2005, ISBN 978-88-7699-014-4, pp. 115-154. 10. Duží M. (2000): Using Materna s Theory of Concepts in Conceptual Modelling. In: Between Words and Worlds (A Festschrift for Pavel Materna), ed. by T.Childers, J Palomaki. Filosofia Prague 2000, pp. 111-129. 11. Duží M. (2000): Two approaches to conceptual data modelling. In: Topics in Conceptual Analysis and Modelling, Prague: Filosofia, Czech Academy of Sciences, 2000, ISBN 80-7007-136-2, pp. 305-340. 12. Duží M. (1999): Conceptual data modelling using Transparent Intensional Logic. Studies in Logic and Philosophy, vol. 4, Prague: AS CR, 1999, pp. 13-34. Revised vision repr. in: Topics in Conceptual Analysis and Modelling. Prague.

Zvané přednášky a pobyty v zahraničí (od r. 2004) 2014 Ludwig-Maxmilian University of Munich, Center for Mathematical Philosophy (MCMP), 15.5. 18.5., zvaná přednáška A plea for -conversion by value. 2013 Universita Komenského v Bratislavě, Katedra Logiky a metodologie věd, 4.11. 29.11. Tři zvané přednášky a vedení seminářů. 2011 14th Congress of Logic, Metodology and Philosophy of Science, 19.-26.7. 2011, Nancy, Francie. Zvaná přednáška a symposium Hyperintension, intension and extension. Trends in Logic IX, Studia Logica mezinárodní konference Church's Thesis: Logic, Mind and Nature, June 3-5, Krakov, Polsko. Zvaná přednáška: Procedural Interpretation of Church s Thesis. Západní Austrálie, Perth, 21.2. 7.3. 2011: University of Western Australia, Perth, zvané přednášky na téma Extenzionální logika hyperintensí a Strasonovské vs Russellovské určité deskripce Murdoch university, Perth, Australia: zvaná přednáška na téma základy Transparentní intensionální logiky 2010 University of Leuven, Belgie, 14.1. 17.1. 2010, zvaná přednáška na téma Strawsonian vs. Russellian definite descriptions University of Amsterdam, the Netherlands, 2.3. 10.3. 2010 Delft University of Technology, the Netherlands, 22.8. 29.8. 2010 2009 Technická universita Tampere, Pori, Finsko, 26.10. 22.11. 2009, spolupráce na projektu Com-Reas, Communication and Reasoning of Agents in a Multiagent Word, financovaném Academy of Finland. 2008 University of Jyväskylä (6.4. - 26.4. 2008, tři zvané přednášky, a spolupráce na projektu vývoje inteligentních systémů v multi-kulturním prostředí) Krakow, Jagelloňská universita, 3.10.-6.10.2008 Paris, Sorbonna, Joint Paris-Arche workshop; 28.2.-2.3.2008 2007 National Institute of Communication Technologies, Kyoto, KEIO University Tokyo, Japan, 5.3.-12.3. 2007 Delft university of Technology, 20.1.-26.1. 2007, zvaná přednáška "Communication between agents in a multi-agent world" University of Oxford, Balliol college, 3.11-4.11. 2007 2006 Technická universita Tampere, Pori, 3.9.-23.9.2006 Université Paris I Panthéon-Sorbonne, 6.11. - 19.11. 2006 Universita Komenského Bratislava, 13.12. - 17.12. 2006 2005 Delft University of Technology, the Netherlands (týdenní pobyt a zvaná přednáška, září) Sorbonna University Paris, France (týdenní pobyt a zvaná přednáška, květen)

2004 University of Tuebingen (týdenní pobyt a zvaná přednáška, březen) University of Leipzig, Germany (týdenní pobyt a zvaná přednáška, květen) Technical University of Tampere Pori (dvou-týdenní pobyt, zvané přednášky, září) University of Helsinki, Finland (týdenní pobyt a zvaná přednáška, duben) University of Rotterdam, University of Amsterdam, University of Gröningen, the Netherlands (týdenní pobyt a 4 zvané přednášky, říjen). Témata výzkumu - Transparentní intensionální logika - Hyperintensionalita a procedurální sémantika - Zpracování přirozeného jazyka - Multi-agentní systémy - Konceptuální modelování - Formální specifikace softwarových produktů Popis spolupráce s FEI Na fakultě Elektrotechniky a Informatiky VŠB-Technické university Ostrava působím na Katedře Informatiky od r. 2001. Jsem garantem kurzů, vedu diplomanty a doktorandy, jak je uvedeno výše. Většiny svých významných vědeckých výsledků jsem dosáhla během působení na této katedře, a téměř všechny své významné publikace jsem dedikovala VŠB-TU v rámci plnění výzkumných projektů. Dá se říci, že teprve zde jsem začala uskutečňovat svůj dávný sen o vědecké a pedagogické práci, neboť před r. 1989 to pro mne nebylo možné, na universitách jsem působit nemohla. V roce 2004 při zahájení prací na projektu 1ET101940420 Logika a umělá inteligence pro multi-agentní systémy jsem zde založila Laboratoř inteligentních systémů (LabIS, viz http://labis.vsb.cz/). Cílem této laboratoře je výzkum zejména v těchto oblastech: - multi-agentní systémy - logická analýza přirozeného jazyka - specifikační jazyky - reprezentace a zpracování znalostí - inferenční stroj - specifikace a správa procesů - simulace a verifikace softwarových procesů - komputační varianta Transparentní intensionální logiky - vývoj funkcionálního programovacího jazyka TIL-Script I nadále bych zde chtěla budovat a rozvíjet českou logickou školu procedurální sémantiky Transparentní intensionální logiky.

Děkan FEI VŠB-TU Ostrava navrhuje pro profesorské řízení Doc. RNDr. Marie Duží, CSc. v oboru Informatika komisi ve složení: Předseda: Členové: prof. RNDr. Václav Snášel, CSc., děkan FEI VŠB TU Ostrava Prof. PhDr. František Gahér, CSc., Katedra logiky a metodológie vied, FF UK Bratislava Prof. Ing. Vilém Novák, DrSc., Centrum excelence IT4Innovations, divize OU, Ústav pro výzkum a aplikace fuzzy modelování Prof. RNDr. Jaroslav Pokorný, CSc., Katedra softwarového inženýrství, MFF UK Praha Prof. PhDr. RNDr. Jan Štěpán, CSc., Katedra filosofie, FF UP Olomouc