In multi-agent systems, an agent generally forms her belief based on information from multiple sources, such as messages from other agents or perception of the external environment. While modal epistemic logic has been a standard formalism for reasoning about agent’s belief, it lacks the expressive power for tracking information sources. Justification logic (JL) provides the missing expressivit...

Using only a simple transition relation one cannot model commands that may or may not terminate in a given state. In a more general approach commands are relations enriched with termination vectors. We reconstruct this model in modal Kleene algebra. This links the recursive definition of the do od loop with a combination of the Kleene star and a convergence operator. Moreover, the standard wp o...

We have extended the C# compiler available under Microsoft’s Shared Source Common Language Infrastructure (SSCLI) to facilitate Aspect Oriented Programming. The resulting compiler targets Microsoft .NET architecture. Our implementation introduces new ideas into the aspect language and the aspect-weaving mechanism. Our AOP extensions emulate AspectJ programming model and augment it with construc...

We present two models of hierarchical structured multi-agents, and we describe how to obtain a modal knowledge base from distributed sources. We then propose a computationally oriented revision procedure for modal knowledge bases. This procedure is based on a labelled tableaux calculi supplemented with a formalism to record the dependencies of the formulae. The dependencies are then used to rec...

We propose a pre-processing stage for Statistical Machine Translation (SMT) systems where the words of the source sentence are re-ordered as per the syntax of the target language prior to the alignment process, so that the alignment found by the statistical system is improved. We take a dependency parse of the source sentence and linearize it as per the syntax of the target language, before it ...

The paper deals with the problem of reasoning about partially ordered events in Kowalski and Sergot's Event Calculus (EC). We home in on EC between its skeptical (SKEC) and credulous (CREC) variants. When only partial knowledge about event ordering is given SKEC and CREC compute the set of maximal validity intervals (MVIs) over which the considered properties are necessarily and possibly true, ...

A nonlinear interaction model is used to study sources of sound in jets. The model uses quadratic interactions of instability modes, which are obtained by solving the linear parabolized stability equations. Source terms involving nonlinear interactions are evaluated and a linear wave equation is solved with direct injection of the source terms. Thus the complete method solves only linear partia...

In this paper the Recursive Path Ordering is adapted for proving termination of rewriting incrementally. The new ordering, called Recursive Path Ordering with Modules, has as ingredients not only a precedence but also an underlying ordering =B. It can be used for incremental (innermost) termination proofs of hierarchical unions by defining =B as an extension of the termination proof obtained fo...