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
A Tableau Calculus for a Temporal Logic with Temporal Connectives
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
First Order Linear Temporal Logic over Finite Time Structures
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Game Over: The Foci Approach to LTL Satisfiability and Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
An order-sorted quantified modal logic for meta-ontology
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Hi-index | 0.00 |