Applications of intuitionistic logic in Answer Set Programming
From MaRDI portal
Publication:4669647
DOI10.1017/S1471068403001881zbMath1088.68028MaRDI QIDQ4669647
Mauricio Osorio, José Ramón Enrique Arrazola Ramírez, J. A. Navarro
Publication date: 15 April 2005
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Related Items
Safe beliefs for propositional theories, Possibilistic nested logic programs and strong equivalence, Modality Argumentation Programming