6 citations · 8 across the 4 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…