6 relazioni: Answer set programming, Negazione come fallimento, Programmazione logica, Teoria dei modelli, Università Carnegie Mellon, Valore di verità.
Answer set programming
Lanswer set programming (ASP) è una forma di programmazione logica di tipo dichiarativo, basata sulla semantica del modello stabile (o answer set).
Nuovo!!: Semantica del modello stabile e Answer set programming · Mostra di più »
Negazione come fallimento
La negazione come fallimento (nota anche come NaF, dall'inglese negation as failure, o negation by default) è una regola di inferenza non monotòna utilizzata nella programmazione logica per derivare \mathrm~p dal fallimento nel derivare ~p, dove ~p è un atomo che non si può dedurre automaticamente dal programma (poiché non è conseguenza logica dei fatti e delle regole contenute nel programma).
Nuovo!!: Semantica del modello stabile e Negazione come fallimento · Mostra di più »
Programmazione logica
In informatica la programmazione logica è un paradigma di programmazione che adotta la logica del primo ordine sia per rappresentare sia per elaborare l'informazione.
Nuovo!!: Semantica del modello stabile e Programmazione logica · Mostra di più »
Teoria dei modelli
La teoria dei modelli è una branca della matematica, e più precisamente della logica, che affronta lo studio generalizzato del concetto di modello, in riferimento alle relazioni tra varie strutture ed in particolare alla soddisfacibilità di date teorie.
Nuovo!!: Semantica del modello stabile e Teoria dei modelli · Mostra di più »
Università Carnegie Mellon
L'Università Carnegie Mellon (in inglese Carnegie Mellon University) è una università privata di Pittsburgh, in Pennsylvania.
Nuovo!!: Semantica del modello stabile e Università Carnegie Mellon · Mostra di più »
Valore di verità
In logica matematica, un valore di verità (o valore logico) è un valore che stabilisce il limite entro cui una proposizione risulta vera.
Nuovo!!: Semantica del modello stabile e Valore di verità · Mostra di più »