Browsing by Author "Duží, Marie"

DSpace/Manakin Repository

DSpace Home
Browsing by Author

Browsing by Author "Duží, Marie"

Now showing items 1-20 of 30

Design and Utilization of Knowledge Bases for Software Processes

Košinár, Michal; Duží, Marie; (Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky, Diplomová práce, 2010)

KOS305_FEI_N2647_2612T025_2010.pdf

KOS305_FEI_N2647_2612T025_2010_zadani.pdf

KOS305_FEI_N2647_2612T025_2010_priloha.zip
Hledání (a nalézání)

Duží, Marie (Organon F. 2006, roč. 13, č. 2, s. 189-206.)
Informativnost matematických či analyticky pravdivých tvrzení a paradox inference

Duží, Marie (Filosofický časopis. 2006, roč. 54, č. 4, s. 501-522.)
Jazyky pro tvorbu ontologií

Číhalová, Martina; Duží, Marie; (Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky, Disertační práce, 2011)

CIH053_FEI_P1807_1801V001_2011.pdf
K jubileu Pavla Cmoreje

Duží, Marie; Materna, Pavel (Organon F. 2007, roč. 14, č. 1, s. 134-135.)
Kritické připomínky ke studii Jiřího Raclavského o hledání a nalézání

Duží, Marie (Organon F. 2006, roč. 13, č. 1, s. 67-78.)
Logical foundations of conceptual modelling

Duží, Marie; (Habilitační práce, 2001)
Modernizace systému kontrol a monitorování funkčnosti elektrárny

Deineko, Anatolii; Duží, Marie; (Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky, Diplomová práce, 2008)
Návrh podpůrného expertního systému pro tvorbu rozvrhu a jeho implementace v jazyce prolog

Vokáčová, Jarmila; Duží, Marie; (Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky, Diplomová práce, 2008)
The paradox of inference and the non-triviality of analytic information

Duží, Marie (Journal of philosophical logic. 2010, vol. 39, no. 5, p. 473-510.)
Parmenides Principle

Materna, Pavel; Duží, Marie (Philosophia. 2005, vol. 32, issues 1-4, p. 155-180.)
Points of view from a logical perspective (I)

Duží, Marie; Jespersen, Bjørn; Materna, Pavel (Organon F. 2006, roč. 13, č. 3, s. 277-305.)
Points of view from a logical perspective (II)

Duží, Marie; Jespersen, Bjørn; Materna, Pavel (Organon F. 2007, roč. 14, č. 1, s. 5-31.)
Popis Univerzálního Informačního Robota z hlediska logické teorie a jeho aplikace na řešení krizových situací v dopravním systému

Frydrych , Tomáš; Duží, Marie; (Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky, Diplomová práce, 2007)
Potřebujeme Turingův test pro umělou inteligenci?

Hloušek, Martin; Číhalová, Martina; (Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky, Bakalářská práce, 2011)

HLO045_FEI_B2646_2612R025_2011.pdf

HLO045_FEI_B2646_2612R025_2011_zadani.pdf
Procedural isomorphism, analytic information and β-conversion by value

Duží, Marie; Jespersen, Bjørn (Logic journal of the IGPL. 2013, vol. 21, issue 2, p. 291-308.)

logic-journal-igpl-2013-21-2-291-duzi.pdf
Programming support for intelligent reasoning of agent in the multi-agent world.

Ciprich, Nikola; Duží, Marie; (Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky, Diplomová práce, 2009)
Realizace základních inferencí v Prologu na základě specifikace v jazyce TIL-Script

Galus, Zdeněk; Duží, Marie; (Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky, Diplomová práce, 2008)
Rozhodnutelné podtřídy formulí predikátového počtu 1. řádu

Vašíček, Radim; Duží, Marie; (Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky, Diplomová práce, 2012)

VAS267_FEI_N2647_2612T025_2012.pdf
Strawsonian vs. Russellian definite descriptions

Duží, Marie (Organon F. 2009, roč. 16, č. 4, s. 587-614.)

Now showing items 1-20 of 30

Search DSpace

Advanced Search

Navigation

Browse

All of DSpace

My Account

Login