On the complexity of entailment in existential conjunctive first-order logic with atomic negation

From International Center for Computational Logic

Toggle side column

On the complexity of entailment in existential conjunctive first-order logic with atomic negation

Marie-Laure MugnierMarie-Laure Mugnier,  Geneviève SimonetGeneviève Simonet,  Michaël ThomazoMichaël Thomazo
Marie-Laure Mugnier, Geneviève Simonet, Michaël Thomazo
On the complexity of entailment in existential conjunctive first-order logic with atomic negation
Information and Computation, 215:8-31, 2012
@article{MST2012,
  author    = {Marie-Laure Mugnier and Genevi{\`{e}}ve Simonet and Micha{\"{e}}l
               Thomazo},
  title     = {On the complexity of entailment in existential conjunctive
               first-order logic with atomic negation},
  journal   = {Information and Computation},
  volume    = {215},
  publisher = {Elsevier},
  year      = {2012},
  pages     = {8-31},
  doi       = {10.1016/j.ic.2012.03.001}
}