Work

Incremental algorithms for optimizing model computation based on partial instantiation

Year: 1997

Type: article

Source: The Journal of Logic Programming

DOI: 10.1016/s0743-1066(96)00126-4

Authors: Raymond T. Ng, Xiaomei Tian

Institution: University of British Columbia

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W1983236512

FWCI:

Cites: 24

Cited by: 2

Related to: 10