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

Vaishak Belle, Gerhard Lakemeyer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols'. Together they form a unique fingerprint.