Amalgamated Logic Programming and Non-Monotonic Reasoning.

Seiki Akama

Browse the full ISMIS paper archive.