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

Presentations

Reading Tools
Complexity of Propositional Abduction for Restricted Sets of Boolean Functions

Creignou, Schmidt, Thomas




Search conference