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.

Abstract

Abstract is missing.