A Slice-Based Decision Procedure for Type-Based Partial Orders.

Elena Sherman Brady J. Garvin Matthew B. Dwyer

Published in: IJCAR (2010)

Keyphrases

partial order
partially ordered
total order
stable marriage
decision making
decision rules
lattice structure
partial ordering
sequential patterns
decision process
totally ordered
learning algorithm
dominance relation
vertex cover