Výsledky vyhledávání
- 1.0564526 - ÚI 2023 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Validating Non-trivial Semantic Properties of Autonomous Robots.
Philosophy and Theory of Artificial Intelligence 2021 Conference Proceedings. Cham: Springer, 2022 - (Magnani, L.), s. 91-104. Studies in Applied Philosophy, Epistemology and Rational Ethic, 63. ISBN 978-3-031-09152-0.
[PTAI 2021: Conference on Philosophy and Theory of Artificial Intelligence /4./. Gothenburg (SE), 27.09.2021-28.09.2021]
Grant ostatní: AV ČR(CZ) StrategieAV21/1
Program: StrategieAV
Institucionální podpora: RVO:67985807
Klíčová slova: Autonomous robots * Cyber-physical systems * Ethics of AI Semantic properties * Rice’s theorem * Robot modelling * Turing machines * Verification
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: https://hdl.handle.net/11104/0336186 - 2.0357312 - ÚI 2012 RIV PT eng C - Konferenční příspěvek (zahraniční konf.)
Barták, R. - Zerola, M. - Slušný, Stanislav
Towards Routing for Autonomous Robots - Using Constraint Programming in an Anytime Path Planner.
ICAART 2011. Proceedings of 3rd International Conference on Agents and Artificial Intelligence. Vol. 1. Setúbal: SciTePress, 2011 - (Filipe, J.; Fred, A.), s. 313-320. ISBN 978-989-8425-40-9.
[ICAART 2011. International Conference on Agents and Artificial Intelligence /3./. Rome (IT), 19.01.2011-21.01.2011]
Grant CEP: GA AV ČR KJB100300804
Grant ostatní: GA ČR(CZ) GAP202/10/1188; GA MŠk(CZ) LC07048; GA MŠk(CZ) LA09013
Program: LC; LA
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: vehicle rouiting * autonomous robots * constraint programming * optimisation
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0006372Název souboru Staženo Velikost Komentář Verze Přístup a0357312.pdf 1 1.7 MB Vydavatelský postprint vyžádat