Search results

Records found: 27  
Your query: Author Sysno/Doc.kind = "^cav_un_auth 0336595 zc^"
    1.
    0584357 - ÚI 2025 CH eng C - Conference Paper (international conference)
    Sedlár, Igor
    Kleene Algebra of Weighted Programs With Domain.
    Dynamic Logic. New Trends and Applications. Revised Selected Papers. Cham: Springer, 2024 - (Gierasimczuk, N.; Velázquez-Quesada, F.), s. 52-67. Lecture Notes in Computer Science, 14401. ISBN 978-3-031-51777-8. E-ISSN 1611-3349.
    [DaLí 2023. International Workshop /5./. Tbilisi (GE), 15.09.2023-16.09.2023]
    R&D Projects: GA ČR(CZ) GA22-16111S
    Institutional support: RVO:67985807
    Keywords : Kleene algebra with domain * Kleene algebra with tests * Program semantics * Weakest precondition calculus * Weighted programs
    Permanent Link: https://hdl.handle.net/11104/0352276
     
     
    2.
    0574179 - ÚI 2024 RIV US eng C - Conference Paper (international conference)
    Sedlár, Igor
    Kleene Algebra With Tests for Weighted Programs.
    2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL). Proceedings. Piscataway: IEEE, 2023, s. 111-116. ISBN 978-1-6654-6416-1. ISSN 2378-2226.
    [ISMVL 2023: IEEE International Symposium on Multiple-Valued Logic /53./. Matsue (JP), 22.05.2023-24.05.2023]
    R&D Projects: GA ČR(CZ) GA22-16111S
    Institutional support: RVO:67985807
    Keywords : Kleene algebra with tests * program equivalence * program semantics * regular programs * weighted programs
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    https://dx.doi.org/10.1109/ISMVL57333.2023.00031
    Permanent Link: https://hdl.handle.net/11104/0344526
     
     
    3.
    0573769 - ÚI 2024 RIV GB eng C - Conference Paper (international conference)
    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]
    R&D Projects: GA ČR(CZ) GF22-23022L
    Institutional support: RVO:67985807
    Keywords : epistemic logic * group knowledge * common knowledge * relational semantics * neighbourhood semantics
    OECD category: 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
    Permanent Link: https://hdl.handle.net/11104/0344132
    FileDownloadSizeCommentaryVersionAccess
    0573769-aoa.pdf6255.2 KBOA CC BYPublisher’s postprintopen-access
     

    Research data: ArXiv.org
     
    4.
    0573722 - ÚI 2024 RIV CH eng C - Conference Paper (international conference)
    Sedlár, Igor - Vigiani, P.
    Relevant Reasoning and Implicit Beliefs.
    Logic, Language, Information, and Computation. Cham: Springer, 2023 - (Hansen, H.; Scedrov, A.; de Queiroz, R.), s. 336-350. 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]
    R&D Projects: GA ČR(CZ) GA22-01137S
    Institutional support: RVO:67985807
    Keywords : Epistemic logic * explicit belief * implicit belief * knowledge representation * modal logic * relevant logic
    OECD category: Pure mathematics
    Permanent Link: https://hdl.handle.net/11104/0344103
    FileDownloadSizeCommentaryVersionAccess
    0573722-acc.pdf3365.9 KBvolně onlineAuthor’s postprintopen-access
     

    Research data: Preprint at MathStat.dal.ca
     
    5.
    0571145 - ÚI 2024 RIV CH eng C - Conference Paper (international conference)
    Sedlár, Igor
    On the Complexity of Kleene Algebra with Domain.
    Relational and Algebraic Methods in Computer Science. 20th International Conference, RAMiCS 2023 Proceedings.. Cham: Springer, 2023 - (Glück, R.; Santocanale, L.; Winter, M.), s. 208-223. Lecture Notes in Computer Science, 13896. ISBN 978-3-031-28082-5.
    [RAMiCS 2023: International Conference on Relational and Algebraic Methods in Computer Science /20./. Augsburg (DE), 03.04.2023-06.04.2023]
    R&D Projects: GA ČR(CZ) GA22-16111S
    Institutional support: RVO:67985807
    Keywords : Complexity * Kleene algebra * Kleene algebra with domain * Propositional dynamic logic * Test algebra
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    https://dx.doi.org/10.1007/978-3-031-28083-2_13
    Permanent Link: https://hdl.handle.net/11104/0342436
     
     
    6.
    0566801 - ÚI 2024 RIV GB eng C - Conference Paper (international conference)
    Sedlár, Igor - Vigiani, P.
    Relevant Reasoners in a Classical World.
    Advances in Modal Logic. Volume 14. London: College Publications, 2022 - (Fernández-Duque, D.; Palmigiano, A.; Pinchinat, S.), s. 697-717, č. článku 196432. ISBN 978-1-84890-413-2.
    [AIML 2022: Advances in Modal Logic. Rennes (FR), 22.08.2022-25.08.2022]
    R&D Projects: GA ČR(CZ) GA22-01137S
    Institutional support: RVO:67985807
    Keywords : epistemic logic * logical omniscience * non-normal worlds * relevant logic
    OECD category: Pure mathematics
    https://www.collegepublications.co.uk/aiml/?00011
    Permanent Link: https://hdl.handle.net/11104/0338087
    FileDownloadSizeCommentaryVersionAccess
    0566801-apre-arxiv.pdf1293.3 KBhttps://arxiv.org/abs/2206.03109v1Author´s preprintopen-access
     
     
    7.
    0565990 - ÚI 2023 RIV CH eng C - Conference Paper (international conference)
    Sedlár, Igor - Wannenburg, Johann Joubert
    Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Test.
    Logic, Language, Information, and Computation. Cham: Springer, 2022 - (Ciabattoni, A.; Pimentel, E.; de Queiroz, R.), s. 221-236. Lecture Notes in Computer Science, 13468. ISBN 978-3-031-15297-9. ISSN 0302-9743.
    [WoLLIC 2022: International Workshop on Logic, Language, Information, and Computation /28./. Iași (RO), 20.09.2022-23.09.2022]
    R&D Projects: GA MŠMT(CZ) EF18_053/0017594
    Institutional support: RVO:67985807
    Keywords : Hoare logic * Kleene algebra with codomain * Kleene algebra with tests * Partial correctness * Substructural logic
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    https://dx.doi.org/10.1007/978-3-031-15298-6_14
    Permanent Link: https://hdl.handle.net/11104/0337430
     
     
    8.
    0553385 - ÚI 2023 RIV CH eng C - Conference Paper (international conference)
    Sedlár, Igor
    Propositional Dynamic Logic with Quantification over Regular Computation Sequences.
    Logical Foundations of Computer Science. International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings. Cham: Springer, 2022 - (Artemov, S.; Nerode, A.), s. 301-315. Lecture Notes in Computer Science, 13137. ISBN 978-3-030-93099-8. ISSN 0302-9743.
    [LFCS 2022: International Symposium on Logical Foundations of Computer Science. Deerfield Beach / Virtual (US), 10.01.2022-13.01.2022]
    Institutional support: RVO:67985807
    Keywords : Finite automata * Planning * Propositional dynamic logic * Quantification
    OECD category: Pure mathematics
    http://dx.doi.org/10.1007/978-3-030-93100-1_19
    Permanent Link: http://hdl.handle.net/11104/0328339
     
     
    9.
    0547245 - ÚI 2022 RIV US eng C - Conference Paper (international conference)
    Sedlár, Igor
    Decidability and Complexity of Some Finitely-valued Dynamic Logics.
    Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. Online: IJCAI Organization, 2021 - (Bienvenu, M.; Lakemeyer, G.; Erdem, E.), s. 570-580. ISBN 978-1-956792-99-7. ISSN 2334-1033.
    [KR2021: International Conference on Principles of Knowledge Representation and Reasoning /18./. Hanoi / Online (VN), 03.11.2021-12.11.2021]
    R&D Projects: GA ČR(CZ) GJ18-19162Y
    Institutional support: RVO:67985807
    Keywords : reasoning about actions and change * action languages Uncertainty * vagueness * many-valued and fuzzy logics
    OECD category: Pure mathematics
    Permanent Link: http://hdl.handle.net/11104/0323528
    FileDownloadSizeCommentaryVersionAccess
    0547245-aoa.pdf1247.1 KBvolně onlinePublisher’s postprintopen-access
     
     
    10.
    0547241 - ÚI 2022 RIV CH eng C - Conference Paper (international conference)
    Sedlár, Igor - Tedder, Andrew
    Situated Epistemic Updates.
    Logic, Rationality, and Interaction. 8th International Workshop, LORI 2021, Proceedings. Cham: Springer, 2021 - (Ghosh, S.; Icard, T.), s. 192-200. Lecture Notes in Computer Science, 13039. ISBN 978-3-030-88707-0. ISSN 0302-9743.
    [LORI 2021: Logic, Rationality, and Interaction /8./. Xi'an (CN), 16.10.2021-18.10.2021]
    R&D Projects: GA ČR(CZ) GJ18-19162Y
    Institutional support: RVO:67985807
    Keywords : Epistemic update * Public announcement logic * Relevant logic * Non-classical logic
    OECD category: Pure mathematics
    Permanent Link: http://hdl.handle.net/11104/0323526
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all