Logic Programming with General Clauses and Defaults Based on Model Elimination.

Marco A. Casanova, Ramiro A. de T. Guerreiro, Andrea Silva

Browse the full IJCAI paper archive.