Autor der Publikation

Telco Network Inventory Validation with NoHR.

, , , , , und . LPNMR, Volume 11481 von Lecture Notes in Computer Science, Seite 18-31. Springer, (2019)

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

Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications., , und . ICFEM, Volume 6991 von Lecture Notes in Computer Science, Seite 131-146. Springer, (2011)Social Abstract Argumentation., und . IJCAI, Seite 2287-2292. IJCAI/AAAI, (2011)On Supporting Strong and Default Negation in Answer-Set Program Updates., , und . IBERAMIA, Volume 8864 von Lecture Notes in Computer Science, Seite 41-53. Springer, (2014)Back and Forth Between Rules and SE-Models (Extended Version), und . CoRR, (2011)Equivalence of defeasible normative systems., , und . J. Appl. Non Class. Logics, 23 (1-2): 25-48 (2013)Splitting and updating hybrid knowledge bases., , und . Theory Pract. Log. Program., 11 (4-5): 801-819 (2011)ERASP - a system for enhancing recommendations using answer-set programming., , und . Int. J. Reason. based Intell. Syst., 1 (3/4): 147-163 (2009)Extending Social Abstract Argumentation with Votes on Attacks., , und . TAFA, Volume 8306 von Lecture Notes in Computer Science, Seite 16-31. Springer, (2013)Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version), und . CoRR, (2010)The Rise and Fall of Semantic Rule Updates Based on SE-Models., und . CoRR, (2013)