ℹ️
🇬🇧
Search
Search for people relevant for "epistemic logic"
epistemic logic
Person
Class
Person
Publication
Programmes
Export current view
Mgr. Petr Švarný Ph.D.
External academic staff at Faculty of Arts
8 classes
10 publications
Classes
class
The Principles of IT
AAH100056 |
Faculty of Arts
class
Principles of IT
AAH100089 |
Faculty of Arts
class
Prolog
ALG100015 |
Faculty of Arts
class
Introduction to Computer Science II
ALG119001 |
Faculty of Arts
class
Seminar on decision processes with uncertainty
ALGV00122 |
Faculty of Arts
class
Interpretable AI
ALGV19002 |
Faculty of Arts
class
Alternative programming paradigms
ALGV19005 |
Faculty of Arts
class
Data analysis and representation
ALGV19007 |
Faculty of Arts
Publications
publication
Erotetic epistemic logic in private communication protocol
2014 |
Faculty of Arts
publication
Safe physical HRI: Toward a unified treatment of speed and separation monitoring together with power and force limiting
2019 |
Faculty of Arts
publication
Collision Preventing Phase-Progress Control for Velocity Adaptation in Human-Robot Collaboration
2019 |
Faculty of Arts
publication
Safety of human-robot interaction through tactile sensors and peripersonal space representations
2018 |
Faculty of Arts
publication
Toward safe separation distance monitoring from RGB-D sensors in human-robot interaction
2018 |
Faculty of Arts
publication
Dynamical Branching
2016 |
Faculty of Arts
publication
Does branching explain flow of time or the other way around?
2015 |
Faculty of Arts
publication
A visit on the Uncanny hill
2015 |
Faculty of Arts
publication
Wally axiomatics of Branching Continuations
2013 |
Faculty of Arts
publication
Flow of Time in BST/BCont Models and Related Semantical Observations
2012 |
Faculty of Arts
Loading network view...