Keyphrases
- cut elimination
- road network
- sequent calculus
- logic programming
- modal logic
- road traffic
- classical logic
- real time
- predicate logic
- road vehicles
- road surface
- proof search
- urban traffic
- epistemic logic
- defeasible logic
- aerial images
- database
- traffic monitoring
- road segments
- set theory
- traffic safety
- lane detection
- computational properties
- urban areas
- data sets
- city traffic