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

Presentations

Reading Tools
Horn Clause Contraction Functions: Belief Set and Belief Base Approaches

Delgrande, Wassermann




Search conference