Declarative Problem Solving Using Answer Set Semantics

DOI10.1007/11799573_48zbMATH Open1131.68366OpenAlexW1601928379MaRDI QIDQ5449643FDOQ5449643

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

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

Mathematics Subject Classification ID

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

Cited In (4)

• Disjunctive answer set solvers via templates
• Logic Programming
• Logic Programming
• Approximate postdictive reasoning with answer set 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)