01728nas a2200157 4500008004100000245007700041210006900118260002000187300001200207520124500219100001401464700002501478700001401503700002001517856003301537 2005 eng d00aThe Well-Supported Semantics for Multidimensional Dynamic Logic Programs0 aWellSupported Semantics for Multidimensional Dynamic Logic Progr aDiamante, Italy a356-3683 aMultidimensional dynamic logic programs are a paradigm which allows to express (partially) hierarchically ordered evolving knowledge bases through (partially) ordered multi sets of logic programs and allowing to solve contradictions among rules in different programs by allowing rules in more important programs to reject rules in less important ones. This class of programs extends the class of dynamic logic program that provides meaning and semantics to sequences of logic programs. Recently a semantics named refined stable model semantics has fixed some counterintuitive behaviour of previously existing semantics for dynamic logic programs. However, it is not possible to directly extend the definitions and concepts of the refined semantics to the multidimensional case and hence more sophisticated principles and techniques are in order. In this paper we face the problem of defining a proper semantics for multidimensional dynamic logic programs by extending the idea of well supported model to this class of programs and by showing that this concept alone is enough for univocally characterizing a proper semantics. We then show how the newly defined semantics coincides with the refined one when applied to sequences of programs.1 aBanti, F.1 aAlferes, Jose, Julio1 aBrogi, A.1 aHitzler, Pascal uhttp://knoesis.org/node/1198