Claim · 1977 · publication · Stated in source · Supported

A paper in the IJCAI 1977 proceedings by William S. Mark is titled 'The Reformulation Approach to Building Expert Systems'.

One recorded claim. The claim panel gives its qualification, the source passages with their place in each source, and how it was checked.

What it connects

The Reformulation Approach to Building Expert Systems → uses the name →

Where it appears

No collection page holds this claim. It is listed with its records in the explorer.

Claim and evidence

The Reformulation Approach to Building Expert Systemsuses the name ↓

Machine-checked, not reviewed by an editorStated in sourceSupported

Supporting evidence: primary · 1 source

Date: 1977 · publication Records dated 1977 →

Scope and limitsUse in a title, recorded from the proceedings index; the earliest 'expert system' title in the IJCAI indexes searched (1969–1977). The paper's text was not read, so the sense is taken from the title only.

The evidence 01

primary sourceSupports the claim

Proceedings of the Fifth International Joint Conference on Artificial Intelligence (ijcai.org index page)

IJCAI · 1977

Cite the original source

Cite the original document, not Selekoa. Check these details against it.

Source excerpt

“The Reformulation Approach to Building Expert Systems William S. Mark Pages 329–334”

Location in source proceedings index page, entry

How it was read Retrieved directly from the publisher

Machine-checked · 2026-10-31

Source details and check notes

Authors: IJCAI
Version: Retrieved for the candidate pack on 2026-10-29 (SHA-256 db591b1bf5610faa2dd2caba1606db068264ed069d149f3de7b41ca6e54f4115). Current proceedings index page, ijcai.org (requested as /proceedings/1977-2, served at /proceedings/1977/)
Canonical address: Open the canonical source ↗
Accessed: 2026-10-29
Language: English (en)
Attribution: IJCAI, “Proceedings of the Fifth International Joint Conference on Artificial Intelligence (ijcai.org index page)”, 1977.
Reuse: No open redistribution licence asserted. Bibliographic metadata, editorial paraphrases and short attributed quotations (at most 50 words each). Recheck terms before wider redistribution.
Check notes: Candidate pack passage, Kinds of AI and technical history (research/technical-history). The quotation (12 words) matched the text retrieved for the candidate pack on 2026-10-29. Matching ignored differences of whitespace, case, quotation marks, dashes, PDF line-break hyphens and Unicode compatibility forms, so the source’s typography can differ. No human editorial review.

Status and meaning

Editorial status. Not reviewed by an editor. An exploratory record that no editor has accepted. This status does not say whether a person has read any linked passage. Each evidence record above shows how it was checked.

Relation. A passage of the document uses a name for a family of methods or a term, in the sense the concept’s naming criterion describes or, where labelled, in another sense. The record documents the use; it is not evidence that the name began there, and it implies no influence on or from another text.

Date. Date of publication, as the source gives it.

Record ID th-sym-name-mark-1977