We present a new semantics for Description Logic programs [1] (dlprograms) that combine reasoning about ontologies in description logics with non-monotonic rules interpreted under answer set semantics. Our semantics is equivalent to that of [1], but is more logical in style, being based on the logic QHT of quantified here-and-there that provides a foundation for ordinary logic programs under an...

In the original one-to-one teleportation protocol of Bennett et al. [1], an observer Alice transmits the information of a d-level system to another observer Bob with perfect ˇdelity, by using a maximally entangled state. We introduce a generalization called the many-to-many teleportation, where the information is sent from N observers to M receivers situated at different locations. One of the m...

Continuous-variable (CV) entanglement frequency comb can be produced by enhanced Raman scattering in an above-threshold optical oscillator cavity in which a hexagonally-poled LiTaO3 crystal resides as a Raman gain medium. The Stokes and anti-Stokes Raman signals are enhanced by a coupled quasi-phase-matching optical parametric process and the entanglement natures among these Raman signals and p...

This paper provides a reflective overview of the eight papers collected in this special issue of Educational, Technology and Society that is based on ICALT-2003. We provide a very brief description of the conference and then discuss the eight papers in the context of a focus on learning and a focus on systems. In the conclusion, we offer our thoughts on the notion of borderless research and dev...

1 Fa ulty of Mathemati s, Informati s, and Me hani s Warsaw University, Poland E-mail address: {shummel,henrykm,niwinski} mimuw.edu.pl Abstra t. The game tree languages an be viewed as an automata-theoreti ounterpart of parity games on graphs. They witness the stri tness of the index hierar hy of alternating tree automata, as well as the xed-point hierar hy over binary trees. We onsider a game ...

We derive entropic inseparability criteria for the phase space representation of quantum states. In contrast to involving differential entropies marginal distributions, our are based on a joint distribution known as Husimi Q-distribution. This is experimentally accessible in cold atoms, circuit QED architectures and photonic systems bears practical advantages compared detection marginals. exemp...

our problem in this article is ibn miskawayh’s analysis of the nature of happiness, and its methodology is descriptive- analytic. ibn miskawayh considers happiness as “good” and “perfection” with respect to their holders; so, he establishes some inseparability between happiness, and good and perfection. ibn miskawayh has two definitions for the concept of good. he divides this conception into s...

We settle an open question on the complexity of the following problem: given two OWL 2 QL TBoxes and a signature, decide whether these TBoxes return the same answers to any conjunctive query over any data formulated in the given signature. It has been known that the complexity of this problem is between PSpace and ExpTime. Here we show that the problem is ExpTime-complete and, in fact, deciding...