A bounded multi-dimensional modal logic for autonomous cars based on local traffic and estimation.
Bingqing XuQin LiPublished in: TASE (2017)
Keyphrases
- modal logic
- multi dimensional
- temporal logic
- decision procedures
- inference rules
- epistemic logic
- classical logic
- network traffic
- default logic
- situation calculus
- traffic flow
- explanation based generalization
- conditional logic
- nonmonotonic logics
- robotic systems
- model checking
- autoepistemic logic
- cooperative
- multiple dimensions
- dynamic logic
- general logic programs
- description logic alc
- background knowledge
- programming language