Sciweavers

Share
APAL
2005

Safe beliefs for propositional theories

9 years 7 months ago
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
Mauricio Osorio, Juan Antonio Navarro Pérez
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2005
Where APAL
Authors Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
Comments (0)
books