Логические модели
| Название метода |
| Default logic |
| Defeasible logic |
| Абдуктивные логики |
| Исчисление предикатов первого порядка |
| Модальные и интенсиональные логики |
| Теория типов |
Показано объектов: 6 из 6
| Название метода |
| Default logic |
| Defeasible logic |
| Абдуктивные логики |
| Исчисление предикатов первого порядка |
| Модальные и интенсиональные логики |
| Теория типов |