Circumscription

non-monotonic logic created by John McCarthy

en-GB/ˌsɜːkəmˈskɹɪpʃn/
en-US/ˌsɝkəmˈskɹɪpʃən/

Categories:

non-monotonic logic