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

Transkript

1 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í: , Ostrava Adresa trvalého bydliště: Háj ve Slezsku, Sokolská 109, PSČ 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 Ú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ů ČKD Tatra Praha, databázový administrátor Universita Karlova v Praze, Ústav výpočetní techniky, zavádění ové pošty a výuka logiky Č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) Exact Holding B.V., s.r.o., Delft, Holland, analytik 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

2 Granty hlavní řešitel, spoluřešitel GAČR 401/99/0001 ( ): Role konstrukcí v Transparentní intensionální logice, řešitel, vyhodnocen jako vynikající GAČR 401/03/1403 ( ): Principy logické analýzy jazyka a intensionální logika, řešitel GAČR 401/04/2073 ( ): Transparentní intensionální logika (systematický výklad), spoluřešitel s Filosofickým ústavem AVČR GAČR 401/03/H047 ( ): Logické základy sémantiky a reprezentace znalostí, spoluřešitel s Universitou Karlovou v Praze, Katedra logiky 1ET ( ): Logika a umělá inteligence pro multiagentní systémy, řešitel GAČR 401/07/0451 ( ): Sémantizace pragmatiky, spoluřešitel s Filosofickým ústavem AVČR GAČR 401/09/H007 ( ): Logické základy sémantiky, spoluřešitel s UK Praha CZ.1.07/2.2.00/ ( : 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 ( ): 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/ ( ): 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/ ( ): 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 S ( ): 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 ( ): 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í SCOPUS, z toho bez autocitací Google Scholar H-index (ISI WoS): 4, H-index (SCOPUS): 4

3 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 (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 (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 Duží M. (2002): Matematická logika. Ostrava: VŠB-Technical University. 131 p., dostupné na Duží M. and Materna P. (2000): Constructions, dostupné na Duží M. (2000): Konceptuální modelování (datový model HIT). Opava: Silesian University, 2000, ISBN 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 Duží, M., Číhalová, M. (2015): Questions, answers and presuppositions. Computacion y Sistemas, to appear. Scopus Q4 (Computer Science), SJR Jespersen, B., Duží, M. (2015): Introduction. Synthese. DOI: /s WOS Q2 (History and Philosophy of Science), IF 2014: 0.815, Scopus Q1 (Social Science), SJR 0.767, SNIP Duží, M., Jespersen, B. (2014): Transparent Quantification into Hyperintensional objectual attitudes. Synthese. DOI: /s z WOS Q2 (History and Philosophy of Science), IF 2014: 0.815, Scopus Q1 (Social Science), SJR 0.767, SNIP Duží, M., Jespersen, B. (2013): Procedural isomorphism, analytic information, and - conversion by value, Logic Journal of the IGPL, Oxford, vol. 21, pp , DOI: /jigpal/jzs044. WOS Q1 (Logic), IF 2013: Scopus Q1 (Logic), SJR 0.480, SNIP 1.286

4 5. Duží, M. (2014): Structural isomorphism of meaning and synonymy. Computacion y Sistemas, vol. 18, No. 3, pp , DOI: /CyS WoS, Scopus Q4 (Computer Science), SJR Duží, M., Jespersen, B. (2014): In memory of Pavel Tichý. Organon F, vol. 21, 4, pp WoS, Scopus Q2 (Arts and Humanities), SJR 0.247, SNIP Duží, M., Číhalová, M., Menšík, M. (2014): Logical specification of processes. Frontiers in Artificial Intelligence and Applications, IOS Press, 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 Duží, M. (2014): Communication in a multi-cultural world. Organon F, vol. 21, No. 2, pp WoS, Scopus Q2 (Arts and Humanities), SJR 0.247, SNIP Duží, M. (2013): Elipsa a anaphora. Organon F, vol. 20, No. 3, pp WoS, Scopus Q2 (Arts and Humanities), SJR 0.247, SNIP Duží, M. (2013): Deduction in TIL: From simple to ramified hierarchy of types. Organon F, vol. 20, supplementary issue 2, pp WoS, Scopus Q2 (Arts and Humanities), SJR 0.247, SNIP 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 Duží, M., Jespersen, B. (2012): Transparent quantification into hyperintensional contexts de re. Logique et Analyse 220, pp WoS, Scopus Q2 (philosophy), SJR 0.225, SNIP Duží, M. (2012): Extensional logic of hyperintensions. Lecture Notes in Computer Science, vol. 7260, pp DOI: / WoS, Scopus Q2 (Computer Science), SJR 0.310, SNIP Duží, M. (2012): Towards an extensional calculus of hyperintensions. Organon F, vol. 19, supplementary issue 1, pp WoS, Scopus Q2 (Arts and Humanities), SJR 0.247, SNIP Duží, M., Jespersen, B. (2012): Transparent quantification into hyperintensional contexts de re. Logique et Analyse 220, pp WoS, Scopus Q2 (Arts and Humanities), SJR 0.225, SNIP 0.501

5 17. Duží, M., Menšík, M., Perdek, M. (2012): Document Similarity. Frontiers in Artificial Intelligence and Applications, Amsterdam: IOS Press, vol. 251, pp Scopus Q4 (Computer Science), SJR 0.154, IPP 0.132, SNIP Duží M. (2010): The paradox of inference and the non-triviality of analytic information. Journal of Philosophical Logic, 2010, vol. 39, No. 5, pp WoS, Scopus Q1 (Arts and Humanities), SJR 0.940, SNIP Duží M. and Materna P. (2010): Can concepts be defined in terms of sets? Logic and Logical Philosophy, 2010, vol. 19, pp WoS, Scopus Q2 (Arts and Humanities), SJR 0.174, SNIP Duží M. (2009): Strawsonian vs. Russellian definite descriptions. Organon F, 2009, vol. XVI, No. 4, pp WoS, Scopus Q2 (Arts and Humanities), SJR 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 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 Duží M., Materna P. (2009): Concepts and Ontologies. Frontiers in Artificial Intelligence and Applications, Amsterdam: IOS Press, 190, No. 1, pp 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 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, Scopus Q4 (Computer Science), SJR 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 DOI / _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 Scopus (Computer Science), SJR 0.139

6 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 Scopus 5. Duží, M., Menšík, M., Vích, L. (2012): Deduction system for TIL In Raslan 2012, 6 th Recent Advances in Slavonic Natural Language Processing, A.Horák and P. Rychlý (eds.), Brno: MUNI, NLP centre, pp ISBN 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 WoS, Scopus Q4 (Computer Science), SJR 0, 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 WoS, Scopus Q4 (Computer Science), SJR 0, Duží, M., Číhalová, M., Menšík, M., Vích, L. (2011): Process ontology. In RASLAN 2010, ed. P. Sojka, Brno: CNP MUNI, pp , ISBN 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 WoS, Scopus Q4 (Computer Science), SJR 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 WoS, Scopus Computer Science, SJR 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 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 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 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 Scopus Q4 (Computer Science), SJR 0.205

7 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 Scopus Q4 (Computer Science), SJR Duží, M., Číhalová, M., Menšík, M., Vích, L. (2010): Process ontology. In RASLAN 2009, MUNI Brno, pp Scopus 17. Duží, M., Horák, A., Materna, P. (2009): Temporal aspects of knowledge representation. In RASLAN 2009, MUNI Brno, pp Duží, M. (2009): Topic-Focus articulation from the semantic point of view. Computational Linguistics and Intelligent text Processing, LNCS, Springer, vol. 5449, pp WoS, Scopus Q2 (Computer Science), SJR 0.310, SNIP 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 Scopus 20. Duží M. and Jespersen B. (2009): Procedural semantics for mathematical constants. In The Logica Yearbook Ed. Peliš, M., London: College Publications, 2009, pp 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 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 Scopus Q4 (Computer Science), SJR Číhalová M., Ciprich N., Duží M., Menšík M. (2008): TIL and Logic Programming. In Raslan Ed. Petr Sojka, Brno: Masarykova universita, pp WoS, Scopus 24. Ciprich N., Duží M., Košinár M. (2007): Functional Programming Based on Transparent Intensional Logic. In RASLAN Ed. Sojka, P., Horák, A., Brno: Masaryk University, 2007, pp WoS, Scopus 25. Duží M. (2007): Semantic pre-processing of anaphoric references. In RASLAN Ed. Sojka, P., Horák, A., Brno: Masaryk University, pp WoS, Scopus

8 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 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 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 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 ISSN Duží M. (2008): R. Carnap, Význam a nevyhnutnosť. Organon F, vol. XV, 2008, No. 2, 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 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 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 WoS 6. Duží M. (2006): Informativnost matematických či analyticky pravdivých tvrzení a paradox inference. Filosofický časopis, vol. 54, č. 4, WoS 7. Duží M. (2006): Hledání (a nalézání). Organon F, 2006, vol. XIII, No. 2, pp 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 WoS 9. Duží M. (2005): Kurt Gödel. Metamathematical results on formally undecidable propositions: Completeness vs. Incompleteness. Organon F, XII, No. 4, pp 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 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 ISSN

9 12. Duží M. (2003): Notional Attitudes (On wishing, seeking and finding). Organon F, vol. X, No. 3, pp 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 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 , pp Duží M. (2001): Znovu o homonymii, de dicto/de re a významu. Organon F, vol. VIII, No. 4, pp WoS 16. Duží M. (2001): Homonymie, de dicto/de re a význam. Organon F, vol. VIII, No. 3, pp WoS 17. Duží M. (2000): De re vs. de dicto. Organon F, vol. VII, No. 4, pp 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 , pp WoS 19. Duží M. (1996): Propozicní postoje, homonymie, synonymie a ekvivalence výrazů. Organon F, vol. III, No. 2, pp 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 Duží Marie. Functional Approach to the Specification of Distributed Database Systems. Database Technology, Pergamon Press, vol. 4, No. 1, 1991, pp Duží Marie and Materna Pavel. Distinguishing Capability vs. Informational Capability of Attributes. Computers & Artificial Intelligence, vol. 9, No. 2, 1990, pp 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 Duží Marie, Materna Pavel and Staníček Zdenko. Information capability of a database schema. Kybernetika, vol. 24, No. 3, 1988, pp WoS, Scopus Q3, SJR 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 Scopus Q1 (Information Systems and Management), SJR 1.327, SNIP 2.566

10 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 ISBN: 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 ISBN: 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 , ISBN 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 , ISBN Duží M. (2010): Pojmové postoje. In: Logika a přirozený jazyk, Svoboda, V. a kol., Praha: Filosofia. 2010, ISBN , pp 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 , ISSN , total 197 p., pp 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 , pp 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 , pp 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 , pp 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 Duží M. (2000): Two approaches to conceptual data modelling. In: Topics in Conceptual Analysis and Modelling, Prague: Filosofia, Czech Academy of Sciences, 2000, ISBN , pp Duží M. (1999): Conceptual data modelling using Transparent Intensional Logic. Studies in Logic and Philosophy, vol. 4, Prague: AS CR, 1999, pp Revised vision repr. in: Topics in Conceptual Analysis and Modelling. Prague.

11 Zvané přednášky a pobyty v zahraničí (od r. 2004) 2014 Ludwig-Maxmilian University of Munich, Center for Mathematical Philosophy (MCMP), , zvaná přednáška A plea for -conversion by value Universita Komenského v Bratislavě, Katedra Logiky a metodologie věd, Tři zvané přednášky a vedení seminářů th Congress of Logic, Metodology and Philosophy of Science, , 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, : 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, , zvaná přednáška na téma Strawsonian vs. Russellian definite descriptions University of Amsterdam, the Netherlands, Delft University of Technology, the Netherlands, Technická universita Tampere, Pori, Finsko, , spolupráce na projektu Com-Reas, Communication and Reasoning of Agents in a Multiagent Word, financovaném Academy of Finland University of Jyväskylä ( , 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, Paris, Sorbonna, Joint Paris-Arche workshop; National Institute of Communication Technologies, Kyoto, KEIO University Tokyo, Japan, Delft university of Technology, , zvaná přednáška "Communication between agents in a multi-agent world" University of Oxford, Balliol college, Technická universita Tampere, Pori, Université Paris I Panthéon-Sorbonne, Universita Komenského Bratislava, 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)

12 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 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 to pro mne nebylo možné, na universitách jsem působit nemohla. V roce 2004 při zahájení prací na projektu 1ET Logika a umělá inteligence pro multi-agentní systémy jsem zde založila Laboratoř inteligentních systémů (LabIS, viz 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.

13 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