International Joint Conference on Artificial Intelligence
Twenty-First International Joint Conference on Artificial Intelligence

Presentations

Reading Tools

Extending Decidabl...

Baget, Leclère, Mugnier, Salvat