Výsledky vyhledávání
- 1.0580808 - ÚI 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Frittella, S. - Kozhemiachenko, D. - Majer, Ondrej
Two-Layered Logics for Paraconsistent Probabilities.
Logic, Language, Information, and Computation. Cham: Springer, 2023 - (Hansen, H.; Scedrov, A.; de Queiroz, R.), s. 101-117. Lecture Notes in Computer Science, 13923. ISBN 978-3-031-39783-7.
[WoLLIC 2023: Workshop on Logic, Language, Information and Computation /29./. Halifax (CA), 11.07.2023-14.07.2023]
Grant CEP: GA ČR(CZ) GA22-01137S
GRANT EU: European Commission(XE) 101007627 - MOSAIC
Institucionální podpora: RVO:67985807 ; RVO:67985955
Klíčová slova: two-layered logics * Łukasiewicz logic * non-standard probabilities * paraconsistent logics * constraint tableaux
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.1007/978-3-031-39784-4_7
Trvalý link: https://hdl.handle.net/11104/0349571 - 2.0578922 - FLÚ 2024 RIV ES eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Frittella, S. - Kozhemiachenko, D. - Majer, Ondrej - Manoorkar, K.
Describing and Quantifying Contradiction between Pieces of Evidence via Belnap Dunn Logic and Dempster-Shafer Theory.
Proceedings of Machine Learning Research, Volume 215: International Symposium on Imprecise Probability: Theories and Applications,. Almerı́a: PMLR, 2023, s. 37-47. E-ISSN 2640-3498.
[International Symposium on Imprecise Probability: Theories and Applications 2023 /13./. Oviedo (ES), 11.07.2023-14.07.2023]
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: Dempster-Shafer theory * Belnap Dunn logic * contradictory evidence
Obor OECD: Philosophy, History and Philosophy of science and technology
https://proceedings.mlr.press/v215/
Trvalý link: https://hdl.handle.net/11104/0347886 - 3.0566916 - FLÚ 2023 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Frittella, S. - Majer, Ondrej - Nazari, S.
Toward Updating Belief Functions over Belnap-Dunn Logic.
Belief Functions: Theory and Applications. BELIEF 2022. Cham: Springer International Publishing, 2022 - (Le Hégarat-Mascle, S.; Bloch, I.; Aldea, E.), s. 261-272. Lecture Notes in Computer Science, 13506. ISBN 978-3-031-17800-9. ISSN 0302-9743. E-ISSN 1611-3349.
[International Conference on Belief Functions 2022 /7./. Paris (FR), 26.10.2022-28.10.2022]
Institucionální podpora: RVO:67985955
Klíčová slova: Bayesian update * Belief functions * Belnap-Dunn logic * Dempster-Shafer combination rule
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-031-17801-6_25
Trvalý link: https://hdl.handle.net/11104/0338405 - 4.0539189 - FLÚ 2021 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Fermüller, Ch.G. - Majer, Ondrej
Interpreting Propositional Fuzzy Logics via Imperfect Information Games.
2020 IEEE 50th Proceedings of the International Symposium on Multiple-Valued Logic. New Jersey: Institute of Electrical and Electronics Engineers, Inc., 2020, s. 237-242. ISBN 978-1-7281-5406-0. ISSN 0195-623X.
[IEEE International Symposium on Multiple-Valued Logic /50./. ISMVL 2020. Miyazaki (JP), 09.11.2020-11.11.2020]
Institucionální podpora: RVO:67985955
Klíčová slova: Game theory * Semantics * Fuzzy logic * Probabilistic logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0317259 - 5.0534300 - ÚI 2021 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Frittella, S. - Majer, Ondrej - Nazari, S.
Belief Based on Inconsistent Information.
Dynamic Logic: New Trends and Applications. Cham: Springer, 2020 - (Martins, M.; Sedlár, I.), s. 68-86. Lecture Notes in Computer Science, 12569. ISBN 978-3-030-65839-7. ISSN 0302-9743.
[DaLí International Workshop /3./. Prague / Online (CZ), 09.10.2020-10.10.2020]
Grant CEP: GA ČR GA17-04630S; GA ČR(CZ) GA16-15621S
Institucionální podpora: RVO:67985807 ; RVO:67985955
Klíčová slova: Epistemic logics * Non-standard probabilities * Belnap-Dunn logic * Two-layer modal logic
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Philosophy, History and Philosophy of science and technology (FLU-F)
Trvalý link: http://hdl.handle.net/11104/0312523 - 6.0436561 - FLÚ 2015 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Švarný, P. - Majer, Ondrej - Peliš, Michal
Erotetic epistemic logic in private communication protocol.
The logica yearbook 2013. London: College Publications, 2014 - (Dančák, M.; Punčochář, V.), s. 223-238. ISBN 978-1-84890-144-5.
[Logica 2013. Hejnice (CZ), 17.06.2013-21.06.2013]
Grant CEP: GA ČR(CZ) GA13-21076S
Institucionální podpora: RVO:67985955
Klíčová slova: Russian cards problem * epistemic logic * erotetic logic * public announcement
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0240265 - 7.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 - 8.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 - 9.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 - 10.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