On the complexity of entailment in existential conjunctive first-order logic with atomic negation
type: Item
instance of: scholarly article
title: On the complexity of entailment in existential conjunctive first-order logic with atomic negation
zbMATH Open document ID: 1251.03071
author: Marie-Laure Mugnier
author: Geneviève Simonet
author: Michaël Thomazo
published in: Information and Computation
publication date: 2012-10-11T00:00:00Z
Mathematics Subject Classification ID: 03F20
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 68Q17
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 6092756
zbMATH Keywords: complexity
zbMATH Keywords: entailment
zbMATH Keywords: negation
zbMATH Keywords: graph homomorphism
zbMATH Keywords: query containment
zbMATH Keywords: clause implication
zbMATH Keywords: conceptual graph
zbMATH Keywords: fragment of first-order logic
MaRDI profile type: Publication
full work available at URL: j.ic.2012.03.001
OpenAlex ID: W2043790764
cites work: Q4864249
cites work: Equivalences among Relational Expressions
cites work: On truth-table reducibility to SAT
cites work: The complexity of promise problems with applications to public-key cryptography
cites work: Q4198056
cites work: Subsumption and implication
cites work: Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width.
cites work: Answering queries using views: A survey
cites work: Conjunctive-query containment and constraint satisfaction
cites work: Simple Conceptual Graphs with Atomic Negation and Difference
cites work: Q4230359
cites work: Inductive Logic Programming: Theory and methods
cites work: Implication of clauses is undecidable
cites work: Q4472458
cites work: Q4414546
DOI: 10.1016/J.IC.2012.03.001
description: scientific article; zbMATH DE number 6092756