Abstract. The Auslander-Reiten quiver of a finite-dimensional associative algebra A encodes information about the indecomposable finite-dimensional representations of A and their h...
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of th...
Abstract. We present a novel approach to fully automated reconstruction of tree structures in noisy 2D images. Unlike in earlier approaches, we explicitly handle crossovers and bif...
Abstract: This paper describes our work on designing and implementing a component for automatically integrating and updating information about configuration items into a Semantic W...