This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider graph-theoretic representations for propositional ...

Abstract. Artificial Intelligence applications in large-scale industry, such as thermal power plants, require the ability to manage uncertainty because current applications are large, complex and influenced by unexpected ...

In real-world applications, knowledge bases consisting of all the available information for a specific domain, along with the current state of affairs, will typically contain contradictory data, coming from different ...

We study a probabilistic variant of binary session types that relate to a class of Finite-State Markov Chains. The probability annotations in session types enable the reasoning on the probability that a session terminates ...

Many real-world knowledge-based systems must deal with information coming from different sources that invariably leads to incompleteness, overspecification, or inherently uncertain content. The presence of these varying ...

Driven by the interest of reasoning about probabilistic programming languages, we set out to study a notion of uniqueness of normal forms for them. To provide a tractable proof method for it, we define a property of ...

Typically, the spatial features of a robot's environment are specified using metric coordinates, and well-known mobile robot localisation techniques are used to track the exact robot position. In this paper, a qualitativ ...