Search results
- 1.0391890 - ÚI 2014 GB eng A - Abstract
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]
R&D Projects: GA ČR GEICC/08/E018; GA AV ČR IAA900090703
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logic * feasibility * resource-aware reasoning * fuzzy logika * proveditelnost * usuzování citlivé ke zdrojům
Subject RIV: BA - General Mathematics
http://www.easychair.org/publications/?page=103502707
Permanent Link: http://hdl.handle.net/11104/0220862File Download Size Commentary Version Access a0391890.pdf 0 99.1 KB Publisher’s postprint require - 2.0391875 - ÚI 2014 PT eng A - Abstract
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]
Institutional support: RVO:67985807
Keywords : fuzzy logic * substructural logics * metamathematics * fuzzy logika * substrukturální logiky * metamatematika
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0220849File Download Size Commentary Version Access a0391875.pdf 0 427.6 KB Publisher’s postprint open-access - 3.0381412 - ÚI 2013 JP eng A - Abstract
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]
R&D Projects: GA ČR GPP103/10/P234; GA ČR GAP202/10/1826; GA AV ČR IAA900090703
Institutional support: RVO:67985807
Keywords : propositional dynamic logic * fuzzy logic * feasibility * výroková dynamická logika * fuzzy logika * proveditelnost
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0211888 - 4.0328132 - ÚI 2010 RIV SK cze M - Monography Chapter
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
R&D Projects: GA AV ČR 1ET100300517
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logika * graduální vlastnost * fuzzy množina * sémantické paradoxy
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0174522 - 5.0307448 - ÚI 2008 CZ cze A - Abstract
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]
Institutional research plan: CEZ:AV0Z10300504
Keywords : (fuzzy) logika
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0160213 - 6.0083476 - ÚI 2008 RIV CZ cze C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR IAA900090703
Institutional research plan: CEZ:AV0Z10300504
Keywords : epistemická logika * fuzzy logika * paradox logické vševědoucnosti * modální fuzzy logika
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0146704