Simple Conceptual Graphs with Atomic Negation and Difference

DOI10.1007/11787181_24zbMath1194.68225OpenAlexW1496970009MaRDI QIDQ5757438

Marie-Laure Mugnier, Michel Leclère

Publication date: 6 September 2007

Published in: Conceptual Structures: Inspiration and Application (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11787181_24

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items

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