0020-0255

Information Sciences (ISCI) - Volume 116, Issue 1 论文列表

本期论文列表
Logical methods for computational intelligence

Presenting inequations in mathematical proofs

Integrating induction and abduction in logic programming

Proving quantified literals in defeasible logic

The PAC-learnability of planning algorithms: Investigating simple planning domains