View in EDS PDF Full Text

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
Description
ISSN:14710684
DOI:10.1017/S1471068417000369