TATL: Implementation of ATL tableau-based decision procedure

Amélie David 1
1 IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
Abstract : This paper describes the implementation of a tableau-based decision procedure for the Alternating-time Temporal Logic proposed by Goranko and Shkatov in 2009, as well as a set of representative formulas used for testing.
Keywords : Alternating-time Temporal Logic tableaux theorem prover
Document type :
Conference papers
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-00880284
Contributor : Frédéric Davesne <>
Submitted on : Tuesday, November 5, 2013 - 4:55:45 PM
Last modification on : Monday, October 28, 2019 - 11:00:24 AM

Links full text

istex

Identifiers

Collections

IBISC-COSMO | IBISC | UNIV-EVRY

Citation

Amélie David. TATL: Implementation of ATL tableau-based decision procedure. 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2013), Sep 2013, Nancy, France. pp.97--103, ⟨10.1007/978-3-642-40537-2_10⟩. ⟨hal-00880284⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

84

Contact

Informations

CCSD