Open menu
Peter Frederick Patel-Schneider
1954 – *
Decidable, logic-based knowledge representation