pdl-tableau

MaRDI QIDQ23928swMATHFDO

Official website http://cgi.csc.liv.ac.uk/~ullrich/pdl-tableau/

Cited in

(3)

• KARO
• 3APL
• Reasoning about plan revision in BDI agent programs

This page was built for software: pdl-tableau