The complexity of propositional linear temporal logics
Journal of the ACM (JACM)
Incompleteness of first-order temporal logic with until
Theoretical Computer Science
Theoretical Computer Science
Journal of Symbolic Computation
Design and validation of computer protocols
Design and validation of computer protocols
Handbook of theoretical computer science (vol. B)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Representing and executing agent-based systems
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
The imperative future: principles of executable temporal logic
The imperative future: principles of executable temporal logic
Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
Model checking
ACM Transactions on Computational Logic (TOCL)
The abc of rational agent modelling
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Temporal resolution using a breadth-first search
Annals of Mathematics and Artificial Intelligence
From the Past to the Future: Executing Temporal Logic Programs
LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning
Searching for Invariants Using Temporal Resolution
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Concurrent METATEM - A Language for Modelling Reactive Systems
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
Vampire 1.1 (System Description)
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Search Strategies for Resolution in Temporal Logics
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Automata representations for Concurrent METATEM
TIME '97 Proceedings of the 4th International Workshop on Temporal Representation and Reasoning (TIME '97)
Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols
TIME '04 Proceedings of the 11th International Symposium on Temporal Representation and Reasoning
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
ACM Transactions on Computational Logic (TOCL)
First-Order Temporal Verification in Practice
Journal of Automated Reasoning
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Implementing BDI-like systems by direct execution
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Programming resource-bounded deliberative agents
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
A resolution method for temporal logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Mechanising first-order temporal resolution
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Programming groups of rational agents
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Deciding monodic fragments by temporal resolution
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Organising software in active environments
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Our Quest for the Holy Grail of Agent Verification
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
International Journal of Business Intelligence and Data Mining
Formal methods in agent-oriented software engineering
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Autonomous Agents and Multi-Agent Systems
| Hi-index | 0.00 |
In this article I will present an overview of a selection of tools for execution and proof based on temporal logic, and outline both the general techniques used and problems encountered in implementing them. This selection is quite subjective, mainly concerning work that has involved researchers I have collaborated with at Liverpool (and, previously, Manchester). The tools considered will mainly be theorem-provers and (logic-based) agent programming languages