Login / Signup
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches.
Yuliya Lierler
Published in:
CoRR (2021)
Keyphrases
</>
answer set programming
logic programs
logic programming
modulo theories
update semantics
answer sets
constraint logic programming
database
reasoning tasks
causal theories
artificial intelligence
linear constraints
stable model semantics