scientific article; zbMATH DE number 6536279
From MaRDI portal
Publication:3464628
zbMATH Open1346.68053MaRDI QIDQ3464628FDOQ3464628
Publication date: 27 January 2016
Title of this publication is not available (Why is that?)
Cited In (16)
- 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
- 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
Recommendations
- Title not available (Why is that?) ๐ ๐
- Answer set programming based on propositional satisfiability ๐ ๐
- Answer set programming in intuitionistic logic ๐ ๐
- An Introduction to Answer Set Programming and Some of Its Extensions ๐ ๐
- A characterization of answer sets for logic programs ๐ ๐
- Applications of intuitionistic logic in Answer Set Programming ๐ ๐
- Justifications for logic programs under answer set semantics ๐ ๐
- First-order Answer Set Programming as Constructive Proof Search ๐ ๐
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)