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.0535464 - ÚI 2022 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Towards Minimally Conscious Cyber-Physical Systems: A Manifesto.
SOFSEM 2021: Theory and Practice of Computer Science. Cham: Springer, 2021 - (Bureš, T.; Dondi, R.; Gamper, J.; Guerrini, G.; Jurdziński, T.; Pahl, C.; Sikora, F.; Wong, P.), s. 43-55. Lecture Notes in Computer Science, 12607. ISBN 978-3-030-67730-5. ISSN 0302-9743.
[SOFSEM 2021: International Conference on Current Trends in Theory and Practice of Computer Science /47./. Bolzano-Bozen / online (IT), 25.01.2021-29.01.2021]
Grant ostatní: AV ČR(CZ) StrategieAV21/1
Program: StrategieAV
Institucionální podpora: RVO:67985807
Klíčová slova: Automata theory * Cyber-physical systems * Design philosophy * Industry 4.0 * Minimal machine consciousness * SACA loop * Self-control
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://link.springer.com/book/10.1007/978-3-030-67731-2#toc
Trvalý link: http://hdl.handle.net/11104/0313481 - 3.0511457 - ÚI 2020 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Finite State Machines with Feedback: An Architecture Supporting Minimal Machine Consciousness.
Computing with Foresight and Industry. Cham: Springer, 2019 - (Manea, F.; Martin, B.; Paulusma, D.; Primiero, G.), s. 286-297. Lecture Notes in Computer Science, 11558. ISBN 978-3-030-22995-5. ISSN 0302-9743.
[CiE 2019: Conference on Computability in Europe /19./. Durham (GB), 15.07.2019-19.07.2019]
Grant ostatní: AV ČR(CZ) StrategieAV21/1
Program: StrategieAV
Institucionální podpora: RVO:67985807
Klíčová slova: finite state machines * machine consciousness * self-knowledge * self-monitoring * self-awareness * qualia
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0301728 - 4.0494153 - ÚI 2019 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Epistemic Computation and Artificial Intelligence.
Philosophy and Theory of Artificial Intelligence 2017. Cham: Springer, 2018 - (Müller, V.), s. 215-224. Studies in Applied Philosophy, Epistemology and Rational Ethics, 44. ISBN 978-3-319-96447-8. ISSN 2192-6255.
[PT-AI 2017. Conference on Philosophy and Theory of Artificial Intelligence /3./. Leeds (GB), 04.11.2017-05.11.2017]
Grant ostatní: GA ČR(CZ) GA15-04960S
Institucionální podpora: RVO:67985807
Klíčová slova: computation * epistemic theory * proof * derivation * artificial intelligence * cognitive functions * accountability * creativity
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0287408 - 5.0477257 - ÚI 2018 RIV AT eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Non-Classical Turing Machines: Extending the Notion of Computation.
Ninth Workshop on Non-Classical Models of Automata and Applications. Wien: Österreichische Computer Gesellschaft, 2017 - (Freund, R.; Mráz, F.; Průša, D.), s. 29-40. ISBN 978-3-903035-18-8.
[NCMA 2017. Workshop on Non-Classical Models of Automata and Applications /9./. Prague (CZ), 17.08.2017-18.08.2017]
Grant ostatní: GA ČR(CZ) GA15-04960S
Institucionální podpora: RVO:67985807
Klíčová slova: Turing machines * interaction * evolution * non-uniformity * interactive Turing machines with advice * red-green Turing machines * relativistic Turing machines
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0273640Název souboru Staženo Velikost Komentář Verze Přístup a0477257.pdf 6 801.1 KB Vydavatelský postprint vyžádat - 6.0474350 - ÚI 2018 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Understanding and Controlling Artificial General Intelligent Systems.
Proceedings of AISB Annual Convention 2017. London: AISB, 2017 - (Bryson, J.; De Vos, M.; Padget, J.), s. 356-363. ISBN 978-1-908187-81-9.
[AISB 2017. Bath (GB), 18.04.2017-22.04.2017]
Grant ostatní: GA ČR(CZ) GA15-04960S
Institucionální podpora: RVO:67985807
Klíčová slova: artificial intelligence * epistemic computation * artificial general intelligence (AGI) * self-improving epistemic theories * controlling AGI systems
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://aisb2017.cs.bath.ac.uk/proceedings.html
Trvalý link: http://hdl.handle.net/11104/0271429Název souboru Staženo Velikost Komentář Verze Přístup a0474350.pdf 1 1.3 MB Vydavatelský postprint vyžádat - 7.0446636 - ÚI 2016 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Towards a Computational Theory of Epistemic Creativity.
41st Annual Convention of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB 2015). London: Society for the Study of Artificial Intelligence & Simulation of Behaviour, 2015, s. 235-242. ISBN 978-1-5108-0386-2.
[AISB Symposium on Computing and Philosophy: The Significance of Metaphor and Other Figurative Modes of Expression and Thought /8./. Canterbury (GB), 20.04.2015-22.04.2015]
Grant ostatní: GA ČR(CZ) GA15-04960S
Institucionální podpora: RVO:67985807
Klíčová slova: epistemology * creativity * knowledge * computation
Kód oboru RIV: IN - Informatika
https://www.cs.kent.ac.uk/events/2015/AISB2015/proceedings.html
Trvalý link: http://hdl.handle.net/11104/0249718Název souboru Staženo Velikost Komentář Verze Přístup 0446636.pdf 5 772.3 KB Autorský preprint povolen a0446636.pdf 1 178.2 KB Vydavatelský postprint vyžádat - 8.0436187 - ÚI 2015 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
What is Computation: An Epistemic Approach.
SOFSEM 2015: Theory and Practice of Computer Science. Berlin: Springer, 2015 - (Italiano, G.; Margaria-Steffen, T.; Pokorný, J.; Quisquater, J.; Wattenhofer, R.), s. 1-13. Lecture Notes in Computer Science, 8939. ISBN 978-3-662-46077-1. ISSN 0302-9743.
[Sofsem 2015. International Conference on Current Trends in Theory and Practice of Computer Science /41./. Pec pod Sněžkou (CZ), 24.01.2015-29.01.2015]
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: computation * knowledge generation * information technology
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0239973Název souboru Staženo Velikost Komentář Verze Přístup a0436187.pdf 4 203.7 KB Vydavatelský postprint vyžádat - 9.0427249 - ÚI 2016 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Computation as Knowledge Generation, with Application to the Observer-Relativity Problem.
40th Annual Convention of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB 2014). London: AISB - The Society for the Study of Artificial Intelligence, 2014, s. 741-748. ISBN 978-1-63266-838-7.
[AISB Symposium on Computing and Philosophy: Is Computation Observer-Relative? /7./. Goldsmiths (GB), 01.04.2014-04.04.2014]
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: computation * knowledge * observer relativity
Kód oboru RIV: IN - Informatika
http://doc.gold.ac.uk/aisb50/ http://toc.proceedings.com/22869webtoc.pdf
Trvalý link: http://hdl.handle.net/11104/0232841Název souboru Staženo Velikost Komentář Verze Přístup a0427249.pdf 4 176.1 KB Vydavatelský postprint vyžádat - 10.0404692 - UIVT-O 20020158 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Relativistic Computers and Non-Uniform Complexity Theory.
Unconventional Models of Computation. Berlin: Springer, 2002 - (Calude, C.; Dinneen, M.; Peper, F.), s. 287-299. Lecture Notes in Computer Science, 2509. ISBN 3-540-44311-8. ISSN 0302-9743.
[UMC'02. Unconvential Models of Computation /3./. Kobe (JP), 15.10.2002-19.10.2002]
Grant CEP: GA ČR GA201/02/1456
Grant ostatní: ALCOM-FT(XE) IST-1999-14186
Výzkumný záměr: AV0Z1030915
Klíčová slova: relativistic computing * Turing machine * computability * arithmetical hierarchy
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0124931