C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches.
Yuliya Lierler
Published in:
Theory Pract. Log. Program. (2023)
Keyphrases
</>
answer set programming
logic programs
logic programming
modulo theories
answer sets
update semantics
constraint logic programming
reasoning tasks
stable models
high level
constraint networks
stable model semantics
causal theories