Tableaux Calculi for Answer Set Programming - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Torsten Schaub. Tableaux Calculi for Answer Set Programming. In Michael Fink, Hans Tompits, Stefan Woltran, editors, 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006. Volume 1843-06-02 of INFSYS Research Report, pages 1-11, Technische Universität Wien, Austria, 2006. [doi]

This author has not been identified. Look up 'Torsten Schaub' in Google

runs on WebDSL