pdl-tableau

pdl-tableau is a prototypical implementation of a variation of the tableau calculus for PDL in De Giacomo and Massacci (2000), ”Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL” (Information and Computation 162, pp. 117-137).

References in zbMATH (referenced in 2 articles )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. Alechina, Natasha; Dastani, Mehdi; Logan, Brian; Meyer, John-Jules Ch.: Reasoning about agent deliberation (2011) ioport
  2. Alechina, Natasha; Dastani, Mehdi; Logan, Brian; Meyer, John-Jules Ch.: Reasoning about plan revision in BDI agent programs (2011)