Nonclausal deduction in first-order temporal logic
Journal of the ACM (JACM)
A propositional modal logic of time intervals
Journal of the ACM (JACM)
Hyperdocuments as automata: trace-based browsing property verification
ECHT '92 Proceedings of the ACM conference on Hypertext
Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
Temporal resolution using a breadth-first search
Annals of Mathematics and Artificial Intelligence
A Case Study: Acquiring Strategic Knowledge for Expert System Development
IEEE Expert: Intelligent Systems and Their Applications
An Automata-Theoretic Completeness Proof for Interval Temporal Logic
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Decidability of Interval Temporal Logics over Split-Frames via Granularity
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Compositional Reasoning Using Interval Temporal Logic and Tempura
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A Complete Axiomatization of Interval Temporal Logic with Infinite Time
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Temporalized logics and automata for time granularity
Theory and Practice of Logic Programming
A Unified Model Checking Approach with Projection Temporal Logic
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Complexity of propositional projection temporal logic with star†
Mathematical Structures in Computer Science
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Decidability of propositional projection temporal logic with infinite models
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
Utilizing fuzzy petri net for choreography based semantic web services discovery
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Model checking propositional projection temporal logic based on SPIN
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Propositional projection temporal logic, Büchi automata and ω-regular expressions
TAMC'08 Proceedings of the 5th international conference on Theory and applications of models of computation
A timeband framework for modelling real-time systems
Real-Time Systems
B and D are enough to make the Halpern-Shoham logic undecidable
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
An Event-Based Fragment of First-Order Logic over Intervals
Journal of Logic, Language and Information
An improved decision procedure for propositional projection temporal logic
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Alternating interval based temporal logics
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
A transformation from PPTL to S1S
COCOA'10 Proceedings of the 4th international conference on Combinatorial optimization and applications - Volume Part II
Expressiveness of propositional projection temporal logic with star
Theoretical Computer Science
Compositional verification with stutter-invariant propositional projection temporal logic
ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume I
A tableau-based decision procedure for right propositional neighborhood logic
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
An epistemic Halpern-Shoham logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Verification and enforcement of access control policies
Formal Methods in System Design
| Hi-index | 0.01 |