Výsledky vyhledávání
- 1.0488903 - FLÚ 2018 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Duží, M. - Materna, Pavel
Validity and Applicability of Leibniz's Law of Substitution of Identicals.
The Logica Yearbook 2016. London: College Publications, 2017 - (Arazim, P.; Lávička, T.), s. 17-35. ISBN 978-1-84890-243-5.
[Logica 2016. Hejnice (CZ), 20.06.2016-24.06.2016]
Institucionální podpora: RVO:67985955
Klíčová slova: Leibniz * Substitution of identicals * Three kinds of context * Transparent Intensional Logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0283421 - 2.0372736 - FLÚ 2012 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Duží, M. - Jespersen, Bjorn
Transparent quantification into hyperintensional contexts.
The Logica Yearbook 2010. London: College Publications, 2011 - (Peliš, M.; Punčochář, V.), s. 81-97. ISBN 978-1-84890-038-7.
[LOGICA 2010. Hejnice (CZ), 21.06.2010-25.06.2010]
Výzkumný záměr: CEZ:AV0Z90090514
Klíčová slova: hyperintensions * type theory * Transparant intensional logic * propositional attitudes
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0205980 - 3.0348766 - FLÚ 2011 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Duží, M. - Materna, Pavel
Concepts as Structured Meanings.
The Analytical Way: Proceedings of the 6th European Congress of Analytic Philosophy. London: College Publications. Department of Computer Science, 2010 - (Czarnecki, T.; Kijania-Placek, K.; Poller, O.; Wolenski, J.), s. 261-298. ISBN 978-1-84890-014-1.
[6th European Congress of Analytic Philosophy. Krakow (PL), 21.08.2008-26.08.2008]
Grant CEP: GA ČR(CZ) GA401/07/0451
Výzkumný záměr: CEZ:AV0Z90090514
Klíčová slova: Transparent intensional logic * constructions * meaning * concept
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0189200 - 4.0140407 - FLU-F 20030062 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Materna, Pavel - Duží, M.
'Parmenides Principle' (The Analysis of Aboutness).
The Logica Yearbook. Praha: Filosofia, 2003 - (Childers, T.; Majer, O.), s. 159-178. ISBN 80-7007-172-9.
[Logica 2002. Zahrádky (CZ), 18.06.2002-21.06.2002]
Grant CEP: GA ČR GA401/03/1403; GA ČR GA401/02/1157
Výzkumný záměr: CEZ:AV0Z9009908
Klíčová slova: denotation * reference * meaning
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0038146 - 5.0140192 - FLU-F 20020100 RIV CZ cze C - Konferenční příspěvek (zahraniční konf.)
Duží, M. - Materna, Pavel
Reprezentace znalosti, analýza tázacích vět a specifikace dotazu nad konceptuálním schématem HIT.
[Knowledge representation, analysis of interrogative sentences and specification of queries over HIT conceptual schema.]
Datakon 2002. Sborník databázové konference. Brno: Masarykova univerzita, 2002 - (Chlapec, D.), s. 195-208. ISBN 80-210-2958-7.
[DATAKON 2002. Brno (CZ), 19.10.2002-22.10.2002]
Výzkumný záměr: CEZ:AV0Z9009908
Klíčová slova: philosophy
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0037931 - 6.0140115 - FLU-F 20020015 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Materna, Pavel - Duží, M.
Intensional Logic as a Medium of Knowledge Representation and Acquistion in the HIT Conceptual Model.
12th European-Japanese Conference on Information Modelling and Knowledge Bases. Krippen: University of Tampere; Kyushu Institute of Technology, 2002 - (Kangassalo, H.; Kawaguchi, E.), s. 62-76
[European-Japanese Conference on Information Modelling and Knowledge Bases /12./. Kitakyushu (JP), 27.05.2002-30.05.2002]
Výzkumný záměr: CEZ:AV0Z9009908
Klíčová slova: logic
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0037854 - 7.0140017 - FLU-F 20010162 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Materna, Pavel - Duží, M.
Propositional Attitudes Revised.
The Logica Yearbook 2000. Prague: Filosofia, 2001 - (Majer, O.), s. 163-173. ISBN 80-7007-149-4.
[Logica 2000. Liblice (CZ), 00.06.2000]
Grant CEP: GA AV ČR IAA0009001
Klíčová slova: logic
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0037756 - 8.0101271 - FLU-F 20040130 RIV CZ cze C - Konferenční příspěvek (zahraniční konf.)
Duží, M. - Materna, Pavel
Konceptuální modelování a ontologie z pohledu logiky.
[Conceptual modeling and ontologies from the logical viewpoint.]
DATAKON 2004. Sborník databázové konference. Brno: Masarykova univerzita, 2004 - (Ježek, K.), s. 99-118. ISBN 80-210-3516-1.
[DATAKON 2004. Brno (CZ), 23.10.2004-26.10.2004]
Grant CEP: GA ČR GA401/04/2073
Výzkumný záměr: CEZ:AV0Z9009908
Klíčová slova: concept * ontology * structured meanings
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0008706 - 9.0097855 - ÚI 2008 RIV FI eng C - Konferenční příspěvek (zahraniční konf.)
Duží, M. - Vojtáš, Peter
Multi-Criterion Search from the Semantic Point of View.
[Vícekriteriální vyhledávání ze sémantického hlediska (srovnání TIL a deskripční logiky).]
EJC 2007. Tampere: Juvenes Print-TTY, 2007 - (Jaakkola, H.), s. 21-39. ISBN 978-952-15-1786-0.
[EJC 2007. European-Japanese Conference on Information Modelling and Knowledge Based EJC 2007 /17./. Pori (FI), 04.06.2007-08.06.2007]
Grant CEP: GA AV ČR 1ET100300419; GA AV ČR(CZ) 1ET101940420
Klíčová slova: Transparent Intensional Logic * TIL * description logic * multicriterial search * semantic web
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0156907 - 10.0020970 - FLÚ 2006 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Duží, M. - Materna, Pavel
Synthetic Concepts A Priori.
[Syntetické pojmy a priori.]
Jazyk - logika - věda. Praha: Filosofia, 2005 - (Sousedík, P.), s. 181-203. ISBN 80-7007-212-1.
[Aktuální problémy logické a filosofické analýzy /8./. Pec pod Sněžkou (CZ), 19.09.2004-22.09.2004]
Grant CEP: GA ČR GA401/04/2073
Výzkumný záměr: CEZ:AV0Z90090514
Klíčová slova: analytic * synthetic * concept
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0110009