Answer-Set-Programmierung (ASP)

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein deklaratives Problemlösungsparadigma, bei dem Suchprobleme als logische Programme kodiert werden, deren stabile Modelle (Answer Sets) den Lösungen entsprechen; nichtmonotone Konstrukte und Default-Negation drücken Alternativen und Nebenbedingungen kompakt aus.