Achieving Completeness in Bounded Model Checking of Action Theories in ASP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Laura Giordano, Alberto Martelli, Daniele Theseider Dupré. Achieving Completeness in Bounded Model Checking of Action Theories in ASP. In Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012. AAAI Press, 2012. [doi]

This author has not been identified. Look up 'Laura Giordano' in GoogleThis author has not been identified. Look up 'Alberto Martelli' in GoogleThis author has not been identified. Look up 'Daniele Theseider Dupré' in Google

runs on WebDSL