Yuliya Lierler

1. On Relation between Constraint Answer Set Programming and Satisfiability\n Modulo Theories
   2017/02/23 by Yuliya Lierler, Benjamin Susman, Lierler, Yuliya +1 · 1 citation
   Computer Science · #D.1.6 #D.3.2 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation
2. An Abstract View on Optimizations in Propositional Frameworks
   2022/06/13 by Yuliya Lierler, Lierler, Yuliya · 1 citation
   Computer Science · #Logic, Reasoning, and Knowledge #Natural Language Processing Techniques #Topic Modeling
3. Unifying Framework for Optimizations in non-boolean Formalisms
   2022/06/16 by Yuliya Lierler, Lierler, Yuliya · 1 citation
   Computer Science · #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #Multi-Agent Systems and Negotiation