2005 | |
[3] | Planning with graded fluents and actions ( ), In IJCAI International Joint Conference on Artificial Intelligence, 2005. |
1991 | |
[2] | Resolution for some first-order modal systems ( ), In Theoretical Computer Science, volume 85, 1991. |
1986 | |
[1] | Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic ( ), In Information Processing Letters, volume 22, 1986. |