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

Presentations

Reading Tools
On Unit-Refutation Complete Formulae with Existentially Quantified Variables

Bordeaux, Janota, Marques-Silva, Marquis




Search conference