Computing Extensions of Default Logic - Preliminary Report - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider. Computing Extensions of Default Logic - Preliminary Report. In Andrei Voronkov, editor, Logic Programming and Automated Reasoning,4th International Conference, LPAR 93, St. Petersburg, Russia, July 13-20, 1993, Proceedings. Volume 698 of Lecture Notes in Computer Science, pages 19-27, Springer, 1993.

This author has not been identified. Look up 'Grigoris Antoniou' in GoogleThis author has not been identified. Look up 'Elmar Langetepe' in GoogleThis author has not been identified. Look up 'Volker Sperschneider' in Google

runs on WebDSL