33 citations · 34 across the 5 of their papers we have counts for
1 paper · 2 filters
Roberto Sebastiani, Michele Vescovi
In the last two decades, modal and description logics have been applied to numerous areas of computer science, including knowledge representation, formal verification, database the…