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.0573769 - ÚI 2024 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Sedlár, Igor
Epistemic Logics of Structured Intensional Groups.
Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023). Oxford: Open Publishing Association, 2023 - (Verbrugge, R.), s. 113-130. Electronic Proceedings in Theoretical Computer Science, 379. ISSN 2075-2180.
[TARK 2023: Theoretical Aspects of Rationality and Knowledge /19./. Oxford (GB), 28.06.2023-30.06.2023]
Grant CEP: GA ČR(CZ) GF22-23022L
Institucionální podpora: RVO:67985807
Klíčová slova: epistemic logic * group knowledge * common knowledge * relational semantics * neighbourhood semantics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?TARK2023.11.pdf
Trvalý link: https://hdl.handle.net/11104/0344132Název souboru Staženo Velikost Komentář Verze Přístup 0573769-aoa.pdf 6 255.2 KB OA CC BY Vydavatelský postprint povolen
Vědecká data: ArXiv.org - 3.0560973 - ÚI 2023 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Frittella, S. - Kozhemiachenko, D.
Paraconsistent Gödel Modal Logic.
Automated Reasoning: 11th International Joint Conference, IJCAR 2022 Proceedings. Cham: Springer, 2022 - (Blanchette, J.; Kovács, L.; Pattinson, D.), s. 429-448. Lecture Notes in Computer Science, 13385. ISBN 978-3-031-10768-9.
[IJCAR 2022: International Joint Conference on Automated Reasoning /11./. Haifa (IL), 08.08.2022-10.08.2022]
Grant CEP: GA ČR(CZ) GA22-01137S
GRANT EU: European Commission(XE) 101007627 - MOSAIC
Institucionální podpora: RVO:67985807
Klíčová slova: Constraint tableaux * Gödel logic * Two-dimensional logics * Modal logics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: https://hdl.handle.net/11104/0333737Název souboru Staženo Velikost Komentář Verze Přístup 0560973-aoa.pdf 3 702.2 KB OA CC BY 4.0 Vydavatelský postprint povolen - 4.0547636 - ÚI 2022 RIV AU eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Christoff, Z. - Roy, O.
Revisiting Epistemic Logic with Names.
Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge. Waterloo: Open Publishing Association, 2021 - (Halpern, J.; Perea, A.), s. 39-54. Electronic Proceedings in Theoretical Computer Science, 335. ISSN 2075-2180.
[TARK 2021: Theoretical Aspects of Rationality and Knowledge /18./. Beijing (CN), 25.06.2021-27.06.2021]
Institucionální podpora: RVO:67985807
Klíčová slova: epistemic logic * multi-agent epistemic logic * common knowledge * distributed knowledge * neighbourhood semantics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2021.4
Trvalý link: http://hdl.handle.net/11104/0323830Název souboru Staženo Velikost Komentář Verze Přístup 0547636-afin.pdf 1 215.8 KB OA Vydavatelský postprint povolen - 5.0547122 - ÚI 2022 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Frittella, S. - Kozhemiachenko, D.
Constraint Tableaux for Two-Dimensional Fuzzy Logics.
TABLEAUX 2021: Automated Reasoning with Analytic Tableaux and Related Methods. Cham: Springer, 2021 - (Das, A.; Negri, S.), s. 20-37. Lecture Notes on Computer Science, 12842. ISBN 978-3-030-86058-5. ISSN 0302-9743.
[Tableaux 2021: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods /30./, co-located with FroCoS 2021: International Symposium on Frontiers of Combining Systems /13./. Birmingham / online (GB), 06.09.2021-09.09.2021]
Institucionální podpora: RVO:67985807
Klíčová slova: Constraint tableaux * Lukasiewicz logic * Gödel logic * Two-dimensional logics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0323453 - 6.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 - 7.0491981 - ÚI 2019 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Cintula, Petr - Lávička, Tomáš
Lindenbaum and Pair Extension Lemma in Infinitary Logics.
Logic, Language, Information and Computation. Berlin: Springer, 2018 - (Moss, L.; de Queiroz, R.; Martinez, M.), s. 130-144. Lecture Notes on Computer Science, 10944. ISBN 978-3-662-57668-7. ISSN 0302-9743.
[WoLLIC 2018. International Workshop on Logic, Language, Information and Computation /25./. Bogotá (CO), 24.07.2018-27.07.2018]
Grant CEP: GA ČR GA17-04630S; GA ČR(CZ) GC16-07954J
Grant ostatní: AV ČR(CZ) JSPS-16-08
Program: Bilaterální spolupráce
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Lindenbaum lemma * Pair extension lemma * Infinitary logic * Infinitary deduction rule * Strong disjunction * Prime theory
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Trvalý link: http://hdl.handle.net/11104/0285566Název souboru Staženo Velikost Komentář Verze Přístup a0491981prep.pdf 4 388.6 KB Autorský postprint povolen a0491981.pdf 9 319.1 KB Vydavatelský postprint vyžádat - 8.0461966 - ÚI 2017 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Dostál, Matěj
Expressivity of Many-Valued Modal Logics, Coalgebraically.
Logic, Language, Information, and Computation. Berlin: Springer, 2016 - (Väänänen, J.; Hirvonen, A.; de Queiroz, R.), s. 109-124. Lecture Notes in Computer Science, 9803. ISBN 978-3-662-52920-1. ISSN 0302-9743.
[WoLLIC 2016. International Workshop /23./. Puebla (MX), 16.08.2016-19.08.2016]
Grant CEP: GA ČR(CZ) GF15-34650L; GA ČR GA13-14654S
Institucionální podpora: RVO:67985807
Klíčová slova: coalgebra * coalgebraic logic * predicate lifting * modal logic * many-valued logic * expressivity * bisimulation * Hennessy-Milner property
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0261503Název souboru Staženo Velikost Komentář Verze Přístup a0461966.pdf 9 271.9 KB Vydavatelský postprint vyžádat - 9.0427525 - ÚI 2015 GE eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Velebil, J.
A coalgebraic logic for preordered coalgebras.
Tenth Tbilisi Symposium on Language, Logic and Computation. Tbilisi State University, 2013, s. 69-73.
[TbiLLC 2013. International Tbilisi Symposium on Language, Logic and Computation /10./. Gudauri (GE), 23.09.2013-27.09.2013]
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0233053Název souboru Staženo Velikost Komentář Verze Přístup a0427525.pdf 0 392.3 KB Vydavatelský postprint vyžádat - 10.0425733 - ÚI 2014 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Dostál, M.
Many-Valued Relation Lifting and Moss’ Coalgebraic Logic.
Algebra and Coalgebra in Computer Science. Berlin: Springer, 2013 - (Heckel, R.; Milius, S.), s. 66-79. Lecture Notes in Computer Science, 8089. ISBN 978-3-642-40205-0. ISSN 0302-9743.
[CALCO 2013. International Conference /5./. Warsaw (PL), 03.09.2013-06.09.2013]
Grant CEP: GA ČR GAP202/10/1826
Grant ostatní: SGS ČVUT(CZ) SGS12/060/OHK3/1T/13
Institucionální podpora: RVO:67985807
Klíčová slova: coalgebra * coalgebraic logic * relation lifting * many-valued logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0231547Název souboru Staženo Velikost Komentář Verze Přístup a0425733.pdf 1 271.5 KB Vydavatelský postprint vyžádat