answer set programming
Description: A declarative logic programming paradigm that represents problems as rules and solves them by computing stable models, especially for combinatorial search.
Primary topic: Logic, Reasoning, and Knowledge (57%)
Related topic: Logic, Reasoning, and Knowledge (57%)
Wikidata ID: wiki/Q2852531
OpenAlex ID: keywords/answer-set-programming