DMCA

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

by Vaishak Belle, et al.
Venue:PROCEEDINGS OF THE TWENTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE
Citations:1 - 1 self