
doc. RNDr. Marie Duží, CSc.
doc. RNDr.Marie DužíCSc.
Work
Vysoká škola báňská - Technická univerzita Ostrava
Fakulta elektrotechniky a informatiky - Katedra informatiky
17. listopadu 15
Ostrava - PorubaMoravskoslezský kraj708 33Česká republika
| Kancelář: | A1016 |
|---|---|
| Telefon: | +420 597 323 273 |
| E-mail: | marie.duzi@vsb.cz |
| WWW: | vlastní webová prezentace |
Publikace a vědecká činnost
- Hernas, V., Duží, M., Menšík, M.: E-LERANING SUPPORT FOR LOGIC EDUCATION. In ICT for Competitiveness 2012 . Ed. Vymětal, D., Suchánek, P.. Silesian University in Opava, School of Business Administration in Karvina. 2012. 83-89. ISBN 978-80-7248-731-8
- Duží, M., Jespersen, B.: Transparent Quantification into Hyperpropositional Contexts de re. In Logique & Analyse. 2012. 220
- Duží, M.: Extensional Logic of Hyperintensions. In Conceptual Modelling and Its Theoretical Foundations, LNCS 7260. Ed. A. Duesterhoeft, M. Klettke and K.-D. Schewe. Berlin-Heidelberg: . Springer. 2012. 1.. 268-290. 978-3-642-28278-2
- Duží, M.: Resolving Topic-Focus Ambiguities in Natural Language. In Semantics in Action ? Applications and Scenarios. Ed. Muhammad Tanvir Afzal. Croatia: InTech Europe. 2012. 239-266. 978-953-51-0536-7
- Duží, M., Číhalová, M., Menšík, M.: Ontology as a logic of intensions. In knize. Ed. Heimbürger A., Kiyoki Y., Tokuda T., Jaakkola H., Yoshida N.. Amsterdam : . IOS Press . 2011. 1. XXII. 1-20. 978-1-60750-689-8
- Duží, M., Číhalová, M., Menšík, M., Vích, L.: Process ontology. In RASLAN 2010. Ed. P. Sojka. Brno: CNP MUNI. 2011. 77-88. ISBN 978-80-7399-246-0
- Kožusznik, J., Štolfa, S., Košinár, M., Duží, M., Číhalová, M., Vondrák, I.: Know How and Know What for Software Processes. In Journal Communications in Computer and Information Science. 2011
- Duží, M.: Dowody ontologiczne šw. Anzelma. In knize. Ed. Stanislaw Wszolek. Krakow: . Copernicus Center Foundation. 2011. 35-68. ISBN 978-83-62259-07-6
- Duží, M., Menšík, M., Číhalová, M., Dostálová L.: E-learning support for logic education. In sborníku. Ed. E. Ariwa and E. El-Quawasmeh. Berlin, Heidelberg: Springer-Verlag. 2011. 2011: CCIS 194. 560-568
- Duží, M., Číhalová, M., Menšík, M.: Communication in a multi-agent system based on Transparent Intensional Logic. In sborníku. Ed. Matousek, R. . Brno: VUT . 2011. 477 - 485. ISBN 978-80-214-4302-0
- Duží, M., Jespersen, B.: Transparent quantification into hyperintensional contexts. In The Logica Yearbook 2010. Ed. Peliš, M., Punčochář, V.. London: . College Publications. 2011. 81-97. 978-1-84890-038-7
- Duží, M., Jespersen, B., Materna, P.: Procedural Semantics for Hyperintensional Logic (Foundations and Applications of TIL). 1.Springer. 2010. 17. Logic, Epistemology, and the Unity of Science. ISBN 978-90-481-8811-6
- Duží, M., Materna, P: Concepts as structured meanings. In Proceedings of ECAP VI. London: . College Publications. 2010. 261-298
- Duží, M., Jespersen, B., Materna, P.: The Logos of Semantic Structure. In Knize: Philosophy of Language and Linguistics. Ed. P. Stalmaszczyk. Ontos Verlag. 2010. ISBN 978-3-86838-070-5
- Duží, M.: Propoziční a pojmové postoje. In knize. Ed. Svoboda, V.. Praha: Filosofia. 2010. 149-191
- Duží, M.: The paradox of inference and the non-triviality of analytic information. In Journal of Philosophical Logic. 2010. 39: 5. 473-510
- Duží, M., Materna, P.: Realismus a konstruktivismus z hlediska TIL. In knize. Ed. Marián Zouhar. Bratislava: Filosofický ústav Slovenské akademie vied. 2010. 75-84. ISBN 978-80-85402-99-5
- Duží, M., Číhalová, M., Menšík, M.: Ontology as a Logic of Intensions. In sborníku Europen-Japanese Conference EJC 2010. Ed. A. Heimburger, Y. Kiyoki, T. Tokuda, N. Yoshida. Jyvaskyla, Finland: University of Jyvaskyla. 2010. 9-28. ISBN 978-951-39-3821-5
- Duží, M.: Can concepts be defined in terms of sets?. In Logic and Logical Philosophy. 2010. Volume 19 . 195?242
- Duží, M.: St. Anselm?s Ontological Arguments. In Polish Journal of Philosophy. 2010. to appear
- Štolfa, S., Kožusznik, J., Košinár, M., Duží, M., Číhalová, M., Vondrák, I.: Building Process Definition with Ontology Background. In In proceedings 2010 International Conference on Computer Information Systems and Industrial Management Applications (CISIM). Ed. Ajith Abraham, Khalid Saeed and Vaclav Snasel. Krackow, Poland. 2010. 328-334. 978-1-4244-7817-0
- Duží, M.: Topic-Focus Articulation from the Semantic Point of View. In CICLing 2009. Ed. Gelbukh Alexander. Berlin Heidelberg: Springer-Verlag LNCS. 2009. 5449. 220-232
- Duží, M., Jespersen, B., Materna, P.: 'Pi' in the Sky. In Acts of Knowledge: History, Philosophy and Logic. Essays dedicated to Göran Sundholm.. Ed. G. Primiero, S. Rahman. London: . College Publications Tribute Series. 2009. 1.. 357-372. ISBN 978-1-904987-92-5
- Duží, M., Jespersen, B.: Procedural semantics for mathematical constants. In the Logica Yearbook 2008. Ed. Peliš, M.. King's College London: College Publications. 2009. 57-70. ISBN 978-1-904987-46-8
- Duží, M., Ciprich Nikola, Košinár, M.: TIL-Script Languge. In knize: Information Modelling and Knowledge Bases XX. Ed. Y. Kiyoki, T. Tokuda, H. Jaakola, X. Chen, N. Yoshida. Amsterdam : IOS Press . 2009. 166-179. ISBN 978-1-58603-957-8
- Duží, M., Materna P.: Concepts and Ontologies. In Information Modelling and Knowledge Bases XX . Ed. Y. Kiyoki, T. Tokuda, H. Jaakola, X. Chen, N. Yoshida. Amsterdam : IOS Press . 2009. 45-64. ISBN 978-1-58603-957-8
- Duží, M., Heimburger, A., Tokuda, T., Vojtáš, P., Yoshida, N.: Multi-Agent Knowledge Modelling. In Information Modelling and Knowledge Bases XX . Ed. Y. Kiyoki, T. Tokuda, H. Jaakola, X. Chen, N. Yoshida. Amsterdam : IOS Press . 2009. 411-428. ISBN 978-1-58603-957-8
- Číhalová, M., Duží, M., Menšík, M.: Tvorba ontologií z pohledu logiky. In DATAKON 09. Ed. Dušan Chlapek. Praha: Oeconomica, Praha. 2009. 171-181. ISBN 978-80-245-1568-7
- Duží, M., Číhalová, M., Ciprich, N., Menšík, M.: Agents' reasoning using TIL-Script and Prolog.. In 19th European-Japanese Conference on Information Modelling and Knowledge Bases. Ed. T. Tokuda, Y. Kiyoki, H. Jaakkola, T. Welzer Družovec. Slovenia: University of Maribor. 2009. 137-156. ISBN 978-961-248-162-9
- Duží, M.: Presupposition vs. allegation. In After Half a Century of Slavonic Natural Language Processing. Ed. D. Hlaváčová, A. Horák, P. Rychlý, K. Osolsobě. Brno: Masaryk University. 2009. 1-16. ISBN 978-80-7399-815-8
- Duží, M.: Strawsonian vs. Russellian definite descriptions. In Organon F. 2009. XVI: 4. 587-614
- Duží, M., Ciprich, N., Košinár, M., Kohut, O., Frydrych, T.: The Architecture of an Intelligent Agent in MAS.. In Information Modelling and Knowledge Bases XX.. Ed. Y. Kiyoki, T. Tokuda, H. Jaakola, X. Chen, N. Yoshida. Amsterdam: . IOS Press . 2009. XX. 261-269. ISBN 978-1-58603-957-8
- Duží, M., Číhalová, M., Ciprich, N., Frydrych, T., Menšík, M.: Deductive reasoning using TIL.. In RASLAN'09, Recent Advances in Slavonic Natural Langure Processing. Ed. Sojka, P., Horák, A.. Brno: Masarykova universita. 2009. 25-38. ISBN 978-80-210-5048-8
- Duží, M., Materna, P.: Co je a co není kontextualismus. In CS-Symposium o analytické filosofii, Organon. Ed. Zouhar, M.. Bratislava: Organon F. 2009. to appear
- Duží, M.: Tenses and truth-conditions: a plea for if-then-else.. In the Logica Yearbook 2009. Ed. Peliš, M.. King's College London : College Publications. 2009. 63-80
- Duží, M., Heimburger, A., Shenghua, Liu: Will a cross-cultural multi-agent system be able to educate us?. In Future Educational Technologies.. Ed. Hannakaisa Isomäki, Päivi Häkkinen, Jarmo Viteli. Jyväskylä: University Printing House, University of Jyväskylä, Publications of Information Technology Research Institute 20/2009.. 2009. 123-147. ISBN 978-951-39-3758-4, ISSN 1236-1615
- Kohut, O., Košinár, M., Takács, O.: Brain Architecture and Reasoning of Intelligent Agents in MAS. In Sborníku GIS 2008. Ostrava. 2008. 17. ISBN 978-80-254-1340-1
- Duží, M.: TIL as the Logic of Communication in a Multi-Agent System. In Research in Computing Science. 2008. 33: 1. 27-40
- Duží, M., Vojtáš Peter: Multi-Criterion Search from the Semantic Point of View. In Information Modelling and Knowledge Bases XIX, 395 stran. . Ed. Jaakkola Hannu, Kiyoki Yasushi, Tokuda Takahiro. Amsterdam : IOS Press . 2008. XIX. 21-39. ISBN 978-1-58603-812-0
- Duží, M., Materna, P.: Concepts and Ontologies. Waki Print Pia, Kanagawa, Japan. 2008
- Duží, M., Ciprich, N., Košinár, M.: The TIL-Script Language. Waki Print Pia, Kanagawa, Japan. 2008
- Duží, M., Ciprich, N., Košinár, M., Kohut, O., Frydrych, T.: The Architecture of an Intelligent Agent in MAS. Waki Print Pia, Kanagawa, Japan. 2008
- Duží, M.: R. Carnap, Význam a nevyhnutnosť. In Organon F. 2008. XV: 2. 261-273
- Duží, M., Ciprich, N., Menšík, M., Číhalová, M.: TIL and Logic Programming. In Raslan 2008. Ed. Petr Sojka. Brno: Masarykova universita . 2008. 17-30. ISBN 978-80-210-4741-9
- Duží, M.: Semantic Information and the Paradox of Inference. In Jednotliviny, všeobecniny, významy, 240 stran, . Ed. Marián Zouhar. Bratislava: Slovenská akademie vied. 2008. 34-59. ISBN 978-80-969770-1-7
- Duží, M., Dostálová, L., Lang, J., Číhalová, M., Menšík, M., Raclavský, J., Šebela, K.: Elektronická databáze příkladů z logiky. In Pedagogický software 2008. Ed. Řehout, Václav. České Budějovice: Scientific Publishing. 2008. 147-149. ISBN 80-85645-59-9
- Duží, M., Ďuráková, D., Děrgel, P., Gajdoš, P., Müller, J.: Logic and Artificial Intelligence for Multi-Agent Systems. In sborníku. Ed. Duží, M., Jaakkola, H., Kiyoki, Y., Kangassalo, H.. Amsterdam: IOS Press . 2007. 236-244. ISBN 978-1-58603-710-9
- Duží, M.: Information Modelling and Knowledge Bases XVIII. Amsterdam: . IOS Press . 2007. Ed. Duží, M., Jaakkola, H., Kiyoki, Y., Kangassalo, H.. ISBN 978-1-58603-710-9
- Duží, M., Jespersen Bjorn, Materna, Pavel: Points of View from a Logical Perspective (II). In Organon F, filosofický časopis. 2007. XIV: 1. 5-31
- Duží, M.: TIL a parciální lambda kalkul. 2007
- Duží, M.: Knowledge Representation and Communication in the Multi-Agent World. Kyoto Japan: NICT . 2007. 40 s.
- Duží, M., Vojtáš Peter: Multi-Criterion Search from the semantic Point of View. Pori, Finland: . University of Tampere, Pori. 2007. Ed. Hannu Jaakkola, Yasushi Kiyoki, Takahiro Tokuda. ISBN 978-952-15-1786-0
- Duží, M.: The Use-Mention Distinction. In The Logica Yearbook 2006. Ed. O. Tomala, R. Honzík. Prague: Filosofia . 2007. 33-50. ISBN 978-80-7007-254-7
- Duží, M., Horák, A., Pala, K., Materna, P. : Verb Valency Semantic Representation for Deep Linguistic Processing. In ACL 2007. Ed. Timothy Baldwin. Prague: Association for Computational Linguistics. 2007. 97-104. Association for Computational Linguistic. ISBN 978-1-932432-86-2.
- Duží, M., Ciprich, N., Košinár, M.: TIL-Script: Functional Programming Based on Transparent Intensional Logic.. In sborníku z konference RASLAN 2007. Ed. Sojka, P., Horák, A.. Brno. 2007. 37-42. ISBN 978-80-210-4471-5
- Duží, M.: Semantic pre-processing of anaphoric references. In sborníku z konference RASLAN 2007. Ed. Sojka, P., Horák, A.. Brno. 2007. 43-56. ISBN 978-80-210-4471-5
- Duží, M.: Properties on the Edge. In Svet jazyka a svet za jazykom. Ed. Marvan, T., Zouhar, M.. Bratislava: Filosofický ústav SAV. 2007. 42-68. ISBN 978-80-967225-9-4
- Duží, M., Heimburger Anneli: Web Ontology Languages: Theory and practice, will they ever meet?. In Information Modelling and Knowledge Bases XVII. Ed. Y. Kiyoki, J. Hanno, H. Jaakkola, H. Kangassalo, . Amsterdam: IOS Press . 2006. XVII. 20-37. ISBN 1-58603-591-6
- Duží, M.: Kritické připomínky ke studii Jiřího Raclavského o hledání a nalézání. In Organon F. 2006. XIII: 1. 62-73
- Duží, M.: Anafora a význam. In Jazyk z pohladu sémantiky a filozofie vedy. Organon F (příloha). 2006. 99-136
- Duží, M.: Hledání (a nalézání). In Organon F, filosofický časopis. 2006. XIII: 2. 189-206
- Duží, M., Ďuráková, D., Děrgel, P., Gajdoš, P., Müller, J.: Logic and Artificial Intelligence for Multi-Agent Systems. In Proc. of the 16th European-Japanese Conference on Information Modelling and Knowledge Bases (EJC2006). . Ed. Y. Kiyoki, H. Kangassalo, M. Duží . VSB-TU Ostrava. 2006. 308-313. ISBN 80-248-1023-9
- Duží, M.: 16th European-Japanese Conference on Information Modelling and Knowledge Bases. Ostrava: . VSB-TUO. 2006. Ed. Y. Kiyoki, H. Kangassalo, M. Duží. ISBN 80-248-1023-9
- Duží, M.: Informativnost matematických či analyticky pravdivých tvrzení a paradox inference. In Filosofický časopis. 2006. 54: 4. 501-522
- Duží, M.: Semantic Web Ontology and Natural Language. In GIS Ostrava 2006. Ed. Jan Růžička. Ostrava: VSB TUO. 2006. 20 s.. VŠB TU Ostrava. ISSN 1213-239X
- Duží, M., Jespersen, B., Materna, P.: Points of View from a Logical Perspective (I). In Organon F, filosofický časopis. 2006. XIII: 3. 227-305
- Jespersen, B., Materna, P., Duží, M.: Points of View from a Logical Perspective (I). In Organon F, filosofický časopis. 2006. XIII: 3. 277-305
- Duží, M.: Výuka logiky na katedře informatiky VSB-TU Ostrava. In sborník Organon Olomouc. 2006
- Duží, M., Materna, P.: Parmenides Principle. In Philosophia, philosophical quaterly of Israel. 2005. May 2005: 32. 155-180
- Duží, M., Ďuráková, D., Menšík, M.: Concepts are Structured meanings. In Information Modelling and Knowledge Bases XVI. Ed. Yasushi Kiyoki, Benkt Wangler, Hannu Jaakkola, Hannu Kangassalo. Amsterdam: IOS Press . 2005. 258-276. 1 58603 497 9
- Duží, M., Anneli Heimburger: Web Ontology Languages. Theory and Practice, will they ever meet?. In 15th European-Japanese Conference on Information Modelling and Knowledge Bases. Ed. Yasushi Kiyoki, Hannu Jaakkola, Hannu Kangassalo, Jaak Henno. Estonsko: Tallinn University of Technology. 2005. 74-92. ISBN 9985-59-530-0
- Duží, M., Jespersen Bjorn, Müller, J.: Epistemic Closure and Inferable Knowledge. In the Logica Yearbook 2004. Ed. Libor Běhounek, Marta Bílková. Praha: Filosofia. 2005. 2004. 124-140. Filosofický ústav AV ČR, Praha. ISBN 80-7007-208-3
- Duží, M., Materna, P.: Logical Form. In Essays on the Foundations of Mathematics and Logic. 2005. Vol. 1. 115-153
- Duží, M., Materna, P.: Synthetic Concepts a priori. Praha: . Filosofia. 2005. Ed. Prokop Sousedík. ISBN 80-7007-212-1
- Duží, M., Niederle, R.: Explikace pojmu krásy. In Jazyk - logika - věda. 2005. 205-222
- Duží, M.: Kurt Gödel. Metamathematical results on formally undecidable propositions: Completeness vs. Incompleteness. In Organon F, filozofický časopis. 2005. XII: 4. p. 447-474
- Duží, M.: Concepts, Language and Ontologies (from the logical point of view). In Information Modelling and Knowledge Bases XV. Ed. Y. Kiyoki, H. Kangassalo, E Kawaguchi. Amsterdam: . IOS Press . 2004. p. 193-209. ISBN 1 58603 396 4
- Duží, M., Jirků Petr: Znalosti z pohledu logiky. In Znalosti 2004. Ed. V. Snášel. Ostrava: VSB-TUO. 2004. p. 85-113. ISBN 80-248-0456-5
- Duží, M., Materna, P.: A Procedural Theory of Concepts and the Problem of Synthetic a priori. In Korean Journal of Logic. 2004. 7: 1. p. 1-22
- Duží, M., Ďuráková, D., Menšík, M.: Concepts are Structured Meanings. In Pre-proceedings of the 13th European-Japanese Conference.. Ed. Yasushi Kiyoki, Benkt Wangler, Hannu Kangassalo, . University of Skövde, Sweden. 2004. 245-263
- Duží, M.: Intensional Logic and the Irreducible Contrast between di dicto and de re. In ProFil. 2004. 5: 1. 1-34
- Duží, M., Materna, P.: Konceptuální modelování a ontologie z pohledu logiky.. In Datakon 2004, Proceedings of the Annual Database Conference. . Ed. Karel Ježek. Brno: Masarykova universita. 2004. 2004. 99-119. ISBN 80-210-3516-1
- Duží, M.: Jazyk a pojmy (aneb "O čem a jak mluvíme"). In Používanie, interpretácia a význam jazykových výrazov.. 2004. 20-34
- Duží, M., Materna Pavel: Intensional Logic as a Medium of Knowledge Representation and Acquisition in the HIT Conceptual Model. . In Information Modelling and Knowledge Bases XIV. Ed. Hannu Kangassalo, Eiji Kawaguchi. Amsterodam, Netherlands: IOS Press . 2003. Vol. 94. p.51-65. ISBN 1 58603 318 2
- Duží, M., Snášel, V.: Teorie pojmu a inteligentní ontologie. In Sborník Znalosti 2003. Ed. Tomáš Skopal. Ostrava. 2003. 222-231
- Duží, M.: Notional attitudes (On wishing, seeking and finding). In Organon F, filozofický časopis. 2003. X: 3. 237-260
- Duží, M., Materna Pavel: Dva omyly Bělohradovy kritiky a ještě jedna nepřesnost. In Organon F, Ročník X. 2003. p. 81-85
- Duží, M.: Concepts, Language and Ontologies. In Sborník E-J konference. Ed. Yasushi Kiyoki, Hannu Kangassalo, Eiji Kawaguchi. Kitakyushu, Japan: Kyushu Institute of Technology. 2003. 197-212
- Duží, M.: Do we have to deal with partiality?. In Miscellanea Logica. 2003. Tom V. 45-76
- Duží, M.: De dicto / de re Temporality vs. Modality. In Volume of Abstracts 12th International Congress of Logic, Metodology and Philosophy of Science. Ed. Eva Alvarez, Roger Bosch, Lorena Villamil. Oviedo: Universidad de Oviedo. 2003. 93-95. ISBN 600-9913-X
- Duží, M., Materna Pavel: Postoje: Intensionalita vs. Hyperintensionalita. In Volume of Abstracts 12th International Congress of Logic, Metodology and Philosophy of Science. Ed. Eva Alvarez, Roger Bosch, Lorena Villamil. Oviedo: Universidad de Oviedo. 2003. 94-96. ISBN 600-9913-X
- Duží, M.: Potřebujeme parcialitu?. Filosofický ústav AV ČR. 2003
- Duží, M.: Jazyk a pojmy (aneb o čem a jak mluvíme?). 2003
- Duží, M.: Intensional Logic and the Irreducible Contrast between de dicto and de re, Technickďż˝ zprďż˝va TR-2002-01. In katedra informatiky. VŠB TUO. Ostrava. cz. 2002
- Duží, M., Materna, P.: Parmenides Principle (An Analysis of Aboutness). In Logica Yearbook 2002. Ed. Tim Childers. Akademie věd ČR, Praha: FILOSOFIA. 2002. pp. 159-178
- Duží, M.: Recenze: Šefránek, J.: Inteligencia ako výpočet. ORGANON F, Filosofický ústav SAV. 2002
- Duží, M., Materna Pavel: Reprezentace znalostí, analýza tázacích vět a specifikace dotazů nad konceptuálním schématem HIT. . In Datakon 2002, sborník konference . Brno: Česká informatická společnost . 2002. 2002. p. 195-208
- Duží, M., Materna Pavel: Intensional Logic as a Medium of Knowledge Representation and Acquisition. In Sborník Evropsko Japonské konference. 2002
- Duží, M.: Homonymie, de dicto / de re a význam. In Filosofický časopis Organon F, VIII, n.3, SAV Bratislava.. 2001. VIII. s. 235-251
- Duží, M.: Znovu o homonymii, de dicto / de re a významu. In Organon F 8, No.4. 2001. 409-412
- Duží, M.: Logical Foundations of Conceptual Modelling. In VŠB-TU Ostrava. 2001
![Katedra informatiky FEI VŠB-TUO [logo]](/img/fei-logo.png)
![Katedra informatiky FEI VŠB-TUO [logo]](/img/fei-logo-txt.png)

O katedře
