Autor der Publikation

A Deductive System for FO(ID) Based on Least Fixpoint Logic.

, und . LPNMR, Volume 5753 von Lecture Notes in Computer Science, Seite 129-141. Springer, (2009)

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

Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems., und . LFCS, Volume 7734 von Lecture Notes in Computer Science, Seite 234-251. Springer, (2013)Infinite-Horizon Proactive Dynamic DCOPs., , , , , und . AAMAS, Seite 212-220. ACM, (2017)Stability Analysis for Memristor-Based Complex-Valued Neural Networks with Time Delays., , , und . Entropy, 21 (2): 120 (2019)Proactive Dynamic Distributed Constraint Optimization Problems., , , , , und . J. Artif. Intell. Res., (2022)Proactive Dynamic Distributed Constraint Optimization., , , , , und . AAMAS, Seite 597-605. ACM, (2016)Some Representation Theorems for Recovering Contraction Relations.. J. Comput. Sci. Technol., 20 (4): 536-541 (2005)The research of a web-based network blocking prototype for next generation network., , , und . GrC, Seite 357-360. IEEE, (2006)Solving Risk-Sensitive POMDPs With and Without Cost Observations., , und . AAAI, Seite 3138-3144. AAAI Press, (2016)New Metrics and Algorithms for Stochastic Goal Recognition Design Problems., , und . IJCAI, Seite 4455-4462. ijcai.org, (2017)Computational principles and practice for decoding immune contexture in the tumor microenvironment., , , , , und . Briefings Bioinform., (2021)