stable model semantics
Sign in to saveAlso known as stable model, answer set
Connections
closed-world assumption
Entity
International Standard Book Number
Entity
digital object identifier
Entity
subset
Entity
John McCarthy
Entity
Prolog
Entity
propositional calculus
Entity
programming paradigm
Entity
logical negation
Entity
truth table
Entity
finite set
Entity
tautology
Entity
Q22908627
Entity
logic programming
Entity
model theory
Entity
knowledge representation and reasoning
Entity
Eight queens puzzle
Entity
truth value
Entity
NP-complete
Entity
rule of inference
Entity