Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules.
Maike SchwammbergerGleifer Vaz AlvesPublished in: FMAS (2021)
Keyphrases
- lane detection
- road surface
- urban traffic
- urban areas
- lane departure
- traffic flow
- logical rules
- hough transform
- spatial analysis
- lane change
- spatial data
- derivation rules
- transportation networks
- spatial and temporal
- spatial reasoning
- association rules
- spatio temporal
- logic programming
- intuitionistic logic
- spatial databases
- detection algorithm
- spatial information
- transport network
- cut elimination
- linear temporal logic
- lane markings
- association rule mining
- production rules
- aerial images
- rule sets
- urban planning
- geographic information systems
- road segments
- traffic conditions
- road network
- rule engine
- defeasible logic
- active rules
- horn clauses
- data mining
- logic programs
- business rules
- spatial relations