Editorial Board
Multi-agent human–machine dialogue: issues in dialogue management and referring expression semantics
State-set branching: Leveraging BDDs for heuristic search
MEBN: A language for first-order Bayesian knowledge bases
Phase transition in a random NK landscape model
A logical approach to efficient Max-SAT solving
Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence
Redundancy in logic II: 2CNF and Horn propositional formulae
Automatic scoring of short handwritten essays in reading comprehension tests
Graphically structured value-function compilation