A BDOTI Logical Framework of Airborne Command Control System.

Jinxing Liu Youlong Yang Mingan Tong

Published in: ISDA (2) (2006)

Keyphrases

contextual information
logical framework
control system
control center
inference rules
belief revision
reasoning tasks
infrared
real time
linear logic
higher order logic
control strategy
possibilistic logic
epistemic logic
normative systems
artificial intelligence
partial order
decision making