Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by P. F. Patel-Schneider
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic
Journal of Artificial Intelligence Research
Artificial Intelligence
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures
Journal of Artificial Intelligence Research
Artificial Intelligence