A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption.

Umberto Straccia

Browse the full ECSQARU paper archive.