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