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.

 

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

Stratified Labelings for Abstract Argumentation., и . CoRR, (2013)Editorial Preface., и . FLAP, 3 (2): 175-176 (2016)Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement., , , и . CoRR, (2023)Measuring Disagreement with Interpolants., , и . SUM, том 12322 из Lecture Notes in Computer Science, стр. 84-97. Springer, (2020)Quantitative Deadlock Analysis in Petri Nets using Inconsistency Measures., , и . CBI (1), стр. 42-51. IEEE, (2021)Distinguishability in Abstract Argumentation., , , , и . KR, стр. 686-690. (2021)Abstract Argumentation Frameworks with Fallible Evidence., , , , и . COMMA, том 326 из Frontiers in Artificial Intelligence and Applications, стр. 347-354. IOS Press, (2020)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)