Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues

Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna

Research output: Contribution to journalArticlepeer-review

29 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science