Answer set programming in intuitionistic logic

DOI10.1016/J.INDAG.2017.05.006MaRDI QIDQ1688962zbMATH OpenOpenAlexFDO

Authors Aleksy Schubert, Paweł Urzyczyn

Publication date 12 January 2018

Published in Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.indag.2017.05.006

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) Intuitionistic mathematics (03F55)

Recommendations

• Applications of intuitionistic logic in Answer Set Programming
• Answer set programming based on propositional satisfiability
• scientific article; zbMATH DE number 6536279
• scientific article; zbMATH DE number 1882048
• A characterization of answer sets for logic programs
• Answer set semantics for ordered logic programs
• An Introduction to Answer Set Programming and Some of Its Extensions
• scientific article; zbMATH DE number 5910656

Cites work

• scientific article; zbMATH DE number 1499102 (Why is no real title available?)
• Applications of intuitionistic logic in Answer Set Programming
• Autoepistemic logic
• Equilibrium logic
• Intuitionistic games: determinacy, completeness, and normalization
• Lectures on the Curry-Howard isomorphism
• Stable inference as intuitionistic validity
• Why not negation by fixpoint?

Cited in

(19)

• A logical approach to A-Prolog
• scientific article; zbMATH DE number 5910656 (Why is no real title available?)
• Answer Set Programming’s Contributions to Classical Logic
• Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs
• First-order Answer Set Programming as Constructive Proof Search
• scientific article; zbMATH DE number 6536279 (Why is no real title available?)
• From (Quantified) Boolean Formulae to Answer Set Programming
• Quantified Equilibrium Logic and Foundations for Answer Set Programs
• Abstraction for non-ground answer set programs
• Applications of intuitionistic logic in Answer Set Programming
• On Cascade Products of Answer Set Programs
• Approximate postdictive reasoning with answer set programming
• An Introduction to Answer Set Programming and Some of Its Extensions
• Program Correspondence under the Answer-Set Semantics: The Non-ground Case
• Witnesses for Answer Sets of Logic Programs
• A characterization of answer sets for logic programs
• Answer Set Programming without Unstratified Negation
• Answer set programming with graded modality
• Intuitionistic logic programming for SQL

This page was built for publication: Answer set programming in intuitionistic logic

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