#default_logic

Default logic

Type of non-monotonic logic

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

Wed 28th

Provided by Wikipedia

Learn More
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.