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

Vaishak Belle, Gerhard Lakemeyer

Browse the full IJCAI paper archive.