Automated and efficient energy management has many potential benefits for producers and consumers of energy, and the environment. Focusing on energy management on the consumer side, this paper considers two forms of energy management: minimizing energy usage in single households and avoiding peaks in energy consumption in a larger area. A combination of context aware and autonomic computing is ...

This paper presents a simple method that reduces the problem of detecting conflictfree assumption-based knowledge bases to the problem of testing satisfiability.

Statement of interest We consider the epistemic concept language proposed in 5], which has been used to formalize procedural rules and weak deenitions using a very restricted form of epis-temic sentences. Our statement is that there are a number of other uses of the epistemic operator that require diierent forms of epistemic sentences in the knowledge base. To justify this statement we brieey r...

Systematical event trace analysis requires both detailed knowledge about the event trace analysis environment used and detailed knowledge about the object system itself. This article presents three important knowledge bases which, when contained in event trace analysis environments, facilitate achieving useful performance results of the system under investigation. ParaGraph — a dedicated event ...

Inconsistent knowledge bases usually are regarded as an epistemic hell that have to be avoided at all costs. However, many times it is di cult or impossible to stay away of managing inconsistent knowledge bases. In this paper, we introduce an argumentation-based approach in order to manage inconsistent possibilistic knowledge bases. This approach will be exible enough for managing inconsistent ...

An often used methodology for reasoning with probabilistic conditional knowledge bases is provided by the principle of maximum entropy (so-called MaxEnt principle) that realises an idea of informational economy. In this paper we exploit the fact that MaxEnt distributions can be computed by solving nonlinear equation systems that reflect the conditional logical structure of these distributions. ...

Traditionally, the core of a Terminological Knowledge Representation System (TKRS) consists of a TBox or terminology, where concepts are introduced, and an ABox or world description, where facts about individuals are stated in terms of concept memberships. This design has a drawback because in most applications the TBox has to meet two functions at a time: On the one hand|similarly to a databas...