Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde. Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. In Sandro Etalle, Miroslaw Truszczynski, editors, Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4079 of Lecture Notes in Computer Science, pages 346-360, Springer, 2006. [doi]

This author has not been identified. Look up 'Pedro Cabalar' in GoogleThis author has not been identified. Look up 'Sergei P. Odintsov' 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