Author of the publication

Logics for Automated Reasoning in the Presence of Contradictions.

. AIMSA, page 33-42. North-Holland, (1990)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Overriding Subsuming Rules., , and . ECSQARU, volume 6717 of Lecture Notes in Computer Science, page 532-544. Springer, (2011)Inferring Causal Explanations., and . ESCQARU, volume 1638 of Lecture Notes in Computer Science, page 55-67. Springer, (1999)Handling Incoming Beliefs., and . KSEM, volume 8041 of Lecture Notes in Computer Science, page 206-217. Springer, (2013)A Formula Circumscriptively both Valid and Unprovable., , and . ECAI, page 516-518. Pitmann Publishing, London, (1988)Logics for Automated Reasoning in the Presence of Contradictions.. AIMSA, page 33-42. North-Holland, (1990)Non-Monotonic Logics: A Valuations-Based Approach., and . AIMSA, page 77-84. North-Holland, (1992)Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (1995), and . CoRR, (2013)Remedying Inconsistent Sets of Premises.. ECSQARU, volume 3571 of Lecture Notes in Computer Science, page 427-439. Springer, (2005)Le système Sesame : Spécifier des sémantiques argumentatives., , and . APIA, (2017)Relative inconsistency measures., and . Artif. Intell., (2020)