Explore relationships

Default logic

Default logic is a non-monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions.

Use + to expand a branch. Click a topic name to open its summary.