Yuliya Lierler

According to our database1, Yuliya Lierler authored at least 66 papers between 2000 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions.
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

SMT-based Constraint Answer Set Solver EZSMT+.
CoRR, 2019

Strong Equivalence and Program's Structure in Arguing Essential Equivalence between Logic Programs.
CoRR, 2019

The informal semantics of Answer Set Programming: A Tarskian perspective.
CoRR, 2019

Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs.
Proceedings of the Practical Aspects of Declarative Languages, 2019

Automatic Program Rewriting in Non-Ground Answer Set Programs.
Proceedings of the Practical Aspects of Declarative Languages, 2019

2018
SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

SMT-Based Answer Set Solver CMODELS(DIFF) (System Description).
Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

2017
On relation between constraint answer set programming and satisfiability modulo theories.
TPLP, 2017

Constraint answer set solver EZCSP and why integration schemas matter.
TPLP, 2017

What is answer set programming to propositional satisfiability.
Constraints, 2017

Action Languages and Question Answering.
Proceedings of the IWCS 2017 - 12th International Conference on Computational Semantics - Short papers, Montpellier, France, September 19, 2017

First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract).
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016
First-order modular logic programs and their conservative extensions.
TPLP, 2016

Disjunctive answer set solvers via templates.
TPLP, 2016

First-Order Modular Logic Programs and their Con: set servative Extensions.
CoRR, 2016

Systems, Engineering Environments, and Competitions.
AI Magazine, 2016

On abstract modular inference systems and solvers.
Artif. Intell., 2016

Constraint Answer Set Programming versus Satisfiability Modulo Theories.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

SMT-Based Constraint Answer Set Solver EZSMT (System Description).
Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

Constraint CNF: SAT and CSP Language Under One Roof.
Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2015
Performance Tuning in Answer Set Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Prepositional Phrase Attachment Problem Revisited: how Verbnet can Help.
Proceedings of the 11th International Conference on Computational Semantics, 2015

The Winograd Schema Challenge and Reasoning about Correlation.
Proceedings of the 2015 AAAI Spring Symposia, 2015

An Abstract View on Modularity in Knowledge Representation.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Relating constraint answer set programming languages and algorithms.
Artif. Intell., 2014

Abstract Disjunctive Answer Set Solvers.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013
Integration Schemas for Constraint Answer Set Programming: a Case Study.
TPLP, 2013

Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary
CoRR, 2013

Abstract Modular Systems and Solvers.
CoRR, 2013

Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey.
CoRR, 2013

Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration.
CoRR, 2013

Prolog and ASP Inference under One Roof.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming.
Proceedings of the 10th International Conference on Computational Semantics, 2013

Logic Programs vs. First-Order Formulas in Textual Inference.
Proceedings of the 10th International Conference on Computational Semantics, 2013

Modular Answer Set Solving.
Proceedings of the Late-Breaking Developments in the Field of Artificial Intelligence, 2013

2012
Representing first-order causal theories by logic programs.
TPLP, 2012

Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving.
Proceedings of the Practical Aspects of Declarative Languages, 2012

Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools.
Proceedings of the Practical Aspects of Declarative Languages, 2012

Surviving Solver Sensitivity: An ASP Practitioner's Guide.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

A Tarskian Informal Semantics for Answer Set Programming.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming.
Proceedings of the Correct Reasoning, 2012

Vladimir Lifschitz - A Youth at 65.
Proceedings of the Correct Reasoning, 2012

On the Relation of Constraint Answer Set Programming Languages and Algorithms.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Transition systems for model generators - A unifying approach.
TPLP, 2011

Abstract answer set solvers with backjumping and learning.
TPLP, 2011

On elementary loops of logic programs.
TPLP, 2011

Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report
CoRR, 2011

Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

2010
Abstract Answer Set Solvers with Learning
CoRR, 2010

2009
One More Decidable Class of Finitely Ground Programs.
Proceedings of the Logic Programming, 25th International Conference, 2009

2008
Knowledge Representation and Question Answering.
Proceedings of the Handbook of Knowledge Representation, 2008

Abstract Answer Set Solvers.
Proceedings of the Logic Programming, 24th International Conference, 2008

2007
Head-Elementary-Set-Free Logic Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

2006
Answer Set Programming Based on Propositional Satisfiability.
J. Autom. Reasoning, 2006

Elementary Sets of Logic Programs.
Proceedings of the Proceedings, 2006

2005
Cmodels for Tight Disjunctive Logic Programs.
Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

cmodels - SAT-Based Disjunctive Answer Set Solver.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Disjunctive Answer Set Programming via Satisfiability.
Proceedings of the Answer Set Programming, 2005

2004
A SAT-based polynomial space algorithm for answer set programming.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Automatic Compilation of Protocol Insecurity Problems into Logic Programming.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

When Are Behaviour Networks Well-Behaved?
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

SAT-Based Answer Set Programming.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003
Computing Answer Sets of a Logic Program via-enumeration of SAT certificates.
Proceedings of the Answer Set Programming, 2003

2000
Fages' Theorem and Answer Set Programming
CoRR, 2000


  Loading...