Login / Signup

A Prolog Extension for Handling Negative Knowledge.

Hitoshi AidaHidehiko TanakaTohru Moto-Oka
Published in: New Gener. Comput. (1983)
Keyphrases