Title :
Updates Based on ASP
Author :
Zepeda, Claudia ; Carballido, José Luis ; Rossainz, Mario ; Osorio, Mauricio
Abstract :
We present a semantics for an update operator. This semantics is based on a concept called minimal generalized answer sets.
Keywords :
logic programming; ASP; minimal generalized answer sets; update operator; Answer set programming; update operator;
Conference_Titel :
Artificial Intelligence (MICAI), 2010 Ninth Mexican International Conference on
Conference_Location :
Pachuca
Print_ISBN :
978-0-7695-4284-3
DOI :
10.1109/MICAI.2010.20