Most theoretical definitions about the complexity of manipulating elections focus on the decision problem of recognizing which instances can be successfully manipulated, rather than the search problem of finding the successful manipulative actions. Since the latter is a far more natural goal for manipulators, that definitional focus may be misguided if these two complexities can differ. Our mai...

We propose improving the language of dispute resolution (whether online, ODR, or alternative, ADR) by importing a new representation that was designed for use in hybrid analyses that combine decision, risk, and constructive argument. This representation was designed to push back against short horizons and narrow focus, by making the proposed plan, or trajectory, diachronically explicit, dynamic...

Classical planning representations such as PDDL are primarily designed for goal-oriented problem solving, but some tasks such as creative composition lack a well defined goal. Structured performing arts, despite lacking a specific goal for their composition tasks, can be sufficiently expressed as goal-oriented problems for their performance tasks. Using contradance as an example performing art,...

The varieties RA of relation algebras and DA of dynamic algebras are similar with regard to definitional capacity, admitting essentially the same equational definitions of converse and star. They differ with regard to completeness and decidability. The RA definitions that are incomplete with respect to representable relation algebras, when expressed in their DA form are complete with respect to...