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

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)Measuring Inconsistency with the Tableau Method., and . FLAP, 10 (5): 643-691 (2023)Joining Formal and Cognitive Reasoning., , , and . FLAP, 10 (2): 115-119 (2023)Graph Neural Networks for Algorithm Selection in Abstract Argumentation., , and . ArgML@COMMA, volume 3208 of CEUR Workshop Proceedings, page 81-95. CEUR-WS.org, (2022)On the Impact of Data Selection when Applying Machine Learning in Abstract Argumentation., , and . COMMA, volume 353 of Frontiers in Artificial Intelligence and Applications, page 224-235. IOS Press, (2022)Revision and Conditional Inference for Abstract Dialectical Frameworks., , , , and . KR, page 345-355. (2021)Measuring Inconsistency over Sequences of Business Rule Cases., , and . KR, page 655-660. (2021)Reasoning with maximal consistent signatures., and . CoRR, (2024)Ein erster Prototyp: Sicherheitsguide für Grundschulkinder beim Umgang mit dem Internet., , , and . GI-Jahrestagung, volume P-232 of LNI, page 2081-2092. GI, (2014)