Buy Me a Coffee at ko-fi.com

Non-monotonic logic

formal logic whose conclusion relation is not monotonic

defeasible logic default logic Circumscription
Showing 0 to 3 of 3 Items