Work

Completeness theorems for semantic resolution in consequence-finding

Year: 1969

Type: conference-paper

Source: International Joint Conference on Artificial Intelligence

Authors: James R. Slagle, C. L. Chang, R. C. T. Lee

Institution: National Institutes of Health

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W108745833

FWCI: 3.479

Cites: 8

Cited by: 44

Related to: 10