Knowledge Representation and Reasoning Conference
Twelfth International Conference on the Principles of Knowledge Representation and Reasoning

Presentations

Reading Tools
Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2

Ortiz, Rudolph, Simkus




Search conference