A B C D E F G H I-J K L M N-O P Q-R S T-V W X-Z
close this section of the libraryP. F. Patel-Schneider
View the documentP. F. Patel-Schneider A New General Method to Generate Random Modal Formulae for Testing Decision Procedures - P. F. Patel-Schneider and R. Sebastiani
View the documentP. F. Patel-Schneider A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic - A. Borgida and P. F. Patel-Schneider