21 results on '"Lierler, Yuliya"'
Search Results
2. A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection
3. Arguing Correctness of ASP Programs with Aggregates
4. DualGrounder: Lazy Instantiation via Clingo Multi-shot Framework
5. An Abstract View on Optimizations in SAT and ASP
6. Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics
7. Automatic Program Rewriting in Non-Ground Answer Set Programs
8. Strong Equivalence and Program’s Structure in Arguing Essential Equivalence Between First-Order Logic Programs
9. Performance Tuning in Answer Set Programming
10. Abstract Modular Inference Systems and Solvers
11. Prolog and ASP Inference under One Roof
12. Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving
13. Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
14. Vladimir Lifschitz — A Youth at 65
15. Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations
16. One More Decidable Class of Finitely Ground Programs
17. Abstract Answer Set Solvers
18. cmodels – SAT-Based Disjunctive Answer Set Solver
19. Automatic Compilation of Protocol Insecurity Problems into Logic Programming
20. Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs
21. Head-Elementary-Set-Free Logic Programs
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.