( en | de | ru )

 

Disambiguation of "Lierler, Yuliya"

Author of the publication

copydeleteadd this publication to your clipboard
SMT-Based Constraint Answer Set Solver EZSMT (System Description).

, and . ICLP (Technical Communications), volume 52 of OASIcs, page 1:1-1:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

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 Tereshchenko

Yuliya Dolgova

Yuliya Prakopchyk

Yuliya Miloslavina

Yuliya Mikhed

 

Other publications of authors with the same name

Systems, Engineering Environments, and Competitions., , and . AI Magazine, 37 (3): 45-52 (2016)cmodels - SAT-Based Disjunctive Answer Set Solver.. LPNMR, volume 3662 of Lecture Notes in Computer Science, page 447-451. Springer, (2005)Integration Schemas for Constraint Answer Set Programming: a Case Study., and . Theory Pract. Log. Program., (2013)First-order modular logic programs and their conservative extensions., and . Theory Pract. Log. Program., 16 (5-6): 755-770 (2016)System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics., , and . Theory Pract. Log. Program., 24 (1): 132-156 (January 2024)Representing first-order causal theories by logic programs., , , , and . Theory Pract. Log. Program., 12 (3): 383-412 (2012)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)An Abstract View on Modularity in Knowledge Representation., and . AAAI, page 1532-1538. AAAI Press, (2015)