Planning in Description Logics: Deduction versus Satisfiability Testing.

Liviu Badea

Browse the full ECAI paper archive.