Conceptual Graphs and First Order Logic

DOI10.1093/COMJNL/43.1.1zbMATH Open0953.68127OpenAlexW2122816697MaRDI QIDQ4950848FDOQ4950848

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

Recommendations

• scientific article; zbMATH DE number 1222705
• scientific article; zbMATH DE number 1670901
• scientific article; zbMATH DE number 1946846
• scientific article; zbMATH DE number 1670897
• scientific article; zbMATH DE number 1322795

zbMATH Keywords

Sowa's conceptual graphs

Mathematics Subject Classification ID

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

Cited In (17)

• Simple conceptual graphs revisited: hypergraphs and conjunctive types for efficient projection algorithms
• Title not available (Why is that?)
• The logic system of concept graphs with negation. And its relationship to predicate logic.
• Conceptual and derivation systems
• Title not available (Why is that?)
• Fregean Logical Graphs
• Exploring, reasoning with and validating directed graphs by applying formal concept analysis to conceptual graphs
• Positive First-order Logic on Words and Graphs
• Title not available (Why is that?)
• Information retrieval and artificial intelligence
• First-Order Logic on CPDA Graphs
• Title not available (Why is that?)
• On generalization/specialization for conceptual graphs
• Rules Dependencies in Backward Chaining of Conceptual Graphs Rules
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)