Relating sentences and semantic networks with procedural logic

DOI10.1145/358589.358602zbMath0486.68105OpenAlexW1977578355MaRDI QIDQ3947164

Robert F. Simmons, Daniel Chester

Publication date: 1982

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/358589.358602

zbMATH Keywords

Horn clausesnatural language processingdefinite clause grammartext analysiseffective programming systemEnglish sentencesnetwork condensibilityrule symmetrysemantic case relationssymmetric clausal logic axioms

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99)

This page was built for publication: Relating sentences and semantic networks with procedural logic