Остановите войну!
for scientists:
default search action
Yuliya Lierler
- > Home > Persons > Yuliya Lierler
Publications
- 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) - [c49]Jorge Fandinno, Yuliya Lierler:
Splitting Answer Set Programs with Respect to Intensionality Statements. AAAI 2023: 6338-6345 - [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
- [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] - 2021
- [j16]Marcello Balduccini, Yuliya Lierler, Stefan Woltran:
Preface. Theory Pract. Log. Program. 21(3): 293-295 (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) - 2019
- [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) - 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 - [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 - [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
- [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) - [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
- [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
- [i2]Martin Gebser, Joohyung Lee, Yuliya Lierler:
On Elementary Loops of Logic Programs. CoRR abs/1012.5847 (2010) - 2009
- [c13]Yuliya Lierler, Vladimir Lifschitz:
One More Decidable Class of Finitely Ground Programs. ICLP 2009: 489-493 - 2008
- [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 - 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)
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-04-25 02:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint