libraries particular contains revision languages argumentation deal action logics working intelligence systems belief such optimization formalisms agent aggregation that classical representation multi doing conditional areas furthermore approaches artificial different series knowledge agents dealing collection well complement various implement dialog probabilistic with mathematical layer provides interface research general reasoning utility preference tweety java