scientific article; zbMATH DE number 6536279

zbMATH Open1346.68053MaRDI QIDQ3464628FDOQ3464628

Authors: Wiktor Marek, Jeffrey Remmel 

Publication date: 27 January 2016

Title of this publication is not available (Why is that?)

Recommendations

• Applications of intuitionistic logic in Answer Set Programming
• Answer set programming in intuitionistic logic
• Answer set programming based on propositional satisfiability
• scientific article; zbMATH DE number 1882048
• An Introduction to Answer Set Programming and Some of Its Extensions
• First-order Answer Set Programming as Constructive Proof Search
• A characterization of answer sets for logic programs
• Justifications for logic programs under answer set semantics

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Logic programming (68N17)

Cited In (18)

• Guarded resolution for answer set programming
• Logic Programming
• Program Correspondence under the Answer-Set Semantics: The Non-ground Case
• Title not available (Why is that?)
• A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
• 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
• Applications of intuitionistic logic in Answer Set Programming
• On Cascade Products of Answer Set Programs
• First-order Answer Set Programming as Constructive Proof Search
• Witnesses for Answer Sets of Logic Programs
• An Answer Set Solver for non-Herbrand Programs: Progress Report
• On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP
• An Introduction to Answer Set Programming and Some of Its Extensions
• Title not available (Why is that?)
• Answer set programming in intuitionistic logic
• From (Quantified) Boolean Formulae to Answer Set Programming
• A characterization of answer sets for logic programs

This page was built for publication:

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