Dynamic Logic Programming.

Jos Jlio Alferes, Joo Alexandre Leite, Lus Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski

Browse the full KR paper archive.