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