Login / Signup
On the Relation of Constraint Answer Set Programming Languages and Algorithms.
Yuliya Lierler
Published in:
AAAI (2012)
Keyphrases
</>
programming language
logic programming
answer sets
logic programs
general purpose
answer set programming
programming paradigms
software engineering
database
orders of magnitude
denotational semantics
lambda calculus
data abstraction
specification language
search methods
data model
natural language
data structure