OpenAlex | Failure tabled constraint logic programming by interpolation

Failure tabled constraint logic programming by interpolation

Work

Year: 2013

Type: article

Source: Theory and Practice of Logic Programming

Authors Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Institution The University of Melbourne

Cites: 34

Cited by: 19

Related to: 10

FWCI: 3.778

Citation percentile (by year/subfield): 86.36

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed