Treffer 1 - 20 von 207 für Suche 'LIERLER, YULIYA', Suchdauer: 1,24s Treffer weiter einschränken
  1. 1
    An abstract view on optimizations in propositional frameworks

    An abstract view on optimizations in propositional frameworks von Lierler, Yuliya


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL’88, GL’91, GK’14, D-V’12

    Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL’88, GL’91, GK’14, D-V’12 von LIERLER, YULIYA


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions

    Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions von Olson, Craig, Lierler, Yuliya


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches

    Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches von LIERLER, YULIYA


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Relating constraint answer set programming languages and algorithms

    Relating constraint answer set programming languages and algorithms von Lierler, Yuliya

    Veröffentlicht in Artificial intelligence

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Unifying Framework for Optimizations in Non-Boolean Formalisms

    Unifying Framework for Optimizations in Non-Boolean Formalisms von LIERLER, YULIYA


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs

    Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs von LIERLER, YULIYA


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Logic Programming and Nonmonotonic Reasoning: 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings

    Logic Programming and Nonmonotonic Reasoning: 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings von Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Proceedings 37th International Conference on Logic Programming (Technical Communications): Unifying Framework for Optimizations in CASP; SMT; ILP (Extended Abstract)

    Proceedings 37th International Conference on Logic Programming (Technical Communications): Unifying Framework for Optimizations in CASP; SMT; ILP (Extended Abstract) von Lierler, Yuliya


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    What is answer set programming to propositional satisfiability

    What is answer set programming to propositional satisfiability von Lierler, Yuliya


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Constraint answer set solver EZCSP and why integration schemas matter

    Constraint answer set solver EZCSP and why integration schemas matter von BALDUCCINI, MARCELLO, LIERLER, YULIYA


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

    Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings von Lierler, Yuliya, Taha, Walid

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming

    Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming von Fandinno, Jorge, Hansen, Zachary, Lierler, Yuliya


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Proceedings 35th International Conference on Logic Programming (Technical Communications): System PROJECTOR: An Automatic Program Rewriting Tool for Non-Ground Answer Set Programs

    Proceedings 35th International Conference on Logic Programming (Technical Communications): System PROJECTOR: An Automatic Program Rewriting Tool for Non-Ground Answer Set Programs von Lierler, Yuliya


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    On abstract modular inference systems and solvers

    On abstract modular inference systems and solvers von Lierler, Yuliya, Truszczynski, Miroslaw

    Veröffentlicht in Artificial intelligence

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics

    System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics von BRESNAHAN, DANIEL, HIPPEN, NICHOLAS, LIERLER, YULIYA


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    On relation between constraint answer set programming and satisfiability modulo theories

    On relation between constraint answer set programming and satisfiability modulo theories von LIERLER, YULIYA, SUSMAN, BENJAMIN


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Abstract answer set solvers with backjumping and learning

    Abstract answer set solvers with backjumping and learning von LIERLER, YULIYA


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Modular Answer Set Programming as a Formal Specification Language

    Modular Answer Set Programming as a Formal Specification Language von CABALAR, PEDRO, FANDINNO, JORGE, LIERLER, YULIYA


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving

    Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving von Taupe, Richard, Weinzierl, Antonius, Friedrich, Gerhard


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: