Computing Weighted Solutions in Answer Set Programming

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

Mathematics Subject Classification ID

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

Related Items (2)

Algorithms for Solving Satisfiability Problems with Qualitative Preferences ⋮ Computing weighted solutions in ASP: representation-based method vs. search-based method

This page was built for publication: Computing Weighted Solutions in Answer Set Programming