Finite Model Reasoning in Hybrid Classes of Existential Rules

Georg Gottlob, Marco Manna, Andreas Pieris

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Filter

Finished
VADA: Value Added Data Systems: Principles and Architecture
Libkin, L., Buneman, P., Fan, W. & Pieris, A.
EPSRC
1/04/15 → 30/09/20
Project: Research