Temporal Reasoning over Linear Discrete Time

• Authors:

• Manolo Enciso;Inman P. de Guzmán;Carlos Rossi

• Affiliations:

• -;-;-

• Venue:
• JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
• Year:
• 1996