LiU Electronic Press
Full-text not available in DiVA
Author:
Nguyen, Linh Anh (University of Warsaw)
Szalas, Andrzej (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab) (Linköping University, The Institute of Technology)
Title:
An Optimal Tableau Decision Procedure for Converse-PDL
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Conference paper (Refereed)
Language:
English
In:
Proceedings of the 1st International Conference on Knowlegde and Systems Engineering (KSE)
Conference:
2009 International Conference on Knowledge and Systems Engineering, Hanoi, 13-17 Oct.
Publisher: IEEE Computer Society
Pages:
207-214
Year of publ.:
2009
URI:
urn:nbn:se:liu:diva-74999
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-74999
ISBN:
978-1-4244-5086-2
Subject category:
Engineering and Technology
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.

Available from:
2012-02-13
Created:
2012-02-13
Last updated:
2012-02-20
Statistics:
14 hits