Formal Reasoning about Plan-Controlled Vehicles.
Manny RaynerÅsa HugossonMartin AronssonAnnika WærnPublished in: SCAI (1989)
Keyphrases
- real time
- plan generation
- plan recognition
- defeasible argumentation
- logic programming
- communicative acts
- formal theory
- spatial reasoning
- vehicle detection
- traffic accidents
- formal specification
- vehicle tracking
- formal model
- qualitative reasoning
- traffic congestion
- mathematical theory
- moving vehicles
- traffic flow
- practical reasoning
- vehicle speed
- argumentation schemes
- dangerous situations
- path planning