|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 25 publication records. Showing 25 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund |
Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving.  |
PADL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler, Miroslaw Truszczynski |
Transition Systems for Model Generators - A Unifying Approach |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yuliya Lierler, Peter Schüller |
Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang |
Representing First-Order Causal Theories by Logic Programs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yuliya Lierler |
Abstract answer set solvers with backjumping and learning. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler, Miroslaw Truszczynski |
Transition systems for model generators - A unifying approach. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Joohyung Lee, Yuliya Lierler |
On elementary loops of logic programs. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler, Vladimir Lifschitz |
Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler |
Abstract Answer Set Solvers with Learning |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Martin Gebser, Joohyung Lee, Yuliya Lierler |
On Elementary Loops of Logic Programs |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yuliya Lierler, Vladimir Lifschitz |
One More Decidable Class of Finitely Ground Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler |
Abstract Answer Set Solvers. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Joohyung Lee, Yuliya Lierler |
Head-Elementary-Set-Free Logic Programs. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Yuliya Lierler, Marco Maratea |
Answer Set Programming Based on Propositional Satisfiability. |
J. Autom. Reasoning |
2006 |
DBLP DOI BibTeX RDF |
answer set programming, propositional satisfiability |
| 1 | Martin Gebser, Joohyung Lee, Yuliya Lierler |
Elementary Sets of Logic Programs. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yuliya Lierler |
cmodels - SAT-Based Disjunctive Answer Set Solver. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler |
Disjunctive Answer Set Programming via Satisfiability. |
Answer Set Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yuliya Lierler |
Cmodels for Tight Disjunctive Logic Programs. |
W(C)LP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Nebel, Yuliya Babovich-Lierler |
When Are Behaviour Networks Well-Behaved? |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Armando, Luca Compagna, Yuliya Lierler |
Automatic Compilation of Protocol Insecurity Problems into Logic Programming. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler, Marco Maratea |
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Yuliya Lierler, Marco Maratea |
A SAT-based polynomial space algorithm for answer set programming. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Yuliya Lierler, Marco Maratea |
SAT-Based Answer Set Programming. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Yuliya Lierler, Marco Maratea |
Computing Answer Sets of a Logic Program via-enumeration of SAT certificates. |
Answer Set Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Yuliya Babovich, Esra Erdem, Vladimir Lifschitz |
Fages' Theorem and Answer Set Programming |
CoRR |
2000 |
DBLP BibTeX RDF |
|
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")