Logic and semantic networks
From MaRDI portal
Publication:4176999
DOI10.1145/359080.359090zbMath0394.68063OpenAlexW2009921028MaRDI QIDQ4176999
Robert Kowalski, Amaryllis Deliyanni
Publication date: 1979
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/359080.359090
Theorem ProvingLogic ProgrammingProblem SolvingAbstract Data StructureInference RulesRepresentation of ClausesSemantic NetworksTranslation of Natural Language
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Implementing specifications by dynamic inheritance ⋮ A logic-based approach to query processing in federated databases ⋮ An algebraic semantics approach to the effective resolution of type equations ⋮ A metalogic programming approach: language, semantics and applications ⋮ Semantic networks
This page was built for publication: Logic and semantic networks
