Applications of intuitionistic logic in Answer Set Programming

DOI10.1017/S1471068403001881zbMath1088.68028MaRDI QIDQ4669647

J. A. Navarro, Mauricio Osorio, José Ramón Enrique Arrazola Ramírez

Publication date: 15 April 2005

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

program transformation

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Intermediate logics (03B55)

Related Items (8)

Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version ⋮ First-order Answer Set Programming as Constructive Proof Search ⋮ Answer set programming in intuitionistic logic ⋮ A framework for intuitionistic grammar logics ⋮ Safe beliefs for propositional theories ⋮ Modality Argumentation Programming ⋮ A tableaux calculus for default intuitionistic logic ⋮ Possibilistic nested logic programs and strong equivalence

This page was built for publication: Applications of intuitionistic logic in Answer Set Programming