A Theorem Prover for Lukaszewicz Open Default Theory - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pascal Nicolas, Béatrice Duval. A Theorem Prover for Lukaszewicz Open Default Theory. In Christine Froidevaux, Jürg Kohlas, editors, Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU 95, Fribourg, Switzerland, July 3-5, 1995, Proceedings. Volume 946 of Lecture Notes in Computer Science, pages 311-319, Springer, 1995.

This author has not been identified. Look up 'Pascal Nicolas' in GoogleThis author has not been identified. Look up 'Béatrice Duval' in Google

runs on WebDSL