0004-3702

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

本期论文列表
Editorial Board

A formalization of programs in first-order logic with a discrete linear order

MaxSAT by improved instance-specific algorithm configuration

Strategyproof matching with regional minimum and maximum quotas

The multifaceted impact of Ada Lovelace in the digital age

Belief and truth in hypothesised behaviours

Tractable approximate deduction for OWL

e-NSP: Efficient negative sequential pattern mining