( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Quasi-Classical Description Logic.

, и . J. Multiple Valued Log. Soft Comput., 18 (3-4): 291-327 (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.

Lin Lin

Lin Lin

Lin Lin

Lin Lin

Lin Lin

 

Другие публикации лиц с тем же именем

Four-Valued Semantics for Default Logic., , и . Canadian AI, том 4013 из Lecture Notes in Computer Science, стр. 195-205. Springer, (2006)A Tableau Algorithm for Handling Inconsistency in OWL., , и . ESWC, том 5554 из Lecture Notes in Computer Science, стр. 399-413. Springer, (2009)Using Description Logic to Formalize Role-Based Access Control Model., , , и . Description Logics, том 147 из CEUR Workshop Proceedings, CEUR-WS.org, (2005)An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics, , , и . Proceedings of Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty, (10 2007-10)Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics., , , и . Proceedings of the 2007 International Workshop on Description Logics (DL-2007), Brixen-Bressanone, Italy, June 2007, (06 2007-06)Quasi-Classical Description Logic., и . J. Multiple Valued Log. Soft Comput., 18 (3-4): 291-327 (2012)Reasoning About Hybrid Probabilistic Knowledge Bases., , , и . PRICAI, том 4099 из Lecture Notes in Computer Science, стр. 130-139. Springer, (2006)Variable Neighborhood Search with Permutation Distance for QAP., , и . KES (4), том 3684 из Lecture Notes in Computer Science, стр. 81-88. Springer, (2005)A Note on Tableaux of Logic of Paradox., и . KI, том 861 из Lecture Notes in Computer Science, стр. 296-307. Springer, (1994)Paraconsistent Circumscription.. AI, том 1081 из Lecture Notes in Computer Science, стр. 296-308. Springer, (1996)