Work

A model-theoretic approach to the verification of situated reasoning systems

Year: 1993

Type: conference-paper

Source: International Joint Conference on Artificial Intelligence

Authors: Anand S. Rao, Michael Georgeff

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2097289499

FWCI: 7.885

Cites: 15

Cited by: 132

Related to: 10