ICAPS 2010                    ! ∀ #   ∃ %&∋