liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
An Optimal Tableau Decision Procedure for Converse-PDL
University of Warsaw.
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab. Linköping University, The Institute of Technology.
2009 (English)In: Proceedings of the 1st International Conference on Knowlegde and Systems Engineering (KSE), IEEE Computer Society, 2009, 207-214 p.Conference paper (Refereed)
Abstract [en]

We give a novel tableau calculus and an optimal (EXPTIME) tableau decision procedure based on the calculus for the satisfiability problem of propositional dynamic logic with converse. Our decision procedure is formulated with global caching and can be implemented together with useful optimization techniques.

Place, publisher, year, edition, pages
IEEE Computer Society, 2009. 207-214 p.
National Category
Engineering and Technology
URN: urn:nbn:se:liu:diva-74999DOI: 10.1109/KSE.2009.12ISBN: 978-1-4244-5086-2 (print)OAI: diva2:499728
2009 International Conference on Knowledge and Systems Engineering, Hanoi, 13-17 Oct.
Available from: 2012-02-13 Created: 2012-02-13 Last updated: 2012-02-20

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Szalas, Andrzej
By organisation
KPLAB - Knowledge Processing LabThe Institute of Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 121 hits
ReferencesLink to record
Permanent link

Direct link