Terra Cognita

Detecting Unsolvable Queries for Definite Logic Programs

Licence unknown link only — licence forbids redistribution arxiv

Maurice Bruynooghe (1), Henk Vandecasteele (1), D. Andre de Waal (2), Marc Denecker (1) ((1) Katholieke Universiteit Leuven, Belgium, (2) Potchefstroom University for Christian Higher Education, South Africa)

arXiv preprint (cs.LO, cs.AI).

Source ↗

ABSTRACT · 0.0 MB · sha256 331e33c31151…

Concepts this teaches

Not yet mapped to any concept.

A resource only becomes useful here once a curator has anchored it to concepts at specific pages. Until then it is a book on a shelf.