Declarative Problem Solving Using Answer Set Semantics

DOI10.1007/11799573_48MaRDI QIDQ5449643zbMATH OpenOpenAlexFDO

Authors Martin Brain

Publication date 11 March 2008

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11799573_48

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Recommendations

• Answer Set Programming: A Declarative Approach to Solving Search Problems
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Answer Set Programming: A Primer
• The power of non-ground rules in Answer Set Programming
• An Introduction to Answer Set Programming and Some of Its Extensions

Cited in

(4)

• Logic Programming
• Approximate postdictive reasoning with answer set programming
• Disjunctive answer set solvers via templates
• Logic Programming

This page was built for publication: Declarative Problem Solving Using Answer Set Semantics

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