Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka. Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. In Philippe Codognet, editor, Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings. Volume 2237 of Lecture Notes in Computer Science, pages 227-241, Springer, 2001. [doi]

This author has not been identified. Look up 'K. Narayan Kumar' in GoogleThis author has not been identified. Look up 'C. R. Ramakrishnan' in GoogleThis author has not been identified. Look up 'Scott A. Smolka' in Google

runs on WebDSL