Search results
- 1.0369521 - FLÚ 2012 RIV DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GEICC/08/E018; GA AV ČR(CZ) IAA900090703; GA ČR(CZ) GAP401/10/1504
Institutional research plan: CEZ:AV0Z9009908
Keywords : logic of questions * erotetic logic * epistemic logic * public announcement
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0203564 - 2.0364306 - ÚI 2012 RIV GB eng C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR IAA900090703; GA ČR GAP202/10/1826; GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504; CEZ:AV0Z90090514
Keywords : counterfactual conditional * mathematical fuzzy logic * Lewis-Stalnaker semantics * similarity relation
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0199825 - 3.0358360 - ÚI 2012 RIV DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR IAA900090703
Institutional research plan: CEZ:AV0Z10300504
Keywords : modal logic * interpolation * deep inference
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0196432File Download Size Commentary Version Access a0358360.pdf 0 230.5 KB Publisher’s postprint require - 4.0355050 - FLÚ 2011 RIV GB eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA401/07/0904; GA AV ČR(CZ) IAA900090703
Institutional research plan: CEZ:AV0Z90090514
Keywords : logic of questions * epistemic logic * dynamic logic * public announcement
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0193900 - 5.0348911 - ÚI 2011 RIV GB eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GEICC/08/E018; GA AV ČR IAA900090703
Institutional research plan: CEZ:AV0Z10300504; CEZ:AV0Z90090514
Keywords : modal logic * epistemic logic * relevant logic * substructural logic * frame semantics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0006064File Download Size Commentary Version Access a0348911 - BilkovaMajerPelis-RelevantAgents.pdf 5 207.9 KB Publisher’s postprint require - 6.0332828 - FLÚ 2010 RIV GB eng C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR(CZ) IAA900090703; GA ČR(CZ) GA401/07/0904
Institutional research plan: CEZ:AV0Z90090514
Keywords : relevant logic * epistemic logic * modal logic
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0177961 - 7.0328135 - ÚI 2010 RIV GB eng C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR IAA900090703
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logic * linear logic * contraction-free substructural logics * resource-aware reasoning * prelinearity
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0174524File Download Size Commentary Version Access 0328135.pdf 0 673.2 KB Author´s preprint open-access - 8.0320237 - ÚI 2009 RIV GB eng C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR IAA900090703
Grant - others:GA ČR(CZ) GA401/06/0387; NWO(NL) VICI 639.073.501
Institutional research plan: CEZ:AV0Z10300504
Keywords : modal logic * derivation system * coalgebra * coalgebraic modality * Gentzen calculus * completeness
Subject RIV: BA - General Mathematics
http://www.aiml.net/volumes/volume7/Bilkova-Palmigiano-Venema.pdf
Permanent Link: http://hdl.handle.net/11104/0169172 - 9.0308976 - ÚI 2009 RIV CZ slo C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR IAA900090703
Institutional research plan: CEZ:AV0Z10300504
Keywords : multi-agentová simulácia * autonómni agenti * procesné modelovanie
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0161254 - 10.0308975 - ÚI 2009 RIV CZ cze C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR IAA900090703
Institutional research plan: CEZ:AV0Z10300504
Keywords : vágní znalosti * nerozlišitelnost * Poincarého paradox * pozitivní introspekce * negativní introspekce * epistemická logika * proveditelná znalost
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0161253