( en | de | ru )

 

Disambiguierung von "Bomanson, Jori"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Boosting Answer Set Optimization with Weighted Comparator Networks.

, und . Theory Pract. Log. Program., 20 (4): 512-551 (2020)

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.

Margot Jori

Heinz Jori

Jori Dubrovin

Urban Jörissen

Jörg-Udo Joris

 

Weitere Publikationen von Autoren mit dem selben Namen

lp2normal - A Normalization Tool for Extended Logic Programs.. LPNMR, Volume 10377 von Lecture Notes in Computer Science, Seite 222-228. Springer, (2017)Diagnosing Data Pipeline Failures Using Action Languages., und . LPNMR, Volume 11481 von Lecture Notes in Computer Science, Seite 181-194. Springer, (2019)Applying Visible Strong Equivalence in Answer-Set Program Transformations., , und . ACM Trans. Comput. Log., 21 (4): 33:1-33:41 (2020)Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming., , und . AAAI, Seite 2694-2702. AAAI Press, (2019)Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract., , und . KR, Seite 625-626. AAAI Press, (2018)Boosting Answer Set Optimization with Weighted Comparator Networks., und . Theory Pract. Log. Program., 20 (4): 512-551 (2020)Normalization and Rewriting for Answer Set Programming and Optimization ; Sääntöpohjaisten haku- ja optimointiohjelmien normalisointi ja uudelleenkirjoitus.. Aalto University, Espoo, Finland, (2020)base-search.net (ftaaltouniv:oai:aaltodoc.aalto.fi:123456789/46911).Normalizing Cardinality Rules Using Merging and Sorting Constructions., und . LPNMR, Volume 8148 von Lecture Notes in Computer Science, Seite 187-199. Springer, (2013)