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.0391888 - ÚI 2014 GB eng A - Abstrakt
Chvalovský, Karel - Cintula, Petr
Note on Deduction Theorems in Contraction-Free Logics.
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. 26-29. 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 GAP202/10/1826; GA ČR GD401/09/H007; GA AV ČR IAA900090703
Grant ostatní: GA UK 73109/2009
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Local Deduction Theorem * BCI-logic * Substructural logics * Rule of contraction
Kód oboru RIV: BA - Obecná matematika
http://www.easychair.org/publications/?page=1414404771
Trvalý link: http://hdl.handle.net/11104/0220860Název souboru Staženo Velikost Komentář Verze Přístup a0391888.pdf 2 293 KB Vydavatelský postprint vyžádat 0391888.pdf 2 811.3 KB Autorský preprint 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.0347316 - ÚI 2011 CZ eng A - Abstrakt
Běhounek, Libor - Majer, Ondrej
Semantics of Counterfactuals in Higher-Order Fuzzy Logic.
Logic, Algebra and Truth Degrees 2010. Prague: ITI Charles University, 2010 - (Chvalovský, K.; Cintula, P.; Noguera, C.). s. 58-61
[Logic, Algebra and Truth Degrees 2010. 07.09.2010-11.09.2010, Prague]
Grant CEP: GA AV ČR IAA900090703
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: counterfactuals * similarity * fuzzy logic * Lewis' semantics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0188118 - 5.0327987 - ÚI 2010 NL eng A - Abstrakt
Bílková, Marta - Palmigiano, A. - Venema, Y.
Gentzen System for Coalgebraic Cover Modalities.
Topology, Algebra and Categories in Logic. Amsterdam: University of Amsterdam, 2009.
[TACL 2009. Topology, Algebra and Categories in Logic. 07.07.2009-11.07.2009, Amsterdam]
Grant CEP: GA AV ČR IAA900090703
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: modal logic * coalgebraic logic * Gentzen systems * cover modality
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0174404 - 6.0316373 - ÚI 2009 CZ eng A - Abstrakt
Cintula, Petr - Noguera, C.
Hierarchies of Definable Disjunctions and Implications in Non-Classical Logics.
European Congress of Analytical Philosphy. Krakow: Jagiellonian University, 2008 - (Kukushkina, V.; Kijania-Placek, K.). s. 98-98
[ECAP 6. European Congress of Analytic Philosophy /6./. 21.08.2008-26.08.2008, Krakow]
Grant CEP: GA AV ČR IAA900090703
Grant ostatní: Catalan grant(ES) 2006-BP-A-10043; MULOG2(ES) TIN2007-68005-C04
Výzkumný záměr: CEZ:AV0Z10300504
Zdroj financování: V - jiné veřejné zdroje ; V - jiné veřejné zdroje
Klíčová slova: abstract algebraic logic * fuzzy logic * generalized disjunction
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0166316 - 7.0316371 - ÚI 2009 CZ eng A - Abstrakt
Běhounek, Libor - Bílková, Marta - Cintula, Petr
Modeling the Costs of Programs by Fuzzy Dynamic Logic.
European Congress of Analytical Philosphy. Krakow: Jagiellonian University, 2008 - (Kukushkina, V.; Kijania-Placek, K.). s. 79-79
[ECAP 6. European Congress of Analytic Philosophy /6./. 21.08.2008-26.08.2008, Krakow]
Grant CEP: GA AV ČR IAA900090703
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: dynamic logic * fuzzy logic * logic of resources
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0166314