21 citations · 34 across the 5 of their papers we have counts for
1 paper · 1 filter
Gian Carlo Milanese, Gabriella Pasi
Order-Sorted Feature (OSF) logic is a knowledge representation and reasoning language based on function-denoting feature symbols and set-denoting sort symbols ordered in a subsumpt…