Author of the publication

Property-based typing with LITEQ

, , , , and . 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., page 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. 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

Editorial Preface., and . FLAP, 3 (2): 175-176 (2016)Stratified Labelings for Abstract Argumentation., and . CoRR, (2013)Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement., , , and . CoRR, (2023)Abstract Argumentation Frameworks with Fallible Evidence., , , , and . COMMA, volume 326 of Frontiers in Artificial Intelligence and Applications, page 347-354. IOS Press, (2020)Distinguishability in Abstract Argumentation., , , , and . KR, page 686-690. (2021)Measuring Disagreement with Interpolants., , and . SUM, volume 12322 of Lecture Notes in Computer Science, page 84-97. Springer, (2020)Quantitative Deadlock Analysis in Petri Nets using Inconsistency Measures., , and . CBI (1), page 42-51. IEEE, (2021)The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation.. Künstliche Intell., 31 (1): 93-97 (2017)Algorithmic Approaches to Computational Models of Argumentation.. FQAS, volume 11529 of Lecture Notes in Computer Science, page 18-21. Springer, (2019)Measuring Inconsistency in Declarative Process Specifications., , and . BPM, volume 13420 of Lecture Notes in Computer Science, page 289-306. Springer, (2022)