Author of the publication

Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers.

, , , and . KR, AAAI Press, (2010)

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

A Tableau Algorithm for Handling Inconsistency in OWL., , and . ESWC, volume 5554 of Lecture Notes in Computer Science, page 399-413. Springer, (2009)Four-Valued Semantics for Default Logic., , and . Canadian AI, volume 4013 of Lecture Notes in Computer Science, page 195-205. Springer, (2006)An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics, , , and . Proceedings of Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty, (10 2007-10)Using Description Logic to Formalize Role-Based Access Control Model., , , and . Description Logics, volume 147 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)Paraconsistent default reasoning., and . NMR, page 197-203. (2004)A Multi-Agent System for E-Business Processes Monitoring in a Web-Based Environment., , , , and . ICEB, page 470-475. Academic Publishers/World Publishing Corporation, (2004)An OWL-Based Approach for RBAC with Negative Authorization., , , , and . KSEM, volume 4092 of Lecture Notes in Computer Science, page 164-175. Springer, (2006)Another Useful Four-Valued Logic., and . KSEM (2), volume 11062 of Lecture Notes in Computer Science, page 89-101. Springer, (2018)An Extension to OWL with General Rules., , , and . RuleML, volume 3323 of Lecture Notes in Computer Science, page 155-169. Springer, (2004)A Coherent and Paraconsistent Variant of the Default Logic., and . AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, page 162-. AAAI, (2007)