( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Constraint answer set solver EZCSP and why integration schemas matter.

, и . Theory Pract. Log. Program., 17 (4): 462-515 (2017)

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 Dolgova

Yuliya Tereshchenko

Yuliya Prakopchyk

Yuliya Miloslavina

Yuliya Mikhed

 

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

First-order modular logic programs and their conservative extensions., и . Theory Pract. Log. Program., 16 (5-6): 755-770 (2016)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)cmodels - SAT-Based Disjunctive Answer Set Solver.. LPNMR, том 3662 из Lecture Notes in Computer Science, стр. 447-451. Springer, (2005)SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs., и . KR, стр. 67-71. AAAI Press, (2018)Vladimir Lifschitz - A Youth at 65., , , , , , , и . Correct Reasoning, том 7265 из Lecture Notes in Computer Science, стр. 14-23. Springer, (2012)System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics., , и . Theory Pract. Log. Program., 24 (1): 132-156 (января 2024)Representing first-order causal theories by logic programs., , , , и . Theory Pract. Log. Program., 12 (3): 383-412 (2012)An Abstract View on Modularity in Knowledge Representation., и . AAAI, стр. 1532-1538. AAAI Press, (2015)Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming., и . IWCS, стр. 383-389. The Association for Computer Linguistics, (2013)