pdl-tableau

swMATH11994MaRDI QIDQ23928FDOQ23928

Author name not available (Why is that?)

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

Cited In (2)

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

This page was built for software: pdl-tableau