Simply Logical: Intelligent Reasoning by Example¶
Flach, P. A., & Sokol, K. (2024). Simply Logical: Intelligent Reasoning by Example: Intelligent Reasoning by Example.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- Negation as Failure
- If the goal contains unbound variables, a procedural implementation may test whether some witness exists rather than construct the complement, producing the classic floundering or unsound-use boundary.
This sourceAuthoritative teaching text for default reasoning, finite failure, nonground and nontermination boundaries.
- If the goal contains unbound variables, a procedural implementation may test whether some witness exists rather than construct the complement, producing the classic floundering or unsound-use boundary.
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:464814443b9d · see in the full table