Search results

  1. 1.
    0584018 - ÚI 2024 NL eng A - Abstract
    Sedlár, Igor - Majer, Ondrej
    Weighted Programs and Ethical Planning.
    14th Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023): Accepted Contributions. Amsterdam: Tbilisi State University & Georgian Academy of Sciences & University of Amsterdam, 2023.
    [TbiLLC 2023: Tbilisi Symposium on Logic, Language and Computation /14./. 18.09.2023-22.09.2023, Telavi]
    Institutional support: RVO:67985807
    https://events.illc.uva.nl/Tbilisi/Tbilisi2023/uploaded_files/inlineitem/Majer_Sedlar.pdf
    Permanent Link: https://hdl.handle.net/11104/0352007
     
     
  2. 2.
    0560022 - ÚI 2023 FR eng A - Abstract
    Majer, Ondrej - Fermüller, C.
    On Expressivity of Propositional Fragment of Independence Friendly logic.
    ManyVal 2017. Booklet of Abstracts. Toulouse: Institut de Mathematiques, 2017. Č. 91, č. článku 92..
    [ManyVal 2017. 15.11.2017-17.11.2017, Toulouse]
    Permanent Link: https://hdl.handle.net/11104/0333136
     
     
  3. 3.
    0391876 - ÚI 2014 PT eng A - Abstract
    Majer, Ondrej
    A semantics for counterfactuals based on formal fuzzy logic.
    UNILOG 2013. Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: ECEME - Escola de Comando e Estado-Maior do Exército, 2013 - (Béziau, J.; Buchsbaum, A.; Costa-Leite, A.; Altair, A.). s. 287-288
    [UniLog 2013. World Congress and School on Universal Logic /4./. 29.03.2013-07.04.2013, Rio de Janeiro]
    Institutional support: RVO:67985807
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0220850
    FileDownloadSizeCommentaryVersionAccess
    a0391876.pdf1476.9 KBPublisher’s postprintopen-access
     
     
  4. 4.
    0381418 - ÚI 2013 JP eng A - Abstract
    Kroupa, Tomáš - Majer, Ondrej
    Nash Equilibria in a Class of Zero-Sum Games Represented by McNaughton Functions.
    Logic, Algebra and Truth Degrees 2012. Book of Abstracts. JAIST, 2012 - (Terui, K.; Preining, N.). s. 94-97
    [Logic, Algebra and Truth Degrees 2012. 10.09.2012-14.09.2012, Kanazawa]
    R&D Projects: GA ČR GAP402/12/1309
    Institutional support: RVO:67985556 ; RVO:67985807
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0211894
     
     


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