Input/Output Logic Via Neighborhood Semantics. | AMiner