Keywords

#stable_model_semantics

Stable model semantics

The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of several standard approaches to the meaning of negation in logic programming, along with program completion and the well-founded semantics. The stable model semantics is the basis of answer set programming.

Mon 22nd

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Stable model semantics Syntax and semantics of logic programming Disjunctive Datalog Answer set programming Autoepistemic logic Negation as failure Logic programming Well-founded semantics Probabilistic logic programming Vladimir Lifschitz
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.