PanLinx
русский
rus-000
немонотонная логика
English
eng-000
nonmonotonic logic
PanLex