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

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, p. 207-214Conference paper, Published 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. p. 207-214
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:liu:diva-74999DOI: 10.1109/KSE.2009.12ISBN: 978-1-4244-5086-2 (print)OAI: oai:DiVA.org:liu-74999DiVA, id: diva2:499728
Conference
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 in DiVA

Other links

Publisher's full text

Authority records

Szalas, Andrzej

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

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 154 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf