Výsledky vyhledávání
- 1.0537592 - ÚI 2021 RIV AU eng G - Konferenční sborník (zahraniční konf.)
Dang, T. (ed.) - Ratschan, Stefan (ed.)
Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT.
Waterloo: Open Publishing Association, 2020. 55 s. Electronic Proceedings in Theoretical Computer Science, 331. ISSN 2075-2180.
[SNR 2020: International Workshop on Symbolic-Numeric Methods for Reasoning /6./. Vienna / Online (AT), 31.08.2020-31.08.2020]
Institucionální podpora: RVO:67985807
Klíčová slova: formal verification * automated reasoning * cyber-physical systems
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://eptcs.web.cse.unsw.edu.au/content.cgi?SNR2020#EPTCS331.0
Trvalý link: http://hdl.handle.net/11104/0315415 - 2.0536433 - ÚI 2021 RIV US eng J - Článek v odborném periodiku
Kučera, P. - Savický, Petr
Bounds on the Size of PC and URC Formulas.
Journal of Artificial Intelligence Research. Roč. 69, 24 December (2020), s. 1395-1420. ISSN 1076-9757. E-ISSN 1943-5037
Grant CEP: GA ČR(CZ) GA19-19463S
Institucionální podpora: RVO:67985807
Klíčová slova: automated reasoning * knowledge representation * satisfiability
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 2.776, rok: 2020
Způsob publikování: Open access
Trvalý link: http://hdl.handle.net/11104/0314210Název souboru Staženo Velikost Komentář Verze Přístup 0536433-afin.pdf 2 294.1 KB OA casopis Vydavatelský postprint povolen - 3.0534203 - ÚI 2021 PT eng C - Konferenční příspěvek (zahraniční konf.)
Cerna, David M. - Seidl, M. - Schreiner, W. - Windsteiger, W. - Biere, A.
Computational logic in the first semester of computer science: An experience report.
Proceedings of the 12th International Conference on Computer Supported Education. Vol. 2. Setúbal: SciTePress, 2020 - (Lane, H.; Zvacek, S.; Uhomoibhi, J.), s. 374-381. ISBN 978-989-758-417-6.
[CSEDU 2020. International Conference on Computer Supported Education /12./. Online, 02.06.2020-04.06.2020)]
Klíčová slova: Automated Reasoning * Education * Logic
Trvalý link: http://hdl.handle.net/11104/0312429 - 4.0465844 - ÚI 2017 RIV US eng J - Článek v odborném periodiku
Vidal, Amanda
MNiBLoS: A SMT-based Solver for Continuous t-norm Based Logics and Some of their Modal Expansions.
Information Sciences. Roč. 372, 1 December (2016), s. 709-730. ISSN 0020-0255. E-ISSN 1872-6291
Grant CEP: GA ČR(CZ) GF15-34650L
Grant ostatní: Austrian Science Fund(AT) I1897-N25; EdeTRI:TIN2012-39348-C02-01(ES) MINECO project; CSIC Intramural Project(ES) 201450E045
Institucionální podpora: RVO:67985807
Klíčová slova: fuzzy logics * modal logics * automated reasoning * continuous t-norms * SMT * infinitely valued logics
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 4.832, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0264289Název souboru Staženo Velikost Komentář Verze Přístup a0465844.pdf 7 1.8 MB Vydavatelský postprint vyžádat - 5.0377648 - ÚI 2013 RIV NL eng M - Část monografie knihy
Kazík, O. - Neruda, Roman
Management of MAS by Means of Automated Reasoning in the Role Model. Chapter 13.
Software Agents, Agent Systems and Their Applications. Amsterdam: IOS Press, 2012 - (Essaaidi, M.; Ganzha, M.; Paprzycki, M.), s. 309-322. NATO Science for Peace and Security Series - D: Information and Communication Security, 32. ISBN 978-1-60750-817-5
Grant CEP: GA MŠMT OC10047
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: multi-agent systems * description logic * role model * matchmaking * integrity constraints * automated reasoning * computational intelligence
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0209750