Publications in ai-romatre-pubs.bib - Author: Cialdea, Marta
2005
[3] Planning with graded fluents and actions (, , and ), In IJCAI International Joint Conference on Artificial Intelligence, . [bibtex] [url]
1991
[2] Resolution for some first-order modal systems (), In Theoretical Computer Science, volume 85, . [bibtex] [url] [doi]
1986
[1] Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic (), In Information Processing Letters, volume 22, . [bibtex] [url] [doi]
Powered by bibtexbrowser