Výsledky vyhledávání
- 1.0559054 - ÚI 2023 RIV AT eng C - Konferenční příspěvek (zahraniční konf.)
Purgal, S. J. - Cerna, David M. - Kaliszyk, C.
Learning Higher-Order Logic Programs From Failures.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22). Vienna: International Joint Conferences on Artificial Intelligence, 2022 - (De Raedt, L.), s. 2726-2733. ISBN 978-1-956792-00-3.
[IJCAI-ECAI 2022: International Joint Conference on Artificial Intelligence and the European Conference on Artificial Intelligence /31. and 25./. Vienna (AT), 23.07.2022-29.07.2022]
Grant CEP: GA MŠMT(CZ) EF18_053/0017594
Institucionální podpora: RVO:67985807
Klíčová slova: Inductive logic programing * higher-order logic * Learning from failures
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://dx.doi.org/10.24963/ijcai.2022/378
Trvalý link: https://hdl.handle.net/11104/0332473Název souboru Staženo Velikost Komentář Verze Přístup 0559054-aoa.pdf 1 360.2 KB https://arxiv.org/abs/2112.14603 Autorský preprint vyžádat - 2.0500226 - ÚI 2019 RIV FR eng J - Článek v odborném periodiku
Běhounek, L. - Majer, Ondrej
Fuzzy intensional semantics.
Journal of Applied Non-Classical Logics. Roč. 28, č. 4 (2018), s. 348-388. ISSN 1166-3081
Grant CEP: GA ČR(CZ) GF15-34650L; GA MŠMT LQ1602
Institucionální podpora: RVO:67985807
Klíčová slova: Fuzzy logic * higher-order logic * intensional semantics * Kripke semantics * modal logic
Obor OECD: Pure mathematics
Trvalý link: http://hdl.handle.net/11104/0292336 - 3.0431685 - ÚI 2015 AT eng A - Abstrakt
Běhounek, Libor
Church-style type theories over finitary weakly implicative logics.
Abstract Booklet - LATD 2014. Vienna: Vienna University of Technology, 2014 - (Baaz, M.; Ciabattoni, A.; Hetzl, S.). s. 131-133
[LATD 2014. Logic, Algebra and Truth Degrees. 16.07.2014-19.07.2014, Vienna]
Grant CEP: GA MŠMT ED1.1.00/02.0070
Grant ostatní: GA MŠk EE2.3.30.0010
Institucionální podpora: RVO:67985807
Klíčová slova: type theory * higher-order logic * weakly implicative logics * teorie typů * logika vyššího řádu * slabě implikační logiky
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0236270Název souboru Staženo Velikost Komentář Verze Přístup a0431685.pdf 0 440.4 KB Vydavatelský postprint povolen - 4.0427494 - ÚI 2015 AT eng A - Abstrakt
Běhounek, Libor
A ground many-valued type theory and its extensions.
Graded Logical Approaches and Their Applications. Linz: Johannes Kepler Universität, 2014 - (Flaminio, T.; Godo, L.; Gottwald, S.; Klement, E.). s. 15-18
[Linz Seminar on Fuzzy Set Theory /35./. 18.02.2014-22.02.2014, Linz]
Grant CEP: GA MŠMT ED1.1.00/02.0070
Grant ostatní: GA MŠk EE2.3.30.0010
Institucionální podpora: RVO:67985807
Klíčová slova: type theory * many-valued logics * higher-order logic * teorie typů * vícehodnotové logiky * logika vyššího řádu
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0233024Název souboru Staženo Velikost Komentář Verze Přístup a0427494.pdf 0 96.6 KB Vydavatelský postprint povolen - 5.0405532 - UIVT-O 330910 RIV CN eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor - Cintula, Petr
General Logical Formalism for Fuzzy Mathematics: Methodology and Apparatus.
[Obecný logický formalismus pro fuzzy matematiku: metodologie a aparát.]
Fuzzy Logic, Soft Computing and Computational Intelligence. Vol. 2. Beijing: Tsinghua University Press and Springer, 2005 - (Liu, Y.; Chen, G.; Ying, M.), s. 1227-1232. ISBN 7-302-11377-7.
[International Fuzzy Systems Association World Congress /11./. Beijing (CN), 28.07.2005-31.07.2005]
Grant CEP: GA AV ČR KJB100300502; GA MŠMT 1M0545
Klíčová slova: fuzzy logic * fuzzy mathematics * axiomatization * formalization * higher-order logic * LPi-logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125690Název souboru Staženo Velikost Komentář Verze Přístup 0405532.pdf 0 576.3 KB Autorský preprint povolen