56 citations · 99 across the 11 of their papers we have counts for
1 paper · 1 filter
Piero Andrea Bonatti, Iliana Mineva Petrova, Luigi Sauro
We introduce optimization techniques for reasoning in DLN---a recently introduced family of nonmonotonic description logics whose characterizing features appear well-suited to mode…