Skip to main content
Close Search
Menu
Default Logic
A non-monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions.
Close Menu