default logic

type of non-monotonic logic

en-GB/dɪˈfɔːlt ˈlɒd͡ʒɪk/
en-US/dɪˈfɔlt ˈlɑd͡ʒɪk/

Categories:

non-monotonic logic