Work

KRYPTON: integrating terminology and assertion

Year: 1983

Type: article

Authors: Ronald J. Brachman, Richard Fikes, Hector J. Levesque

Institution: Palo Alto Research Center

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W70831438

FWCI: 3.857

Cites: 15

Cited by: 60

Related to: 10