( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Property-based typing with LITEQ

, , , , и . Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, ISWC 2014, Riva del Garda, Italy, October 21, 2014., стр. 149--152. (2014)

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.

Matthias Thimm

Markus Thimm

Jana Thimm

Lieselotte Thimm

Rudolf Thimm

 

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

Distinguishability in Abstract Argumentation., , , , и . KR, стр. 686-690. (2021)Quantitative Deadlock Analysis in Petri Nets using Inconsistency Measures., , и . CBI (1), стр. 42-51. IEEE, (2021)Measuring Disagreement with Interpolants., , и . SUM, том 12322 из Lecture Notes in Computer Science, стр. 84-97. Springer, (2020)Stratified Labelings for Abstract Argumentation., и . CoRR, (2013)Abstract Argumentation Frameworks with Fallible Evidence., , , , и . COMMA, том 326 из Frontiers in Artificial Intelligence and Applications, стр. 347-354. IOS Press, (2020)The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation. KI -- Künstliche Intelligenz, 31 (1): 93--97 (марта 2017)Measuring Inconsistency with the Tableau Method., и . FLAP, 10 (5): 643-691 (2023)Joining Formal and Cognitive Reasoning., , , и . FLAP, 10 (2): 115-119 (2023)Algorithmic Approaches to Computational Models of Argumentation.. FQAS, том 11529 из Lecture Notes in Computer Science, стр. 18-21. Springer, (2019)Measuring Inconsistency in Declarative Process Specifications., , и . BPM, том 13420 из Lecture Notes in Computer Science, стр. 289-306. Springer, (2022)