Automated deduction in multiple-valued logics
Automated deduction in multiple-valued logics
Handbook of logic in artificial intelligence and logic programming (vol. 3)
The uncertain reasoner's companion: a mathematical perspective
The uncertain reasoner's companion: a mathematical perspective
Interpretation of chance discovery in temporal logic, admissible inference rules
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part III
International Journal of Intelligent Information Technologies
| Hi-index | 0.00 |