J NilssonNils

Correction to "A Formal Basis for the Heuristic Determination of Minimum Cost Paths"

RaphaelBertram, E HartPeter, J NilssonNils, 1972 .

Semantic network representations in rule-based inference systems

O DudaRichard, E HartPeter, J NilssonNils, 1977 .