Výsledky vyhledávání
- 1.0391890 - ÚI 2014 GB eng A - Abstrakt
Běhounek, Libor
Feasibility as a gradual notion.
LPAR-17-short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. University of Manchester: EasyChair Conference System, 2013 - (Voronkov, A.; Sutcliffe, G.; Baaz, M.; Fermüller, C.). s. 15-19. ISSN 2040-557X.
[LPAR 2010. International Conference on Logic for Programming, Artificial intelligence, and Reasoning /17./. 10.10.2010-15.10.2010, Yogyakarta]
Grant CEP: GA ČR GEICC/08/E018; GA AV ČR IAA900090703
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * feasibility * resource-aware reasoning * fuzzy logika * proveditelnost * usuzování citlivé ke zdrojům
Kód oboru RIV: BA - Obecná matematika
http://www.easychair.org/publications/?page=103502707
Trvalý link: http://hdl.handle.net/11104/0220862Název souboru Staženo Velikost Komentář Verze Přístup a0391890.pdf 0 99.1 KB Vydavatelský postprint vyžádat - 2.0391875 - ÚI 2014 PT eng A - Abstrakt
Cintula, Petr - Běhounek, Libor
Mathematical 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. 43-45
[UniLog 2013. World Congress and School on Universal Logic /4./. 29.03.2013-07.04.2013, Rio de Janeiro]
Institucionální podpora: RVO:67985807
Klíčová slova: fuzzy logic * substructural logics * metamathematics * fuzzy logika * substrukturální logiky * metamatematika
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0220849Název souboru Staženo Velikost Komentář Verze Přístup a0391875.pdf 0 427.6 KB Vydavatelský postprint povolen - 3.0381412 - ÚI 2013 JP eng A - Abstrakt
Běhounek, Libor
Feasibility of program runs in fuzzified Propositional Dynamic Logic.
Logic, Algebra and Truth Degrees 2012. Book of Abstracts. JAIST, 2012 - (Terui, K.; Preining, N.). s. 32-34
[Logic, Algebra and Truth Degrees 2012. 10.09.2012-14.09.2012, Kanazawa]
Grant CEP: GA ČR GPP103/10/P234; GA ČR GAP202/10/1826; GA AV ČR IAA900090703
Institucionální podpora: RVO:67985807
Klíčová slova: propositional dynamic logic * fuzzy logic * feasibility * výroková dynamická logika * fuzzy logika * proveditelnost
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0211888 - 4.0328132 - ÚI 2010 RIV SK cze M - Část monografie knihy
Běhounek, Libor
Formální fuzzy logika.
[Formal Fuzzy Logic.]
Umelá inteligencia a kognitívna veda I. Bratislava: Slovenská technická universita, 2009 - (Kvasnička, V.; Pospíchal, V.; Kozák, Š.; Návrat, P.; Paroulek, P.), s. 1-36. ISBN 978-80-227-3080-8
Grant CEP: GA AV ČR 1ET100300517
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logika * graduální vlastnost * fuzzy množina * sémantické paradoxy
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0174522 - 5.0307448 - ÚI 2008 CZ cze A - Abstrakt
Hájek, Petr
(Fuzzy) logika v širokém a úzkém smyslu.
Logika mezi filosofií a matematikou. Praha: Katedra logiky FF UK, 2008. s. 10-10.
[Logika mezi filosofií a matematikou. 01.05.2008-04.05.2008, Hejnice]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: (fuzzy) logika
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0160213 - 6.0083476 - ÚI 2008 RIV CZ cze C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor
Dvě souvislosti mezi epistemickou a fuzzy logikou.
[Two Connections between Epistemic and Fuzzy Logics.]
Kognice a umělý život VII. Opava: Slezská univerzita, Filozoficko-přírodovědecká fakulta, 2007 - (Kelemen, J.; Kvasnička, V.; Pospíchal, J.), s. 37-42. ISBN 978-80-7248-412-6.
[Kognice a umělý život /7./. Smolenice (SK), 28.05.2007-31.05.2007]
Grant CEP: GA AV ČR IAA900090703
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: epistemická logika * fuzzy logika * paradox logické vševědoucnosti * modální fuzzy logika
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0146704