ALARMS: Alerting and Reasoning Management System for Next Generation Aircraft Hazards
Alan CarlinNathan SchurrJanusz MareckiPublished in: CoRR (2012)
Keyphrases
- management system
- decision support system
- knowledge base
- model based reasoning
- knowledge representation
- reasoning systems
- formal models
- spatial reasoning
- early warning
- reasoning tasks
- qualitative reasoning
- false alarms
- web intelligence
- reasoning process
- false positives
- data sets
- automated reasoning
- resource management
- mobile devices
- database systems
- national security
- air traffic control