Reducing Propositional Theories in Equilibrium Logic to Logic Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pedro Cabalar, David Pearce, Agustín Valverde. Reducing Propositional Theories in Equilibrium Logic to Logic Programs. In Marina De Vos, Alessandro Provetti, editors, Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP 05 Workshop, Bath, UK, September 27-29, 2005. Volume 142 of CEUR Workshop Proceedings, CEUR-WS.org, 2005. [doi]

This author has not been identified. Look up 'Pedro Cabalar' in GoogleThis author has not been identified. Look up 'David Pearce' in GoogleThis author has not been identified. Look up 'Agustín Valverde' in Google

runs on WebDSL