Výsledky vyhledávání
- 1.0563275 - ÚI 2023 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Aguilera, J. P. - Diéguez, M. - Fernández-Duque, David - McLean, B.
Time and Godel: Fuzzy Temporal Reasoning in PSPACE.
Logic, Language, Information, and Computation. Cham: Springer, 2022 - (Ciabattoni, A.; Pimentel, E.; de Queiroz, R.), s. 18-35. Lecture Notes in Computer Science, 13468. ISBN 978-3-031-15297-9. ISSN 0302-9743.
[WoLLIC 2022: International Workshop on Logic, Language, Information, and Computation /28./. Iași (RO), 20.09.2022-23.09.2022]
Institucionální podpora: RVO:67985807
Klíčová slova: Godel-Dummett logic * linear temporal logic * intuitionistic logic * fuzzy logic * PSPACE-complete
Obor OECD: Pure mathematics
https://dx.doi.org/10.1007/978-3-031-15298-6_2
Trvalý link: https://hdl.handle.net/11104/0340208 - 2.0546434 - ÚI 2022 US eng J - Článek v odborném periodiku
de Almeida Borges, A. - Conejero Rodriguez, J.J. - Fernández-Duque, David - Gonzalez Bedmar, M. - Joosten, J.J.
To drive or not to drive: A logical and computational analysis of European transport regulations.
Information and Computation. Roč. 280 (2021), č. článku 104636. ISSN 0890-5401. E-ISSN 1090-2651
Klíčová slova: Linear temporal logic * Monadic second order logic * Formalized law * Transport regulations * Automated law enforcement * Tachograph
Impakt faktor: 1.240, rok: 2021
Trvalý link: http://hdl.handle.net/11104/0322940 - 3.0343478 - MÚ 2011 RIV GB eng J - Článek v odborném periodiku
Jeřábek, Emil
Admissible Rules of Lukasiewicz Logic.
Journal of Logic and Computation. Roč. 20, č. 2 (2010), s. 425-447. ISSN 0955-792X. E-ISSN 1465-363X
Grant CEP: GA AV ČR IAA900090703; GA AV ČR IAA100190902; GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: linear temporal logic * unification * consecutions
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.586, rok: 2010
http://logcom.oxfordjournals.org/content/20/2/425
Trvalý link: http://hdl.handle.net/11104/0185948Název souboru Staženo Velikost Komentář Verze Přístup Jerabek1.pdf 9 294.3 KB Autorský postprint vyžádat