Nonmonotonic reasoning
Subdecks (4)
Answer set programming
Z - Old > Computational Logics > Nonmonotonic reasoning8 cardsReasoning in default logic
Z - Old > Computational Logics > Nonmonotonic reasoning16 cardsOperational semantics
Z - Old > Computational Logics > Nonmonotonic reasoning10 cardsDefault Logic
Z - Old > Computational Logics > Nonmonotonic reasoning24 cards