Author of the publication

Representing Paraconsistent Reasoning via Quantified Propositional Logic.

, , , and . Inconsistency Tolerance, volume 3300 of Lecture Notes in Computer Science, page 84-118. Springer, (2005)

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

Constructing argument graphs with deductive arguments: a tutorial., and . Argument Comput., 5 (1): 5-30 (2014)Handling Incoming Beliefs., and . KSEM, volume 8041 of Lecture Notes in Computer Science, page 206-217. Springer, (2013)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)A Formal Characterization of the Outcomes of Rule-Based Argumentation Systems., and . SUM, volume 8078 of Lecture Notes in Computer Science, page 78-91. Springer, (2013)Assessing Arguments with Schemes and Fallacies., , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 61-74. Springer, (2019)A Formula Circumscriptively both Valid and Unprovable., , and . ECAI, page 516-518. Pitmann Publishing, London, (1988)Relative inconsistency measures., and . Artif. Intell., (2020)Basic Postulates for Inconsistency Measures.. Trans. Large Scale Data Knowl. Centered Syst., (2017)Logics for Automated Reasoning in the Presence of Contradictions.. AIMSA, page 33-42. North-Holland, (1990)