Building Large Knowledge-Based Systems

Douglas Lenat, R. V. G. (1989). Building Large Knowledge-Based Systems. Addison-Wesley.

Type

Book

Intellectual base

Textbook

Year

1989

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• AI-complete
  • … demonstrates that the claim is explicitly informal, the task scope and success criterion are declared, and no mathematical completeness theorem is inferred without reductions and a formal class. to An applied instance preserves the same invariant under a changed notation, scale, implementation, or empirical setting..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:4efe33284128 · see in the full table