Implicit Hitting Set Algorithms for Reasoning Beyond NP

Paul Saikko, Johannes Peter Wallner, Matti Järvisalo. Implicit Hitting Set Algorithms for Reasoning Beyond NP. In Chitta Baral, James P. Delgrande, Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. pages 104-113, AAAI Press, 2016. [doi]

Authors

Paul Saikko

This author has not been identified. Look up 'Paul Saikko' in Google

Johannes Peter Wallner

This author has not been identified. Look up 'Johannes Peter Wallner' in Google

Matti Järvisalo

This author has not been identified. Look up 'Matti Järvisalo' in Google