The representation of dynamic systems is also an important topic in the domain of Artificial Intelligence. There, the focus has been more on the ease and compactness of representation than on computational issues, and more expressive languages such as Situation calculus and Event calculus have been proposed in which various types of dynamic systems including distributed systems can be represented in a compact and natural way.
The goal of this thesis is to compare these different specification languages. The comparison is to be performed at the representational and the computational level. The work of the thesis will include different tasks such as: study of the formalisms, comparison of the specification in the context of some example domains, study of the translation of one formalism to another, investigation of how exponential blow ups in one formalism can be avoided in the other, and computational experiments with different verification tools of the different systems.