Planning as Satisfiability in Nondeterministic Domains

Paolo Ferraris, Enrico Giunchiglia. Planning as Satisfiability in Nondeterministic Domains. In Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, USA. pages 748-753, AAAI Press / The MIT Press, 2000.

Authors

Paolo Ferraris

This author has not been identified. Look up 'Paolo Ferraris' in Google

Enrico Giunchiglia

This author has not been identified. Look up 'Enrico Giunchiglia' in Google