Constraint Deduction in an Interval-based Temporal Logic

Authors:
Jana Koehler;Ralf Treinen
Affiliations:
-;-
Venue:
IJCAI '93 Proceedings of the Workshop on Executable Modal and Temporal Logics
Year:
1993

Citing 0
Cited 2

Bounded Model Search in Linear Temporal Logic and Its Application to Planning

TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Pdk: the system and its language

TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract