Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by A. Borgida
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic
Journal of Artificial Intelligence Research
Artificial Intelligence
Extensible Knowledge Representation: The Case of Description Reasoners
Journal of Artificial Intelligence Research
Artificial Intelligence