Towards Partial Order Reductions for Strategic Ability.

Wojciech Jamroga Wojciech Penczek Piotr Dembinski Antoni W. Mazurkiewicz

Published in: AAMAS (2018)

Keyphrases

partial order
partially ordered
total order
stable marriage
set theory
lattice structure
partial ordering
conceptual graphs
data sets
sequential patterns
totally ordered
knowledge management
causal links
vertex cover
temporal planning
maximum weight
special case
high dimensional
case study
decision making