Air-Crew Scheduling through Abduction.

Antonis C. Kakas A. Michael

Published in: IEA/AIE (1999)

Keyphrases

crew scheduling
aircraft routing
integer programming
optimization model
crew pairing
background knowledge
logic programming
abductive reasoning
causal networks
abductive logic programming
logic programs
network flow
propositional knowledge base
set covering
computational complexity
domain knowledge
lower bound