Implementing Temporal Logics: Tools for Execution and Proof | Zendy

Michael Fisher | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Implementing Temporal Logics: Tools for Execution and Proof

Author(s) -

Michael Fisher

Publication year - 2006

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-33996-5

DOI - 10.1007/11750734_8

Subject(s) - computer science , selection (genetic algorithm) , programming language , temporal logic , logic programming , software engineering , theoretical computer science , artificial intelligence

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research