Author of the publication

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 Paraconsistent Tableau Algorithm Based on Sign Transformation in Semantic Web, , and . CoRR, (2013)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)Four-Valued Semantics for Default Logic., , and . Canadian AI, volume 4013 of Lecture Notes in Computer Science, page 195-205. Springer, (2006)A Tableau Algorithm for Handling Inconsistency in OWL., , and . ESWC, volume 5554 of Lecture Notes in Computer Science, page 399-413. Springer, (2009)Using Description Logic to Formalize Role-Based Access Control Model., , , and . Description Logics, volume 147 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)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 Multi-Agent System for E-Business Processes Monitoring in a Web-Based Environment., , , , and . ICEB, page 470-475. Academic Publishers/World Publishing Corporation, (2004)A Coherent and Paraconsistent Variant of the Default Logic., and . AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, page 162-. AAAI, (2007)