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

Presentations

Reading Tools
On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols

Belle, Lakemeyer




Search conference