A Computationally Tractable Nonmonotonic Logic.

Thomas J. Weigert Jeffrey J. P. Tsai A Computationally Tractable Nonmonotonic Logic. 57-63 TKDE6/P0057.pdf 1994 6 IEEE Trans. Knowl. Data Eng. 1 db/journals/tkde/tkde6.html#WeigertT94 db/journals/tkde/WeigertT94.html journals/jacm/AptE82 ... conf/adbt/Clark77 journals/ai/Davis80b conf/aaai/EtheringtonR83 conf/aaai/Etherington87 journals/ai/Etherington87 conf/nmr/GelfondL88 ... ... conf/aaai/HortyTT87 journals/tcs/LassezM84 conf/ijcai/Lifschitz85 ... books/sp/Lloyd84 ... journals/ai/McCarthy80 journals/ai/McCarthy86 journals/ai/McDermottD80 journals/jacm/McDermott82 journals/ai/Moore85 journals/ai/Reiter80 conf/aaai/Reiter82 conf/lics/Shoham87 ... journals/tse/TsaiWJ92 ... ... ... ...