Representation and Inference with Consistent Temporal Propositions

Cristina Ribeiro, António Porto. Representation and Inference with Consistent Temporal Propositions. In Roy Dyckhoff, editor, Extensions of Logic Programming, 4th International Workshop, ELP 93, St. Andrews, U.K., March 29 - April 1, 1993, Proceedings. Volume 798 of Lecture Notes in Computer Science, pages 322-332, Springer, 1993.

Abstract

Abstract is missing.