default logic
Sign in to savetype of non-monotonic logic
Connections
Richard Nixon
Person
Republican Party (United States)
Concept
Wayback Machine
Entity
digital object identifier
Entity
Quakers
Entity
Prolog
Entity
propositional calculus
Entity
bijection
Entity
Stanford Encyclopedia of Philosophy
Entity
tautology
Entity
modal logic
Entity
abductive reasoning
Entity
fixed point
Entity
first-order logic
Entity
logic programming
Entity
consistency
Entity
logical consequence
Entity
analysis of algorithms
Entity
rule of inference
Entity
polynomial hierarchy
Entity