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

Presentations

Reading Tools
Walking the Decidability Line for Rules with Existential Variables

Baget, LeClere, Mugnier




Search conference