The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Yuliya Lierler Yuliya Babovich Yuliya Babovich-Lierler ( http://dblp.L3S.de/Authors/Yuliya_Lierler )

Publication years (Num. hits)
2000-2008 (15) 2009-2012 (19) 2013-2015 (18) 2016-2017 (16) 2018-2019 (9)
Publication types (Num. hits)
article(31) incollection(1) inproceedings(41) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 78 publication records. Showing 77 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Da Shen, Yuliya Lierler SMT-based Constraint Answer Set Solver EZSMT+. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens The informal semantics of Answer Set Programming: A Tarskian perspective. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Yuliya Lierler Strong Equivalence and Program's Structure in Arguing Essential Equivalence between Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Craig Olson, Yuliya Lierler Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions. Search on Bibsonomy ICLP Technical Communications The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nicholas Hippen, Yuliya Lierler Automatic Program Rewriting in Non-Ground Answer Set Programs. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marcello Balduccini, Yuliya Lierler, Stefan Woltran (eds.) Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Da Shen, Yuliya Lierler SMT-Based Answer Set Solver CMODELS(DIFF) (System Description). Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Da Shen, Yuliya Lierler SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Marcello Balduccini, Yuliya Lierler Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Yuliya Lierler, Benjamin Susman On Relation between Constraint Answer Set Programming and Satisfiability Modulo Theories. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Yuliya Lierler What is answer set programming to propositional satisfiability. Search on Bibsonomy Constraints The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marcello Balduccini, Yuliya Lierler Constraint answer set solver EZCSP and why integration schemas matter. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Benjamin Susman On relation between constraint answer set programming and satisfiability modulo theories. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Walid Taha (eds.) Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Daniela Inclezan, Michael Gelfond Action Languages and Question Answering. Search on Bibsonomy IWCS(2) The full citation details ... 2017 DBLP  BibTeX  RDF
1Amelia Harrison, Yuliya Lierler First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract). Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Miroslaw Truszczynski On abstract modular inference systems and solvers. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Marco Maratea, Francesco Ricca Systems, Engineering Environments, and Competitions. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Amelia Harrison, Yuliya Lierler First-Order Modular Logic Programs and their Con: set servative Extensions. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Rémi Brochenin, Marco Maratea, Yuliya Lierler Disjunctive answer set solvers via templates. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Yuliya Lierler First-order modular logic programs and their conservative extensions. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benjamin Susman, Yuliya Lierler SMT-Based Constraint Answer Set Solver EZSMT (System Description). Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Broes De Cat, Yuliya Lierler Constraint CNF: SAT and CSP Language Under One Roof. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Benjamin Susman Constraint Answer Set Programming versus Satisfiability Modulo Theories. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Rémi Brochenin, Yuliya Lierler, Marco Maratea Disjunctive Answer Set Solvers via Templates. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Marina De Vos, Thomas Eiter, Yuliya Lierler, Francesca Toni (eds.) Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Matthew Buddenhagen, Yuliya Lierler Performance Tuning in Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Daniel Bailey, Yuliya Lierler, Benjamin Susman Prepositional Phrase Attachment Problem Revisited: how Verbnet can Help. Search on Bibsonomy ICWS The full citation details ... 2015 DBLP  BibTeX  RDF
1Yuliya Lierler, Miroslaw Truszczynski An Abstract View on Modularity in Knowledge Representation. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Daniel Bailey, Amelia J. Harrison, Yuliya Lierler, Vladimir Lifschitz, Julian Michael The Winograd Schema Challenge and Reasoning about Correlation. Search on Bibsonomy AAAI Spring Symposia The full citation details ... 2015 DBLP  BibTeX  RDF
1Yuliya Lierler Relating constraint answer set programming languages and algorithms. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Miroslaw Truszczynski Abstract Modular Inference Systems and Solvers. Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rémi Brochenin, Yuliya Lierler, Marco Maratea Abstract Disjunctive Answer Set Solvers. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Miroslaw Truszczynski Abstract Modular Systems and Solvers. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Michael Fink 0001, Yuliya Lierler Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Michael Fink 0001, Yuliya Lierler Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Marcello Balduccini, Yuliya Lierler Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Marcello Balduccini, Yuliya Lierler Integration Schemas for Constraint Answer Set Programming: a Case Study. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Marcello Balduccini, Yuliya Lierler, Peter Schüller Prolog and ASP Inference under One Roof. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Vladimir Lifschitz Logic Programs vs. First-Order Formulas in Textual Inference. Search on Bibsonomy ICWS The full citation details ... 2013 DBLP  BibTeX  RDF
1Yuliya Lierler, Peter Schüller Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming. Search on Bibsonomy ICWS The full citation details ... 2013 DBLP  BibTeX  RDF
1Yuliya Lierler, Miroslaw Truszczynski Modular Answer Set Solving. Search on Bibsonomy AAAI (Late-Breaking Developments) The full citation details ... 2013 DBLP  BibTeX  RDF
1Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang Representing first-order causal theories by logic programs. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving. Search on Bibsonomy PADL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marcello Balduccini, Yuliya Lierler Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools. Search on Bibsonomy PADL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Neelakantan Kartha, Esra Erdem 0001, Joohyung Lee, Paolo Ferraris, Wanwan Ren, Yuliya Lierler, Fangkai Yang, Albert Rondan Vladimir Lifschitz - A Youth at 65. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Esra Erdem 0001, Joohyung Lee, Yuliya Lierler, David Pearce 0001 (eds.) Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Peter Schüller Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bryan Silverthorn, Yuliya Lierler, Marius Schneider Surviving Solver Sensitivity: An ASP Practitioner's Guide. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens A Tarskian Informal Semantics for Answer Set Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler On the Relation of Constraint Answer Set Programming Languages and Algorithms. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang Representing First-Order Causal Theories by Logic Programs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Yuliya Lierler, Peter Schüller Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Yuliya Lierler, Miroslaw Truszczynski Transition Systems for Model Generators - A Unifying Approach Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Yuliya Lierler Abstract answer set solvers with backjumping and learning. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Miroslaw Truszczynski Transition systems for model generators - A unifying approach. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Joohyung Lee, Yuliya Lierler On elementary loops of logic programs. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Vladimir Lifschitz Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Joohyung Lee, Yuliya Lierler On Elementary Loops of Logic Programs Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Yuliya Lierler Abstract Answer Set Solvers with Learning Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Yuliya Lierler, Vladimir Lifschitz One More Decidable Class of Finitely Ground Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marcello Balduccini, Chitta Baral, Yuliya Lierler Knowledge Representation and Question Answering. Search on Bibsonomy Handbook of Knowledge Representation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler Abstract Answer Set Solvers. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Joohyung Lee, Yuliya Lierler Head-Elementary-Set-Free Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Yuliya Lierler, Marco Maratea Answer Set Programming Based on Propositional Satisfiability. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2006 DBLP  DOI  BibTeX  RDF answer set programming, propositional satisfiability
1Martin Gebser, Joohyung Lee, Yuliya Lierler Elementary Sets of Logic Programs. Search on Bibsonomy AAAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Yuliya Lierler cmodels - SAT-Based Disjunctive Answer Set Solver. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler Cmodels for Tight Disjunctive Logic Programs. Search on Bibsonomy W(C)LP The full citation details ... 2005 DBLP  BibTeX  RDF
1Yuliya Lierler Disjunctive Answer Set Programming via Satisfiability. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Bernhard Nebel, Yuliya Babovich-Lierler When Are Behaviour Networks Well-Behaved? Search on Bibsonomy ECAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Enrico Giunchiglia, Yuliya Lierler, Marco Maratea A SAT-based polynomial space algorithm for answer set programming. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Yuliya Lierler, Marco Maratea Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Yuliya Lierler, Marco Maratea SAT-Based Answer Set Programming. Search on Bibsonomy AAAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Alessandro Armando, Luca Compagna, Yuliya Lierler Automatic Compilation of Protocol Insecurity Problems into Logic Programming. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Marco Maratea Computing Answer Sets of a Logic Program via-enumeration of SAT certificates. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Yuliya Babovich, Esra Erdem 0001, Vladimir Lifschitz Fages' Theorem and Answer Set Programming Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
Displaying result #1 - #77 of 77 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license