A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs.

Joaquín Arias Gopal Gupta Manuel Carro

Published in: ICLP Workshops (2021)

Keyphrases

goal directed
answer set programs
answer set programming
answer sets
logic programs
autonomous robots
stable models
real time
artificial intelligence
query language
logic programming
event calculus