Effective Prover for Minimal Inconsistency Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Adolfo Gustavo Serra Seca Neto, Marcelo Finger. Effective Prover for Minimal Inconsistency Logic. In Max Bramer, editor, Artificial Intelligence in Theory and Practice, IFIP 19th World Computer Congress, TC 12: IFIP AI 2006 Stream, August 21-24, 2006, Santiago, Chile. Volume 217 of IFIP, pages 465-474, Springer, 2006. [doi]

This author has not been identified. Look up 'Adolfo Gustavo Serra Seca Neto' in GoogleThis author has not been identified. Look up 'Marcelo Finger' in Google

runs on WebDSL