An Introduction to Answer Set Programming and Some of Its Extensions

DOI10.1007/978-3-030-60067-9_6MaRDI QIDQ6488098zbMATH OpenFDO

Authors Wolfgang Faber

Publication date 24 March 2023

Full work available at URL https://doi.org/10.1007/978-3-030-60067-9_6

Mathematics Subject Classification ID

Logic programming (68N17) Knowledge representation (68T30)

Recommendations

• Extensions of answer set programming
• Extensions of answer set programming
• Answer Set Programming: A Primer
• Answer Set Programming: A Declarative Approach to Solving Search Problems
• Answer set programming in intuitionistic logic
• scientific article; zbMATH DE number 6536279

Cited in

(32)

• My work with Victor Marek: a mathematician looks at answer set programming
• Answer set programming in intuitionistic logic
• Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version
• Guest editorial: Special issue on answer set programming and other computing paradigms
• Vicious circle principle, aggregates, and formation of sets in ASP based languages
• Complexity results for answer set programming with bounded predicate arities and implications
• Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy
• claspfolio2: Advances in Algorithm Selection for Answer Set Programming
• On Cascade Products of Answer Set Programs
• Logic programs with propositional connectives and aggregates
• Answer Set Programming’s Contributions to Classical Logic
• Combining answer set programming and Prolog: The \(\mathbb{ASP}\)-\(\mathbb{PROLOG}\) system
• scientific article; zbMATH DE number 5914361 (Why is no real title available?)
• scientific article; zbMATH DE number 6536279 (Why is no real title available?)
• Qualitative Constraint Enforcement in Advanced Policy Specification
• Answer Set Programming: A Primer
• Applications of intuitionistic logic in Answer Set Programming
• scientific article; zbMATH DE number 1931698 (Why is no real title available?)
• An Incremental Answer Set Programming Based System for Finite ModelComputation
• Recursive rules with aggregation: a simple unified semantics (extended abstract)
• A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
• Answering the ``why in answer set programming -- a survey of explanation approaches
• Answer Set Programming for Representing and Reasoning About Virtual Institutions
• Logic Programming
• An Answer Set Solver for non-Herbrand Programs: Progress Report
• Stable model semantics for founded bounds
• TOAST: Applying Answer Set Programming to Superoptimisation
• Declarative Problem Solving Using Answer Set Semantics
• Model-Based Knowledge Representation and Reasoning Via Answer Set Programming
• SMS and ASP: Hype or TST?
• Generative Datalog and answer set programming (extended abstract)
• Modern Datalog: concepts, methods, applications (invited paper)

This page was built for publication: An Introduction to Answer Set Programming and Some of Its Extensions

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