• pdl-tableau

  • Referenced in 2 articles [sw11994]
  • pdl-tableau is a prototypical implementation of a variation of the tableau calculus ... PDL in De Giacomo and Massacci (2000), ”Combining Deduction and Model Checking into Tableaux ... Algorithms for Converse-PDL” (Information and Computation...
  • simpleAPL

  • Referenced in 3 articles [sw06574]
  • plans. Our logic is a variant of PDL, and allows the specification of safety...
  • Petri-PDL

  • Referenced in 1 article [sw15081]
  • dynamic logics with rewriting logic: the Petri-PDL case. Safety is a desired property ... tools and an intuitive graphical interpretation. Petri-PDL puts together DL with Petri nets, providing ... bounded model checker for Petri-PDL. The Petri-PDL model checker is formally designed following...
  • AgentSpeak

  • Referenced in 94 articles [sw06186]
  • AgentSpeak is an agent-oriented programming language. It...
  • 2APL

  • Referenced in 12 articles [sw06573]
  • 2APL: a practical agent programming language. This article...
  • 3APL

  • Referenced in 29 articles [sw20859]
  • 3APL (triple-a-p-l). An Abstract Agent...