Work

Logic for problem solving

Year: 1982

Type: article

Source: ACM SIGSOFT Software Engineering Notes

DOI: 10.1145/1005937.1005947

Authors: Robert Kowalski, Steve Smoliar

Institution: Schlumberger (United States)

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2212036697

FWCI: 76.89

Cites:

Cited by: 1,220

Related to: 10