Author of the publication

An Argumentation Framework for Non-monotonic Reasoning in Description Logic.

, and . RSKT, volume 7414 of Lecture Notes in Computer Science, page 200-206. Springer, (2012)

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

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)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)Using Description Logic to Formalize Role-Based Access Control Model., , , and . Description Logics, volume 147 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics., , , and . Proceedings of the 2007 International Workshop on Description Logics (DL-2007), Brixen-Bressanone, Italy, June 2007, (06 2007-06)Integrative Security Management for Web-Based Enterprise Applications., , , , and . WAIM, volume 3739 of Lecture Notes in Computer Science, page 618-625. Springer, (2005)A Note on Tableaux of Logic of Paradox., and . KI, volume 861 of Lecture Notes in Computer Science, page 296-307. Springer, (1994)Reasoning About Hybrid Probabilistic Knowledge Bases., , , and . PRICAI, volume 4099 of Lecture Notes in Computer Science, page 130-139. Springer, (2006)Variable Neighborhood Search with Permutation Distance for QAP., , and . KES (4), volume 3684 of Lecture Notes in Computer Science, page 81-88. Springer, (2005)Quasi-Classical Description Logic., and . J. Multiple Valued Log. Soft Comput., 18 (3-4): 291-327 (2012)