Logic and Semantic Networks An extended form of semantic network is defined, which can be regarded as a syntactic variant of the clausal form of logic. By virtue of its relationship with logic, the extended semantic network is provided with a precise semantics, inference rules, and a procedural interpretation. On the other hand, by regarding semantic networks as an abstract data structure for the representation of clauses, we provide a theorem-prover with a potentially useful indexing scheme and path-following strategy for guiding the search for a proof. CACM March, 1979 Deliyanni, A. Kowalski, R. Logic, semantic networks, theorem-proving, indexing, resolution, deduction, logic programming 3.42 3.64 5.21 CA790304 DH April 12, 1979 3:53 PM 3133 4 3133 3133 5 3133 3133 5 3133 3133 5 3133 3154 5 3133 2046 6 3133 2110 6 3133 3133 6 3133