First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Bartholomew, Joohyung Lee, Yunsong Meng. First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 724-730, IJCAI/AAAI, 2011. [doi]

This author has not been identified. Look up 'Michael Bartholomew' in GoogleThis author has not been identified. Look up 'Joohyung Lee' in GoogleThis author has not been identified. Look up 'Yunsong Meng' in Google

runs on WebDSL