Safe beliefs for propositional theories

We propose an extension of answer sets, that we call safe beliefs, that can be used to study several properties and notions of answer sets and logic programming from a more general point of view. Our definition, based on intuitionistic logic and following ideas from D. Pearce [Stable inference as intuitionistic validity, Logic Programming 38 (1999) 79

• Type: Journal
• Year: 2005
• Where: APAL
• Authors: Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
• Keywords: Answer Sets, APAL 2005, Logic, Logic Programming