Finite model reasoning over existential rules.
Saved in:
| 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!