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
Inf. Comput., 215:8-31, 2012
On the complexity of entailment in existential conjunctive first-order logic with atomic negation
Inf. Comput., 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 = {Inf. Comput.},
volume = {215},
year = {2012},
pages = {8-31}
}
