Kiyoshi Akama, Ekawit Nantajeewarawat. A Delayed Splitting Bottom-Up Procedure for Model Generation. In Michael Thielscher, Dongmo Zhang, editors, AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings. Volume 7691 of Lecture Notes in Computer Science, pages 481-492, Springer, 2012. [doi]
Abstract is missing.