
Constraint Answer Set Programming: Integrational and Translational (or SMTbased) Approaches
Constraint answer set programming or CASP, for short, is a hybrid approa...
read it

Modular Answer Set Programming as a Formal Specification Language
In this paper, we study the problem of formal verification for Answer Se...
read it

Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions
In this work we design a narrative understanding tool Text2ALM. This too...
read it

SMTbased Constraint Answer Set Solver EZSMT+
Constraint answer set programming integrates answer set programming with...
read it

Strong Equivalence and Program's Structure in Arguing Essential Equivalence between Logic Programs
Answer set programming is a prominent declarative programming paradigm u...
read it

The informal semantics of Answer Set Programming: A Tarskian perspective
In Knowledge Representation, it is crucial that knowledge engineers have...
read it

Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter
Researchers in answer set programming and constraint programming have sp...
read it

Disjunctive Answer Set Solvers via Templates
Answer set programming is a declarative programming paradigm oriented to...
read it

Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey
This volume contains the papers presented at the sixth workshop on Answe...
read it

Abstract Modular Systems and Solvers
Integrating diverse formalisms into modular knowledge representation sys...
read it

Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary
This volume contains the papers presented at the fifth workshop on Answe...
read it

Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report
Combinatory categorial grammar (CCG) is a grammar formalism used for nat...
read it

Transition Systems for Model Generators  A Unifying Approach
A fundamental task for propositional logic is to compute models of propo...
read it

Representing FirstOrder Causal Theories by Logic Programs
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner...
read it

On Elementary Loops of Logic Programs
Using the notion of an elementary loop, Gebser and Schaub refined the th...
read it

Abstract Answer Set Solvers with Learning
Nieuwenhuis, Oliveras, and Tinelli (2006) showed how to describe enhance...
read it
Yuliya Lierler
is this you? claim profile