We present KLMLean 2.0, a theorem prover for propositional KLM logics of nonmonotonic reasoning. KLMLean 2.0 implements some analytic tableaux calculi for these logics recently introduced. KLMLean 2.0 is inspired by the “lean” methodology, it is implemented in SICStus Prolog and it also contains a graphical interface written in Java.

In this thesis a model is formulated for Eu-rich EuO. It consists in an extension of the Kondo lattice model (KLM). For the KLM only a few exact statements exist. To those we add a new one, namely the exact mapping of the periodic Anderson model on the antiferromagnetic KLM for arbitrary coupling constant J . Pure EuO is a ferromagnetic semiconductor. Eu-rich EuO exhibits a huge metal–insulator...

Airlines operate in an uncertain environment for many reasons, for example due to the effects of weather, traffic or crew unavailability (due to delay or sickness). This work focuses on airline reserve crew scheduling under crew absence and journey time uncertainty for an airline operating a single hub and spoke network. Reserve crew can be used to cover absent crew or delayed connecting crew. ...

The paper investigates the properties of a fuzzy logic typicality. extension with typicality operator was proposed in recent work to define multipreference semantics for Multilayer Perceptrons, by regarding deep neural network as conditional knowledge base. In this paper, we study its properties. First, monotonic \(\mathcal {ALC}\) is considered (called {ALC}^{\mathbf{F}}\mathbf{T}\)) and refor...

The environment in which airlines operate is uncertain for many reasons, for example due to the effects of weather, traffic or crew unavailability (due to delay or sickness). This work focuses on airline reserve crew scheduling under crew absence uncertainty and delay for an airline operating a single hub and spoke network. Reserve crew can be used to cover absent crew or delayed connecting cre...

Abstract Designing efficient acoustic stack and elements for high-frequency (HF) medical ultrasound (US) transducers involves various interrelated parameters. So far, optimizing spatial resolution field intensity simultaneously has been a daunting task in the area of HF US imaging. Here, we introduce optimized design 50-MHz probe skin tissue We have developed an simulation approach using Krimho...

This article examines the development of strategic alliances in airline industry through participation Koninklijke Luchtvaart Maatschappij (hereafter KLM) a joint venture with Kenya Airways KQ). Based on literature knowledge transfer international business and organization studies, study focuses evolution cooperation between both partners over time, from capital seeking to marketing, legitimacy...

We have studied the dielectronic recombination process in He-like Fe ions and have obtained the resonant strengths of the KLn (3 n 5) resonances. This measurement was performed with the use of an electron beam ion trap by measuring the x-ray energy emitted from highly charged ions simultaneously with the electron beam energy scanned during the measurement. The total resonant strengths obtained ...