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.

Authors

Cristina Ribeiro

This author has not been identified. Look up 'Cristina Ribeiro' in Google

António Porto

This author has not been identified. Look up 'António Porto' in Google