Výsledky vyhledávání
- 1.0369521 - FLÚ 2012 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Peliš, Michal - Majer, Ondrej
Logic of Questions and Public Announcements.
Logic, Language, and Computation. Berlin: Springer, 2011 - (Bezhanishvili, N.; Löbner, S.; Schwabe, K.; Spada, L.), s. 145-157. Lecture Notes in Artificial Intelligence, 6618. ISBN 978-3-642-22302-0. ISSN 0302-9743.
[TbiLLC 2009. International Tbilisi Symposium on Logic, Language, and Computation /8./. Bakuriani (GE), 21.09.2009-25.09.2009]
Grant CEP: GA ČR(CZ) GEICC/08/E018; GA AV ČR(CZ) IAA900090703; GA ČR(CZ) GAP401/10/1504
Výzkumný záměr: CEZ:AV0Z9009908
Klíčová slova: logic of questions * erotetic logic * epistemic logic * public announcement
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0203564 - 2.0364306 - ÚI 2012 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor - Majer, Ondrej
A Semantics for Counterfactuals Based on Fuzzy Logic.
The Logica Yearbook 2010. London: College Publications, 2011 - (Peliš, M.; Punčochář, V.), s. 25-41. ISBN 978-1-84890-038-7.
[LOGICA 2010. Hejnice (CZ), 21.06.2010-25.06.2010]
Grant CEP: GA AV ČR IAA900090703; GA ČR GAP202/10/1826; GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504; CEZ:AV0Z90090514
Klíčová slova: counterfactual conditional * mathematical fuzzy logic * Lewis-Stalnaker semantics * similarity relation
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0199825 - 3.0358360 - ÚI 2012 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta
A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi.
Logic, Language, and Computation. Berlin: Springer, 2011 - (Bezhanishvili, N.; Löbner, S.; Schwabe, K.; Spada, L.), s. 30-45. Lecture Notes in Artificial Intelligence, 6618. ISBN 978-3-642-22302-0. ISSN 0302-9743.
[TbiLLC 2009. International Tbilisi Symposium on Logic, Language, and Computation /8./. Bakuriani (GE), 21.09.2009-25.09.2009]
Grant CEP: GA AV ČR IAA900090703
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: modal logic * interpolation * deep inference
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0196432Název souboru Staženo Velikost Komentář Verze Přístup a0358360.pdf 0 230.5 KB Vydavatelský postprint vyžádat - 4.0355050 - FLÚ 2011 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Peliš, M. - Majer, Ondrej
Logic of Questions from the Viewpoint of Dynamic Epistemic Logic.
The Logica Yearbook 2009. London: College Publications, 2010 - (Peliš, M.), s. 157-172. ISBN 978-1-84890-009-7.
[LOGICA 2010. Hejnice (CZ), 21.06.2010-25.06.2010]
Grant CEP: GA ČR(CZ) GA401/07/0904; GA AV ČR(CZ) IAA900090703
Výzkumný záměr: CEZ:AV0Z90090514
Klíčová slova: logic of questions * epistemic logic * dynamic logic * public announcement
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0193900 - 5.0348911 - ÚI 2011 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Majer, Ondrej - Peliš, Michal - Restall, G.
Relevant Agents.
Advances in Modal Logic. London: College Publications, 2010 - (Beklemishev, L.; Goranko, V.; Shehtman, V.), s. 22-38. 8. ISBN 978-1-84890-013-4.
[Advances in Modal Logic. Moscow (RU), 24.08.2010-27.08.2010]
Grant CEP: GA ČR GEICC/08/E018; GA AV ČR IAA900090703
Výzkumný záměr: CEZ:AV0Z10300504; CEZ:AV0Z90090514
Klíčová slova: modal logic * epistemic logic * relevant logic * substructural logic * frame semantics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0006064Název souboru Staženo Velikost Komentář Verze Přístup a0348911 - BilkovaMajerPelis-RelevantAgents.pdf 5 207.9 KB Vydavatelský postprint vyžádat - 6.0332828 - FLÚ 2010 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Peliš, Michal
Epistemic Logic with Relevant Agents.
[Epistemická logika s relevančními agenty.]
The Logica Yearbook 2008. London: College Publications, 2009 - (Peliš, M.), s. 123-135. ISBN 978-1-904987-46-8.
[Logica 2008. Hejnice (CZ), 16.06.2008-20.06.2008]
Grant CEP: GA AV ČR(CZ) IAA900090703; GA ČR(CZ) GA401/07/0904
Výzkumný záměr: CEZ:AV0Z90090514
Klíčová slova: relevant logic * epistemic logic * modal logic
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0177961 - 7.0328135 - ÚI 2010 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor
Fuzzy Logics Interpreted as Logics of Resources.
[Interpretace fuzzy logik jakožto logik zdrojů.]
The Logica Yearbook 2008. London: College Publications, 2009 - (Peliš, M.), s. 1-13. ISBN 978-1-904987-46-8.
[Logica 2008. Hejnice (CZ), 16.06.2008-20.06.2008]
Grant CEP: GA AV ČR IAA900090703
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * linear logic * contraction-free substructural logics * resource-aware reasoning * prelinearity
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0174524Název souboru Staženo Velikost Komentář Verze Přístup 0328135.pdf 0 673.2 KB Autorský preprint povolen - 8.0320237 - ÚI 2009 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Palmigian, A. - Venema, Y.
Proof Systems for the Coalgebraic Cover Modality.
[Důkazové systémy pro koalgebraickou modalitu.]
Advances in Modal Logic. Vol. 7. London: College Publications, 2008 - (Areces, C.; Goldblatt, R.), s. 1-21. ISBN 978-1-904987-68-0.
[Advances in Modal Logic. Nancy (FR), 09.09.2008-12.09.2008]
Grant CEP: GA AV ČR IAA900090703
Grant ostatní: GA ČR(CZ) GA401/06/0387; NWO(NL) VICI 639.073.501
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: modal logic * derivation system * coalgebra * coalgebraic modality * Gentzen calculus * completeness
Kód oboru RIV: BA - Obecná matematika
http://www.aiml.net/volumes/volume7/Bilkova-Palmigiano-Venema.pdf
Trvalý link: http://hdl.handle.net/11104/0169172 - 9.0308976 - ÚI 2009 RIV CZ slo C - Konferenční příspěvek (zahraniční konf.)
Bošanský, Branislav - Brom, C.
Simulácia pracovníkov firmy pomocí autonómnych agentov.
[Employees Simulation By Means Of Autonomous Agents.]
Kognice a umělý život VIII. Opava: Slezská univerzita, Filozoficko-přírodovědecká fakulta, 2008 - (Kelemen, J.; Kvasnička, V.; Pstružina, K.), s. 49-54. ISBN 978-80-7248-462-1.
[Kognice a umělý život /8./. Praha (CZ), 26.05.2008-29.05.2008]
Grant CEP: GA AV ČR IAA900090703
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: multi-agentová simulácia * autonómni agenti * procesné modelovanie
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0161254 - 10.0308975 - ÚI 2009 RIV CZ cze C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor
Introspekce vágních znalostí ve fuzzy logice.
[Introspection of Vague Knowledge in Fuzzy Logic.]
Kognice a umělý život VIII. Opava: Slezská univerzita, Filozoficko-přírodovědecká fakulta, 2008 - (Kelemen, J.; Kvasnička, V.; Pstružina, K.), s. 43-48. ISBN 978-80-7248-462-1.
[Kognice a umělý život /8./. Praha (CZ), 26.05.2008-29.05.2008]
Grant CEP: GA AV ČR IAA900090703
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: vágní znalosti * nerozlišitelnost * Poincarého paradox * pozitivní introspekce * negativní introspekce * epistemická logika * proveditelná znalost
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0161253