A System with Template Answer Set Programs.

Francesco Calimeri Giovambattista Ianni Giuseppe Ielpa Adriana Pietramala Maria Carmela Santoro

Published in: JELIA (2004)

Keyphrases

answer set programs
answer set programming
answer sets
logic programs
stable models
logic programming
update operators
event calculus
expert systems
general purpose
update semantics