Applications of intuitionistic logic in Answer Set Programming

DOI10.1017/S1471068403001881MaRDI QIDQ4669647zbMATH OpenFDO

Authors Mauricio Osorio, Juan A. Navarro, 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)

Full work available at URL https://doi.org/10.1017/S1471068403001881

zbMATH Keywords

program transformation

Mathematics Subject Classification ID

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

Recommendations

• Answer set programming in intuitionistic logic
• scientific article; zbMATH DE number 6536279
• An Introduction to Answer Set Programming and Some of Its Extensions
• Answer set programming based on propositional satisfiability
• Justifications for Logic Programs Under Answer Set Semantics
• Justifications for logic programs under answer set semantics
• scientific article; zbMATH DE number 1882048

Cited in

(13)

• Possibilistic nested logic programs and strong equivalence
• Answer Set Programming’s Contributions to Classical Logic
• 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
• Safe beliefs for propositional theories
• scientific article; zbMATH DE number 6536279 (Why is no real title available?)
• A logical approach to A-Prolog
• Answer set programming in intuitionistic logic
• Modality Argumentation Programming
• A framework for intuitionistic grammar logics
• A tableaux calculus for default intuitionistic logic
• Intuitionistic logic programming for SQL
• An application of clasp in the study of logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4669647)