Computing Weighted Solutions in Answer Set Programming
From MaRDI portal
Publication:3643134
DOI10.1007/978-3-642-04238-6_36zbMath1258.68021MaRDI 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
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68N17: Logic programming
Related Items
Computing weighted solutions in ASP: representation-based method vs. search-based method, Algorithms for Solving Satisfiability Problems with Qualitative Preferences