Computing Weighted Solutions in Answer Set Programming
From MaRDI portal
Publication:3643134
DOI10.1007/978-3-642-04238-6_36zbMath1258.68021OpenAlexW1592376903MaRDI QIDQ3643134
Duygu Cakmak, Halit Erdogan, Esra Erdem
Publication date: 10 November 2009
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-04238-6_36
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Related Items
Algorithms for Solving Satisfiability Problems with Qualitative Preferences, Computing weighted solutions in ASP: representation-based method vs. search-based method