On the complexity of entailment in existential conjunctive first-order logic with atomic negation
Aus International Center for Computational Logic
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
On the complexity of entailment in existential conjunctive first-order logic with atomic negation
Information and Computation, 215:8-31, 2012
- Forschungsgruppe:Research Group: Computational LogicComputational Logic
@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}
}
