Knowledge Representation and Reasoning Conference
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning

Presentations

Reading Tools
A SAT-Based Approach For PSPACE Modal Logics

Lagniez, Le Berre, de Lima, Montmirail




Search conference