Conceptual Graphs and First Order Logic

DOI10.1093/COMJNL/43.1.1zbMath0953.68127OpenAlexW2122816697MaRDI QIDQ4950848

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)

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