( en | de | ru )

 

Disambiguation of "Lierler, Yuliya"

Author of the publication

copydeleteadd this publication to your clipboard
External Behavior of a Logic Program and Verification of Refactoring.

, , , , and . Theory Pract. Log. Program., 23 (4): 933-947 (July 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. You can also use the button next to the name to display some publications already assigned to the person.

Yuliya Dolgova

Yuliya Prakopchyk

Yuliya Tereshchenko

Yuliya Miloslavina

Yuliya Mikhed

 

Other publications of authors with the same name

Integration Schemas for Constraint Answer Set Programming: a Case Study., and . Theory Pract. Log. Program., (2013)cmodels - SAT-Based Disjunctive Answer Set Solver.. LPNMR, volume 3662 of Lecture Notes in Computer Science, page 447-451. Springer, (2005)Systems, Engineering Environments, and Competitions., , and . AI Magazine, 37 (3): 45-52 (2016)SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs., and . KR, page 67-71. AAAI Press, (2018)Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming., and . IWCS, page 383-389. The Association for Computer Linguistics, (2013)Logic Programs vs. First-Order Formulas in Textual Inference., and . IWCS, page 340-346. The Association for Computer Linguistics, (2013)Vladimir Lifschitz - A Youth at 65., , , , , , , and . Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, page 14-23. Springer, (2012)System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics., , and . Theory Pract. Log. Program., 24 (1): 132-156 (January 2024)An Abstract View on Modularity in Knowledge Representation., and . AAAI, page 1532-1538. AAAI Press, (2015)On relation between constraint answer set programming and satisfiability modulo theories., and . Theory Pract. Log. Program., 17 (4): 559-590 (2017)