semantika.cz
Hosté | Sémantika
http://www.semantika.cz/hoste
Přejít k obsahu webu. Logické základy pro sémantiku a reprezentaci znalostí. Máte zájem o reklamu? Kupte si textový odkaz na této pozici! HOSTÉ – ZVANÉ PŘEDNÁŠKY:. MARTIN KUSCH: WITTGESTEIN, METROLOGY, CERTAINTIES. Institute of Philosophy, October 4, 2012). CHRISTOPHER GAUKER: VALIDITY WITHOUT REFERENCE. Institute of Philosophy, February 20, 2012). GEORG BRUN: LOGICAL SYSTEMS, REFLECTIVE EQUILIBRIUM AND LOGICAL PLURALISM. Institute of Philosophy, December 12, 2011). HERBERT HRACHOVEC: LOGIC OF PARMENIDES.
semantika.cz
Kontakt | Sémantika
http://www.semantika.cz/kontakt
Přejít k obsahu webu. Logické základy pro sémantiku a reprezentaci znalostí. Máte zájem o reklamu? Kupte si textový odkaz na této pozici! Ve všech záležitostech týkajících se grantu, kontaktujte prosím řešitele grantu. Doc PhDr. Tomáš Marný, PhD. Ústav filosofie a religionistiky FFUK. Nám Jana Palacha 2. 116 42 Praha 1. Tel: ( 420) 123 456 789. Fax: ( 420) 123 456 789. Email: tomas.marny@ff.cuni.cz. Ve všech záležitostech týkajících se stránek grantu, kontaktujte prosím webmastera.
semantika.cz
Účastníci | Sémantika
http://www.semantika.cz/ucastnici
Přejít k obsahu webu. Logické základy pro sémantiku a reprezentaci znalostí. Máte zájem o reklamu? Kupte si textový odkaz na této pozici! ÚČASTNÍCI A JEJICH ZAMĚŘENÍ. Školitel Mgr. Tomáš Marvan, Ph. D. (FF UK) (za českou stranu); prof. Jacques Dubucs (Paris 1) (za francouzskou stranu). Školitelka Doc. RNDr. Marie Duží, CSc.). Školitelka Doc. RNDr. Marie Duží, CSc.). Školitelka Doc. RNDr. Marie Duží, CSc.). Školitel Prof. RNDr. Pavel Pudlák, DrSc.). Školitelka Mgr. Marta Bílková, Ph.D.). Strojové dokazová...
semantika.cz
Vydané | Sémantika
http://www.semantika.cz/vydane
Přejít k obsahu webu. Logické základy pro sémantiku a reprezentaci znalostí. Máte zájem o reklamu? Kupte si textový odkaz na této pozici! PUBLIKACE OFICIÁLNĚ VYDANÉ ZA PODPORY GRANTU. Editoři Vojtěch Kolman a Hynek Janoušek. Nakladatel: Filosofia, Praha Rok vydání: 2013. Miscellanea logica VIII – Philosophica et historica 2/2007. Nakladatel: Karolinum, Praha Rok vydání: 2010. Logika XX. století: mezi matematikou a filosofií (výbor textů). Nakladatel: Filosofia, Praha Rok vydání: 2007. Vydané v roce 2012.
semantika.cz
Fotogalerie | Sémantika
http://www.semantika.cz/fotogalerie
Přejít k obsahu webu. Logické základy pro sémantiku a reprezentaci znalostí. Máte zájem o reklamu? Kupte si textový odkaz na této pozici! Tak to vypadalo v Peci v roce 2005:.
semantika.cz
Dozorčí rada | Sémantika
http://www.semantika.cz/dozorci-rada
Přejít k obsahu webu. Logické základy pro sémantiku a reprezentaci znalostí. Máte zájem o reklamu? Kupte si textový odkaz na této pozici! Doc PhDr. Vojtěch Kolman, Ph.D., Ústav filosofie a religionistiky FF UK. Mgr Marta Bílková, Ph.D., , Katedra logiky FF UK. Mgr Jan Palkoska, PhD., Ústav filosofie a religionistiky FF UK. Prof RNDr. Jaroslav Peregrin, CSc., Filozofický ústav AV ČR. Doc RNDr. Marie Duží, CSc., Katedra informatiky VŠB TU Ostrava. Ing Petr Cintula, Ph.D., Ústav informatiky, AV ČR.
semantika.cz
Pracoviště | Sémantika
http://www.semantika.cz/pracoviste
Přejít k obsahu webu. Logické základy pro sémantiku a reprezentaci znalostí. Máte zájem o reklamu? Kupte si textový odkaz na této pozici! Grantu se účastní následující pracoviště:. Ústav filosofie, Filozofická fakulta Univerzity Karlovy v Praze. Filozofický ústav Akademie věd České republiky. Katedra informatiky, Fakulta elektrotechniky a informatiky VŠB – TU Ostrava. Ústav informatiky Akademie věd České republiky.
semantika.cz
Připravované | Sémantika
http://www.semantika.cz/pripravovane
Přejít k obsahu webu. Logické základy pro sémantiku a reprezentaci znalostí. Máte zájem o reklamu? Kupte si textový odkaz na této pozici! Seznam přijatých publikací připsaných grantu. Duží, Číhalová, Menšík, Vích: Process ontology. Ed. P. Sojka, Brno: MUNI Brno, 2010. Chvalovský, Cintula: Note on Deduction Theorems in Contraction-Free Logics, LPAR 17 [extended abstract] [přijat 3.9.2010]. Menšík, Číhalová, Matějičný: 3D vizualizace modelů predikátové logiky. In ORGANON VII, 2010, to appear. Menšík, M....
semantika.cz
Konference | Sémantika
http://www.semantika.cz/konference
Přejít k obsahu webu. Logické základy pro sémantiku a reprezentaci znalostí. Máte zájem o reklamu? Kupte si textový odkaz na této pozici! Stručné zprávy o účasti na konferencích. LC 2004, Torino, Italy, 24 – 31 July 2004. Účastníci z grantových řad: Libor Běhounek, Marta Bílková, Petr Cintula, Rosťa Horčík, Michal Peliš, Ondra Majer. Libor Běhounek: Extensional set equality over Gödel logic. Marta Bílková: A computational view of intuitionistic propositional proofs. Účastníci z grantových řad: všichni.