1995 | ReviewPaper | Buchkapitel
A combination of clausal and non clausal temporal logic programs
verfasst von : Shinji Kono
Erschienen in: Executable Modal and Temporal Logics
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We have developed Tokio interpreter[5] for first order Interval Temporal Logic[11] and an automatic theorem prover [6,7] for Propositional Interval Temporal Logic. The verifier features deterministic tableau expansion and binary decision tree representation of subterms. Combining these, we can avoid repeated similar clausal form time constraints, and it is possible to execute wider range of specifications without time-backtracking.