Conceptual Graphs and First Order Logic

DOI10.1093/COMJNL/43.1.1MaRDI QIDQ4950848zbMATH OpenOpenAlexFDO

Authors Giambattista Amati, Iadh Ounis

Publication date 27 April 2000

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/395ea0188d250bbfa343161359cd6920862d3144

zbMATH Keywords

Sowa's conceptual graphs

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Knowledge representation (68T30)

Cited in

(19)

• The logic system of concept graphs with negation. And its relationship to predicate logic.
• Exploring, reasoning with and validating directed graphs by applying formal concept analysis to conceptual graphs
• Conceptual and derivation systems
• scientific article; zbMATH DE number 1808286 (Why is no real title available?)
• scientific article; zbMATH DE number 5010047 (Why is no real title available?)
• scientific article; zbMATH DE number 1222705 (Why is no real title available?)
• scientific article; zbMATH DE number 1322799 (Why is no real title available?)
• scientific article; zbMATH DE number 2062337 (Why is no real title available?)
• scientific article; zbMATH DE number 1827085 (Why is no real title available?)
• scientific article; zbMATH DE number 1827086 (Why is no real title available?)
• scientific article; zbMATH DE number 2090751 (Why is no real title available?)
• On generalization/specialization for conceptual graphs
• scientific article; zbMATH DE number 1405765 (Why is no real title available?)
• First-Order Logic on CPDA Graphs
• Rules Dependencies in Backward Chaining of Conceptual Graphs Rules
• Simple conceptual graphs revisited: hypergraphs and conjunctive types for efficient projection algorithms
• Positive First-order Logic on Words and Graphs
• Fregean Logical Graphs
• Information retrieval and artificial intelligence

This page was built for publication: Conceptual Graphs and First Order Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4950848)