PROMAL: Programming in Modal Action Logic

Odinaldo Rodrigues, Mario R. F. Benevides. PROMAL: Programming in Modal Action Logic. In Jacques Wainer, Ariadne Carvalho, editors, Advances in Artificial Intelligence, 12th Brazilian Symposium on Artificial Intelligence, SBIA 95, Campinas, Brazil, October 10-12, 1995, Proceedings. Volume 991 of Lecture Notes in Computer Science, pages 101-111, Springer, 1995.

Authors

Odinaldo Rodrigues

This author has not been identified. Look up 'Odinaldo Rodrigues' in Google

Mario R. F. Benevides

This author has not been identified. Look up 'Mario R. F. Benevides' in Google