![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Non-classical logics are increasingly used in various fields of information systems and computer science. They provide formal tools for handling uncertain, imprecise and inconsistent information, knowledge representation, program verification and reasoning about dynamic structures.