3 citations · 8 across the 11 of their papers we have counts for
1 paper · 1 filter
Alessandro Artale, Roman Kontchakov, Andrea Mazzullo +1
Definite descriptions, such as 'the General Chair of KR 2024', are a semantically transparent device for object identification in knowledge representation. In first-order modal log…