Knowledge Representation
Other categories in Artificial Intelligence (10)
Reasoning tools, ontology projects, course material and research on encoding knowledge for machines. Description logics, rule-based systems, frame languages and semantic web ontologies are the main formalisms discussed.