default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYuliya Lierler
Yuliya Babovich-Lierler – Yuliya Babovich
Person information
- affiliation: University of Nebraska at Omaha, USA
- affiliation: University of Texas at Austin, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j26]Yuliya Lierler, Gang Ling, Craig Olson:
Information extraction tool text2alm: From narratives to action language system descriptions and query answering. AI Commun. 37(1): 53-81 (2024)- [j25]Yuliya Lierler
:
An abstract view on optimizations in propositional frameworks. Ann. Math. Artif. Intell. 92(2): 355-391 (2024) - [j24]Jorge Fandinno, Zachary Hansen, Yuliya Lierler:
Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming. J. Artif. Intell. Res. 80: 977-1031 (2024) - [j23]Daniel Bresnahan, Nicholas Hippen, Yuliya Lierler:
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics. Theory Pract. Log. Program. 24(1): 132-156 (2024) - [c50]Pedro Cabalar, Adrian Dorsey, Jorge Fandinno, Yuliya Lierler, Brais Muñiz, Joel Sare:
tExplain: Information Extraction with Explanations. LPNMR 2024: 43-56 - [i25]Yuliya Lierler:
Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12. CoRR abs/2407.06814 (2024) - 2023
- [j22]Yuliya Lierler:
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches. Theory Pract. Log. Program. 23(1): 195-225 (2023) - [j21]Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple:
External Behavior of a Logic Program and Verification of Refactoring. Theory Pract. Log. Program. 23(4): 933-947 (2023) - [j20]Yuliya Lierler:
Unifying Framework for Optimizations in Non-Boolean Formalisms. Theory Pract. Log. Program. 23(6): 1248-1280 (2023) - [c49]Jorge Fandinno, Yuliya Lierler:
Splitting Answer Set Programs with Respect to Intensionality Statements. AAAI 2023: 6338-6345 - [i24]Daniel Bresnahan, Nicholas Hippen, Yuliya Lierler:
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics. CoRR abs/2303.17018 (2023) - [i23]Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple:
External Behavior of a Logic Program and Verification of Refactoring. CoRR abs/2305.17485 (2023) - [i22]Martin Gebser, Joohyung Lee, Yuliya Lierler:
Elementary Sets for Logic Programs. CoRR abs/2307.09168 (2023) - 2022
- [j19]Yuliya Lierler:
Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs. Theory Pract. Log. Program. 22(3): 335-366 (2022) - [j18]Yuliya Lierler, José F. Morales:
Introduction to the 38th International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. 22(4): 499-504 (2022) - [j17]Yuliya Lierler, José F. Morales:
Introduction to the 38th International Conference on Logic Programming Special Issue II. Theory Pract. Log. Program. 22(5): 640 (2022) - [c48]Jorge Fandinno, Zachary Hansen, Yuliya Lierler:
Axiomatization of Aggregates in Answer Set Programming. AAAI 2022: 5634-5641 - [c47]Jorge Fandinno, Zachary Hansen, Yuliya Lierler:
Arguing Correctness of ASP Programs with Aggregates. LPNMR 2022: 190-202 - [c46]Zachary Hansen, Yuliya Lierler:
Semantics for Conditional Literals via the SM Operator. LPNMR 2022: 259-272 - [c45]Liu Liu, Mirek Truszczynski, Yuliya Lierler:
A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection. LPNMR 2022: 415-428 - [e5]Yuliya Lierler, José F. Morales, Carmine Dodaro, Verónica Dahl, Martin Gebser, K. Tuncay Tekle:
Proceedings 38th International Conference on Logic Programming, ICLP 2022 Technical Communications / Doctoral Consortium, Haifa, Israel, 31st July 2022 - 6th August 2022. EPTCS 364, 2022 [contents] - [i21]Yuliya Lierler:
An Abstract View on Optimizations in Propositional Frameworks. CoRR abs/2206.06440 (2022) - [i20]Yuliya Lierler:
Unifying Framework for Optimizations in non-boolean Formalisms. CoRR abs/2206.07862 (2022) - 2021
- [j16]Marcello Balduccini, Yuliya Lierler, Stefan Woltran:
Preface. Theory Pract. Log. Program. 21(3): 293-295 (2021) - [c44]Nicholas Hippen, Yuliya Lierler:
Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics. JELIA 2021: 346-361 - [c43]Yuliya Lierler:
An Abstract View on Optimizations in SAT and ASP. JELIA 2021: 377-392 - [c42]Yuliya Lierler, Justin Robbins:
DualGrounder: Lazy Instantiation via Clingo Multi-shot Framework. JELIA 2021: 435-441 - [i19]Yuliya Lierler:
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches. CoRR abs/2107.08252 (2021) - 2020
- [j15]Pedro Cabalar, Jorge Fandinno, Yuliya Lierler:
Modular Answer Set Programming as a Formal Specification Language. Theory Pract. Log. Program. 20(5): 767-782 (2020) - [i18]Pedro Cabalar, Jorge Fandinno, Yuliya Lierler:
Modular Answer Set Programming as a Formal Specification Language. CoRR abs/2008.02015 (2020)
2010 – 2019
- 2019
- [c41]Yuliya Lierler:
Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs. PADL 2019: 1-18 - [c40]Nicholas Hippen, Yuliya Lierler:
Automatic Program Rewriting in Non-Ground Answer Set Programs. PADL 2019: 19-36 - [c39]Craig Olson, Yuliya Lierler:
Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions. ICLP Technical Communications 2019: 87-100 - [e4]Marcello Balduccini, Yuliya Lierler, Stefan Woltran:
Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings. Lecture Notes in Computer Science 11481, Springer 2019, ISBN 978-3-030-20527-0 [contents] - [i17]Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens:
The informal semantics of Answer Set Programming: A Tarskian perspective. CoRR abs/1901.09125 (2019) - [i16]Yuliya Lierler:
Strong Equivalence and Program's Structure in Arguing Essential Equivalence between Logic Programs. CoRR abs/1901.09127 (2019) - [i15]Da Shen, Yuliya Lierler:
SMT-based Constraint Answer Set Solver EZSMT+. CoRR abs/1905.03334 (2019) - 2018
- [c38]Da Shen, Yuliya Lierler:
SMT-Based Answer Set Solver CMODELS(DIFF) (System Description). ICLP (Technical Communications) 2018: 11:1-11:15 - [c37]Da Shen, Yuliya Lierler:
SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs. KR 2018: 67-71 - 2017
- [j14]Yuliya Lierler:
What is answer set programming to propositional satisfiability. Constraints An Int. J. 22(3): 307-337 (2017) - [j13]Marcello Balduccini, Yuliya Lierler:
Constraint answer set solver EZCSP and why integration schemas matter. Theory Pract. Log. Program. 17(4): 462-515 (2017) - [j12]Yuliya Lierler, Benjamin Susman:
On relation between constraint answer set programming and satisfiability modulo theories. Theory Pract. Log. Program. 17(4): 559-590 (2017) - [c36]Amelia Harrison, Yuliya Lierler:
First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract). IJCAI 2017: 4859-4863 - [c35]Yuliya Lierler, Daniela Inclezan, Michael Gelfond:
Action Languages and Question Answering. IWCS(2) 2017 - [e3]Yuliya Lierler, Walid Taha:
Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings. Lecture Notes in Computer Science 10137, Springer 2017, ISBN 978-3-319-51675-2 [contents] - [i14]Marcello Balduccini, Yuliya Lierler:
Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter. CoRR abs/1702.04047 (2017) - [i13]Yuliya Lierler, Benjamin Susman:
On Relation between Constraint Answer Set Programming and Satisfiability Modulo Theories. CoRR abs/1702.07461 (2017) - 2016
- [j11]Yuliya Lierler, Miroslaw Truszczynski:
On abstract modular inference systems and solvers. Artif. Intell. 236: 65-89 (2016) - [j10]Yuliya Lierler, Marco Maratea, Francesco Ricca:
Systems, Engineering Environments, and Competitions. AI Mag. 37(3): 45-52 (2016) - [j9]Rémi Brochenin, Marco Maratea, Yuliya Lierler:
Disjunctive answer set solvers via templates. Theory Pract. Log. Program. 16(4): 465-497 (2016) - [j8]Amelia Harrison, Yuliya Lierler:
First-order modular logic programs and their conservative extensions. Theory Pract. Log. Program. 16(5-6): 755-770 (2016) - [c34]Benjamin Susman, Yuliya Lierler:
SMT-Based Constraint Answer Set Solver EZSMT (System Description). ICLP (Technical Communications) 2016: 1:1-1:15 - [c33]Broes De Cat, Yuliya Lierler:
Constraint CNF: SAT and CSP Language Under One Roof. ICLP (Technical Communications) 2016: 12:1-12:15 - [c32]Yuliya Lierler, Benjamin Susman:
Constraint Answer Set Programming versus Satisfiability Modulo Theories. IJCAI 2016: 1181-1187 - [i12]Amelia Harrison, Yuliya Lierler:
First-Order Modular Logic Programs and their Con: set servative Extensions. CoRR abs/1608.02681 (2016) - 2015
- [c31]Yuliya Lierler, Miroslaw Truszczynski:
An Abstract View on Modularity in Knowledge Representation. AAAI 2015: 1532-1538 - [c30]Daniel Bailey, Amelia J. Harrison, Yuliya Lierler, Vladimir Lifschitz, Julian Michael:
The Winograd Schema Challenge and Reasoning about Correlation. AAAI Spring Symposia 2015 - [c29]Daniel Bailey, Yuliya Lierler, Benjamin Susman:
Prepositional Phrase Attachment Problem Revisited: how Verbnet can Help. IWCS 2015: 12-22 - [c28]Matthew Buddenhagen, Yuliya Lierler:
Performance Tuning in Answer Set Programming. LPNMR 2015: 186-198 - [e2]Marina De Vos, Thomas Eiter, Yuliya Lierler, Francesca Toni:
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015. CEUR Workshop Proceedings 1433, CEUR-WS.org 2015 [contents] - [i11]Rémi Brochenin, Yuliya Lierler, Marco Maratea:
Disjunctive Answer Set Solvers via Templates. CoRR abs/1510.01599 (2015) - 2014
- [j7]Yuliya Lierler:
Relating constraint answer set programming languages and algorithms. Artif. Intell. 207: 1-22 (2014) - [c27]Rémi Brochenin, Yuliya Lierler, Marco Maratea:
Abstract Disjunctive Answer Set Solvers. ECAI 2014: 165-170 - [c26]Yuliya Lierler, Miroslaw Truszczynski:
Abstract Modular Inference Systems and Solvers. PADL 2014: 49-64 - 2013
- [j6]Marcello Balduccini, Yuliya Lierler:
Integration Schemas for Constraint Answer Set Programming: a Case Study. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [c25]Yuliya Lierler, Miroslaw Truszczynski:
Modular Answer Set Solving. AAAI (Late-Breaking Developments) 2013 - [c24]Yuliya Lierler, Vladimir Lifschitz:
Logic Programs vs. First-Order Formulas in Textual Inference. IWCS 2013: 340-346 - [c23]Yuliya Lierler, Peter Schüller:
Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming. IWCS 2013: 383-389 - [c22]Marcello Balduccini, Yuliya Lierler, Peter Schüller:
Prolog and ASP Inference under One Roof. LPNMR 2013: 148-160 - [i10]Michael Fink, Yuliya Lierler:
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary. CoRR abs/1301.2215 (2013) - [i9]Marcello Balduccini, Yuliya Lierler:
Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration. CoRR abs/1312.6105 (2013) - [i8]Yuliya Lierler, Miroslaw Truszczynski:
Abstract Modular Systems and Solvers. CoRR abs/1312.6151 (2013) - [i7]Michael Fink, Yuliya Lierler:
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey. CoRR abs/1312.7422 (2013) - 2012
- [j5]Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang:
Representing first-order causal theories by logic programs. Theory Pract. Log. Program. 12(3): 383-412 (2012) - [c21]Yuliya Lierler:
On the Relation of Constraint Answer Set Programming Languages and Algorithms. AAAI 2012: 521-527 - [c20]Neelakantan Kartha, Esra Erdem, Joohyung Lee, Paolo Ferraris, Wanwan Ren, Yuliya Lierler, Fangkai Yang, Albert Rondan:
Vladimir Lifschitz - A Youth at 65. Correct Reasoning 2012: 14-23 - [c19]Yuliya Lierler, Peter Schüller:
Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming. Correct Reasoning 2012: 436-453 - [c18]Bryan Silverthorn, Yuliya Lierler, Marius Schneider:
Surviving Solver Sensitivity: An ASP Practitioner's Guide. ICLP (Technical Communications) 2012: 164-175 - [c17]Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens:
A Tarskian Informal Semantics for Answer Set Programming. ICLP (Technical Communications) 2012: 277-289 - [c16]Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund:
Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving. PADL 2012: 63-77 - [c15]Marcello Balduccini, Yuliya Lierler:
Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools. PADL 2012: 78-92 - [e1]Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce:
Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Lecture Notes in Computer Science 7265, Springer 2012, ISBN 978-3-642-30742-3 [contents] - 2011
- [j4]Yuliya Lierler:
Abstract answer set solvers with backjumping and learning. Theory Pract. Log. Program. 11(2-3): 135-169 (2011) - [j3]Yuliya Lierler, Miroslaw Truszczynski:
Transition systems for model generators - A unifying approach. Theory Pract. Log. Program. 11(4-5): 629-646 (2011) - [j2]Martin Gebser, Joohyung Lee, Yuliya Lierler:
On elementary loops of logic programs. Theory Pract. Log. Program. 11(6): 953-988 (2011) - [c14]Yuliya Lierler, Vladimir Lifschitz:
Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations. LPNMR 2011: 205-210 - [i6]Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang:
Representing First-Order Causal Theories by Logic Programs. CoRR abs/1103.4558 (2011) - [i5]Yuliya Lierler, Miroslaw Truszczynski:
Transition Systems for Model Generators - A Unifying Approach. CoRR abs/1105.0650 (2011) - [i4]Yuliya Lierler, Peter Schüller:
Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report. CoRR abs/1108.5567 (2011) - 2010
- [i3]Yuliya Lierler:
Abstract Answer Set Solvers with Learning. CoRR abs/1001.0820 (2010) - [i2]Martin Gebser, Joohyung Lee, Yuliya Lierler:
On Elementary Loops of Logic Programs. CoRR abs/1012.5847 (2010)
2000 – 2009
- 2009
- [c13]Yuliya Lierler, Vladimir Lifschitz:
One More Decidable Class of Finitely Ground Programs. ICLP 2009: 489-493 - 2008
- [c12]Yuliya Lierler:
Abstract Answer Set Solvers. ICLP 2008: 377-391 - [r1]Marcello Balduccini, Chitta Baral, Yuliya Lierler:
Knowledge Representation and Question Answering. Handbook of Knowledge Representation 2008: 779-819 - 2007
- [c11]Martin Gebser, Joohyung Lee, Yuliya Lierler:
Head-Elementary-Set-Free Logic Programs. LPNMR 2007: 149-161 - 2006
- [j1]Enrico Giunchiglia, Yuliya Lierler, Marco Maratea:
Answer Set Programming Based on Propositional Satisfiability. J. Autom. Reason. 36(4): 345-377 (2006) - [c10]Martin Gebser, Joohyung Lee, Yuliya Lierler:
Elementary Sets of Logic Programs. AAAI 2006: 244-249 - 2005
- [c9]Yuliya Lierler:
Disjunctive Answer Set Programming via Satisfiability. Answer Set Programming 2005 - [c8]Yuliya Lierler:
cmodels - SAT-Based Disjunctive Answer Set Solver. LPNMR 2005: 447-451 - [c7]Yuliya Lierler:
Cmodels for Tight Disjunctive Logic Programs. W(C)LP 2005: 163-166 - 2004
- [c6]Enrico Giunchiglia, Yuliya Lierler, Marco Maratea:
SAT-Based Answer Set Programming. AAAI 2004: 61-66 - [c5]Bernhard Nebel, Yuliya Babovich-Lierler:
When Are Behaviour Networks Well-Behaved? ECAI 2004: 672-676 - [c4]Alessandro Armando, Luca Compagna, Yuliya Lierler:
Automatic Compilation of Protocol Insecurity Problems into Logic Programming. JELIA 2004: 617-627 - [c3]Yuliya Lierler, Marco Maratea:
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. LPNMR 2004: 346-350 - [c2]Enrico Giunchiglia, Yuliya Lierler, Marco Maratea:
A SAT-based polynomial space algorithm for answer set programming. NMR 2004: 189-196 - 2003
- [c1]Yuliya Lierler, Marco Maratea:
Computing Answer Sets of a Logic Program via-enumeration of SAT certificates. Answer Set Programming 2003 - 2000
- [i1]Yuliya Babovich, Esra Erdem, Vladimir Lifschitz:
Fages' Theorem and Answer Set Programming. CoRR cs.AI/0003042 (2000)
Coauthor Index
Miroslaw Truszczynski
aka: Mirek Truszczynski
aka: Mirek Truszczynski
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-04 20:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
