Claim · 2020-12-10 · event · Stated in source · Supported

According to Garcez and Lamb (2020), Henry Kautz's AAAI 2020 Engelmore Memorial Lecture, "The Third AI Summer", "introduced a taxonomy for neurosymbolic computing".

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

Neurosymbolic AI: The 3rd Wave → attributes to → The Third AI Summer: AAAI Robert S. Engelmore Memorial Lecture

Where it appears

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

Claim and evidence

Neurosymbolic AI: The 3rd Waveattributes to ↓The Third AI Summer: AAAI Robert S. Engelmore Memorial Lecture

Machine-checked, not reviewed by an editorStated in sourceSupported

Supporting evidence: primary · 1 source

Date: 2020-12-10 · event Records dated 2020 →
Kind of attribution: Attributes a term or concept to the work

Scope and limitsAttributed statement about the 2020 lecture; the 2022 article version was not read beyond its abstract.

The evidence 02

primary sourceSupports the claim

Neurosymbolic AI: The 3rd Wave

arXiv (v2) · 2020-12-10

Cite the original source

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

Source excerpt

“The Third AI Summer, Henry Kautz’s AAAI 2020 Robert S. Engelmore Memorial Award Lecture, which introduced a taxonomy for neurosymbolic computing”

Location in source PDF p. 24, section 6

How it was read Retrieved directly from the publisher

Machine-checked · 2026-10-31

Source details and check notes

Authors: Artur d'Avila Garcez; Luís C. Lamb
Version: Retrieved for the candidate pack on 2026-10-29 (SHA-256 c9d408d75bc8371001e46d73c2a945a6003955885a914b1696271f2d9f28e6db). arXiv:2012.05876v2 PDF (16 December 2020).
Canonical address: Open the canonical source ↗
Accessed: 2026-10-29
Language: English (en)
Attribution: Artur d'Avila Garcez, Luís C. Lamb, “Neurosymbolic AI: The 3rd Wave”, 2020-12-10.
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 (21 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. The source role is primary for this record: the passage is the citing text’s own attribution, which is what the record states (corrected at admission; the pack had secondary, relative to the work credited). A cross-family machine check (31 October 2026, item 90) re-read the record’s sources and found that they support what the record states. No human editorial review.

primary sourceSupports the claim

Neurosymbolic AI: The 3rd Wave

arXiv (v2) · 2020-12-10

Cite the original source

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

Source excerpt

“Henry Kautz’s taxonomy for neurosymbolic AI [42], which was introduced at AAAI 2020”

Location in source PDF p. 12, section 3

How it was read Retrieved directly from the publisher

Machine-checked · 2026-10-31

Source details and check notes

Authors: Artur d'Avila Garcez; Luís C. Lamb
Version: Retrieved for the candidate pack on 2026-10-29 (SHA-256 c9d408d75bc8371001e46d73c2a945a6003955885a914b1696271f2d9f28e6db). arXiv:2012.05876v2 PDF (16 December 2020).
Canonical address: Open the canonical source ↗
Accessed: 2026-10-29
Language: English (en)
Attribution: Artur d'Avila Garcez, Luís C. Lamb, “Neurosymbolic AI: The 3rd Wave”, 2020-12-10.
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 (13 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. The source role is primary for this record: the passage is the citing text’s own attribution, which is what the record states (corrected at admission; the pack had secondary, relative to the work credited). A cross-family machine check (31 October 2026, item 90) re-read the record’s sources and found that they support what the record states. 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 document expressly attributes an argument, concept, term, finding or approach to another work, in its own words; the kind of attribution is recorded. The record is the citing document’s claim. It is not evidence that the cited work originated the idea, that the attribution is accurate, or of influence beyond the passage. Citation alone is recorded as a citation.

Date. Date of submission (an arXiv version or a journal’s received date, as the source states it); not a later revision or the venue’s publication date.

Record ID th-ns-garcez-lamb-credits-kautz