0004-3702

Artificial Intelligence (AI) - Volume 224 论文列表

本期论文列表
Editorial Board

An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty

Efficient nonconvex sparse group feature selection via continuous and discrete optimization

Grounded fixpoints and their applications in knowledge representation

Ordered completion for logic programs with aggregates

Computer-aided proof of Erdős discrepancy properties