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