( en | de | ru )

 

Disambiguierung von "Lierler, Yuliya"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Vladimir Lifschitz - A Youth at 65.

, , , , , , , und . Correct Reasoning, Volume 7265 von Lecture Notes in Computer Science, Seite 14-23. Springer, (2012)

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.

Yuliya Tereshchenko

Yuliya Dolgova

Yuliya Prakopchyk

Yuliya Mikhed

Yuliya Miloslavina

 

Weitere Publikationen von Autoren mit dem selben Namen

Constraint answer set solver EZCSP and why integration schemas matter., und . Theory Pract. Log. Program., 17 (4): 462-515 (2017)Transition systems for model generators - A unifying approach., und . Theory Pract. Log. Program., 11 (4-5): 629-646 (2011)On relation between constraint answer set programming and satisfiability modulo theories., und . Theory Pract. Log. Program., 17 (4): 559-590 (2017)Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs., und . LPNMR, Volume 2923 von Lecture Notes in Computer Science, Seite 346-350. Springer, (2004)Splitting Answer Set Programs with Respect to Intensionality Statements., und . AAAI, Seite 6338-6345. AAAI Press, (2023)Disjunctive Answer Set Programming via Satisfiability.. Answer Set Programming, Volume 142 von CEUR Workshop Proceedings, CEUR-WS.org, (2005)An Abstract View on Optimizations in SAT and ASP.. JELIA, Volume 12678 von Lecture Notes in Computer Science, Seite 377-392. Springer, (2021)Systems, Engineering Environments, and Competitions., , und . AI Magazine, 37 (3): 45-52 (2016)System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics., , und . Theory Pract. Log. Program., 24 (1): 132-156 (Januar 2024)cmodels - SAT-Based Disjunctive Answer Set Solver.. LPNMR, Volume 3662 von Lecture Notes in Computer Science, Seite 447-451. Springer, (2005)