Finite model reasoning over existential rules.

Saved in:
Bibliographic Details
Title: Finite model reasoning over existential rules.
Authors: AMENDOLA, GIOVANNI1 amendola@mat.unical.it, LEONE, NICOLA1 leone@mat.unical.it, MANNA, MARCO1 manna@mat.unical.it
Source: Theory & Practice of Logic Programming. Sep2017, Vol. 17 Issue 5/6, p726-743. 18p.
Database: Mathematics Source
Be the first to leave a comment!
You must be logged in first