Nonclausal deduction in first-order temporal logic
Journal of the ACM (JACM)
Temporal and modal logic programming: an annotated bibliography
ACM SIGART Bulletin
The Expressive Power of Temporal Logic of Actions (Extended Abstract)
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
On an omega-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL
CL '00 Proceedings of the First International Conference on Computational Logic
Completeness of Higher-Order Duration Calculus
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
First Order Linear Temporal Logic over Finite Time Structures
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Decidability of infinite-state timed CCP processes and first-order LTL
Theoretical Computer Science - Expressiveness in concurrency
Mechanising first-order temporal resolution
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
LTL Over integer periodicity constraints
Theoretical Computer Science
Symbolic model checking of institutions
Proceedings of the ninth international conference on Electronic commerce
Run-Time Checking of Dynamic Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Mechanising first-order temporal resolution
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
A branching time logic with two types of probability operators
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
A Decidability Result for the Model Checking of Infinite-State Systems
Journal of Automated Reasoning
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Implementing temporal logics: tools for execution and proof
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
A propositional probabilistic logic with discrete linear time for reasoning about evidence
Annals of Mathematics and Artificial Intelligence
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
The formal REA model at the operational level
Applied Ontology
| Hi-index | 5.23 |