Max-ASP: Maximum Satisfiability of Answer Set Programs

DOI10.1007/978-3-642-04238-6_21zbMath1258.68037OpenAlexW1718613296MaRDI QIDQ3643122

Matti Järvisalo, Emilia Oikarinen

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_21

Mathematics Subject Classification ID

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, Iterative and core-guided maxsat solving: a survey and assessment

Uses Software

• ASSAT