A Horn Clause Theory of Inheritance and Temporal Reasoning.

Stephen G. Pimentel, John L. Cuadrado

Browse the full EPIA paper archive.