AAAI Conference on Artificial Intelligence
Twenty-Fourth AAAI Conference on Artificial Intelligence

Presentations

Reading Tools
Ordered Completion for First-Order Logic Programs on Finite Structures

Asuncion, Lin, Zhang, Zhou




Search conference