281 results on '"Lierler, Yuliya"'
Search Results
2. Elementary Sets for Logic Programs
3. External Behavior of a Logic Program and Verification of Refactoring
4. An abstract view on optimizations in propositional frameworks
5. System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics
6. Proceedings 38th International Conference on Logic Programming
7. Unifying Framework for Optimizations in non-boolean Formalisms
8. An Abstract View on Optimizations in Propositional Frameworks
9. Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches
10. Modular Answer Set Programming as a Formal Specification Language
11. Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions
12. SMT-based Constraint Answer Set Solver EZSMT+
13. The informal semantics of Answer Set Programming: A Tarskian perspective
14. Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
15. A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection
16. Semantics for Conditional Literals via the SM Operator
17. Arguing Correctness of ASP Programs with Aggregates
18. On Relation between Constraint Answer Set Programming and Satisfiability Modulo Theories
19. Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter
20. An Abstract View on Optimizations in SAT and ASP
21. DualGrounder: Lazy Instantiation via Clingo Multi-shot Framework
22. Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics
23. First-Order Modular Logic Programs and their Conservative Extensions
24. Semantics for Conditional Literals via the SM Operator
25. A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection
26. Arguing Correctness of ASP Programs with Aggregates
27. Disjunctive Answer Set Solvers via Templates
28. Automatic Program Rewriting in Non-Ground Answer Set Programs
29. Strong Equivalence and Program’s Structure in Arguing Essential Equivalence Between First-Order Logic Programs
30. Information extraction tool text2alm: From narratives to action language system descriptions and query answering
31. Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey
32. Abstract Modular Systems and Solvers
33. Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary
34. DualGrounder: Lazy Instantiation via Clingo Multi-shot Framework
35. An Abstract View on Optimizations in SAT and ASP
36. Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics
37. Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report
38. Transition Systems for Model Generators - A Unifying Approach
39. Representing First-Order Causal Theories by Logic Programs
40. On Elementary Loops of Logic Programs
41. Abstract Answer Set Solvers with Learning
42. Proceedings 39th International Conference on Logic Programming
43. External Behavior of a Logic Program and Verification of Refactoring
44. System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics
45. System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics.
46. Unifying Framework for Optimizations in Non-Boolean Formalisms.
47. Automatic Program Rewriting in Non-Ground Answer Set Programs
48. Strong Equivalence and Program’s Structure in Arguing Essential Equivalence Between First-Order Logic Programs
49. Performance Tuning in Answer Set Programming
50. Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.