Logic in computer science
article-link
What links here
Ronald J. Brachman
Is-a
article-link
RTX BBN Technologies
article-link
Web Ontology Language
article-link
Description logic
article-link
Knowledge representation and reasoning
article-link
WikiHQ