Login / Signup
Answer Set Programs with One Incremental Variable.
Junjun Deng
Yan Zhang
Published in:
IEA/AIE (1) (2014)
Keyphrases
</>
answer set programs
answer set programming
answer sets
logic programs
stable models
artificial intelligence
event calculus
update operators
programming language
logic programming