( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
External Behavior of a Logic Program and Verification of Refactoring.

, , , , и . Theory Pract. Log. Program., 23 (4): 933-947 (июля 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Yuliya Prakopchyk

Yuliya Tereshchenko

Yuliya Dolgova

Yuliya Mikhed

Yuliya Miloslavina

 

Другие публикации лиц с тем же именем

Constraint answer set solver EZCSP and why integration schemas matter., и . Theory Pract. Log. Program., 17 (4): 462-515 (2017)Transition systems for model generators - A unifying approach., и . Theory Pract. Log. Program., 11 (4-5): 629-646 (2011)On relation between constraint answer set programming and satisfiability modulo theories., и . Theory Pract. Log. Program., 17 (4): 559-590 (2017)Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs., и . LPNMR, том 2923 из Lecture Notes in Computer Science, стр. 346-350. Springer, (2004)Splitting Answer Set Programs with Respect to Intensionality Statements., и . AAAI, стр. 6338-6345. AAAI Press, (2023)Disjunctive Answer Set Programming via Satisfiability.. Answer Set Programming, том 142 из CEUR Workshop Proceedings, CEUR-WS.org, (2005)An Abstract View on Optimizations in SAT and ASP.. JELIA, том 12678 из Lecture Notes in Computer Science, стр. 377-392. Springer, (2021)cmodels - SAT-Based Disjunctive Answer Set Solver.. LPNMR, том 3662 из Lecture Notes in Computer Science, стр. 447-451. Springer, (2005)Integration Schemas for Constraint Answer Set Programming: a Case Study., и . Theory Pract. Log. Program., (2013)Systems, Engineering Environments, and Competitions., , и . AI Magazine, 37 (3): 45-52 (2016)