Autor der Publikation

Property-based typing with LITEQ

, , , , und . 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., Seite 149--152. (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Distinguishability in Abstract Argumentation., , , , und . KR, Seite 686-690. (2021)Quantitative Deadlock Analysis in Petri Nets using Inconsistency Measures., , und . CBI (1), Seite 42-51. IEEE, (2021)Measuring Disagreement with Interpolants., , und . SUM, Volume 12322 von Lecture Notes in Computer Science, Seite 84-97. Springer, (2020)Stratified Labelings for Abstract Argumentation., und . CoRR, (2013)Abstract Argumentation Frameworks with Fallible Evidence., , , , und . COMMA, Volume 326 von Frontiers in Artificial Intelligence and Applications, Seite 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 (März 2017)Measuring Inconsistency with the Tableau Method., und . FLAP, 10 (5): 643-691 (2023)Joining Formal and Cognitive Reasoning., , , und . FLAP, 10 (2): 115-119 (2023)Algorithmic Approaches to Computational Models of Argumentation.. FQAS, Volume 11529 von Lecture Notes in Computer Science, Seite 18-21. Springer, (2019)Measuring Inconsistency in Declarative Process Specifications., , und . BPM, Volume 13420 von Lecture Notes in Computer Science, Seite 289-306. Springer, (2022)