semantica del modello stabile
Sign in to saveAlso known as stable model, answer set
In the Vinony graph
Within Vinony's link graph, semantica del modello stabile is referenced by 21 other articles, and connects out to closed-world assumption, International Standard Book Number and digital object identifier.
It is catalogued under the topic Logic programming.
Its subject is documented across 5 Wikipedia language editions.
Article · Italiano
Il modello stabile (stable model), o answer set, è un concetto utilizzato per definire una semantica dichiarativa nella programmazione logica con negazione. Il concetto di modello stabile, introdotto da Gelfond e Lifschitz nel 1988, è alla base dell'answer set programming.
Abstract from DBpedia / Wikipedia · CC BY-SA
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
Semantic Scholar
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