Which Soft Constraints do you Prefer?
Author(s) -
M. Hölzl,
Max Meier,
Martin Wirsing
Publication year - 2009
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2009.05.020
Subject(s) - rewriting , computer science , correctness , orchestration , scheduling (production processes) , soft systems methodology , popularity , theoretical computer science , programming language , mathematical optimization , mathematics , information system , art , musical , management information systems , social psychology , psychology , electrical engineering , visual arts , engineering
oft constraints are gaining popularity in diverse areas such as orchestration of Web services or optimization of scheduling decisions. However, current approaches to soft constraints preclude them from modelling certain decision problems with multiple preference criteria. We propose a new approach to soft constraints which allows a natural expression of these problems, describe an implementation in the rewriting logic system Maude, and prove its correctness
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom