RÉSUMÉ. Les modèles ici-et-là-bas et les modèles d’équilibre ont été étudiés comme cadre sémantique pour la programmation par ensembles réponses par Pearce, Cabalar, Lifschitz, Ferraris et d’autres. La sémantique de la logique de l’équilibre est indirecte dans le sens que la notion de satisfiabilité est définie en termes de satisfiabilité dans la logique ici-et-là-bas. Nous donnons ici une séma...

Gringo MARTIN GEBSER∗ Aalto University, HIIT, Finland University of Potsdam, Germany [email protected] AMELIA HARRISON† Univeristy of Texas at Austin, USA [email protected] ROLAND KAMINSKI∗ University of Potsdam, Germany [email protected] VLADIMIR LIFSCHITZ† Univeristy of Texas at Austin, USA [email protected] TORSTEN SCHAUB∗‡ University of Potsdam, Germany INRIA Rennes, Fran...

1. Dima Arnold in my life, by Dmitry Fuchs Unfortunately, I have never been Arnold’s student, although as a mathematician, I owe him a lot. He was just two years older than I, and according to the University records, the time distance between us was still less: when I was admitted to the Moscow State University as a freshman, he was a sophomore. We knew each other, but did not communicate much....

Lifschitz and Turner introduced the notion of the splitting set and provided a method to divide a logic program into two parts. They showed that the task of computing the answer sets of the program can be converted into the tasks of computing the answer sets of these parts. However, the empty set and the set of all atoms are the only two splitting sets for many programs, then these programs can...

Lycaeides idas (Linnaeus) and L. melissa (W. H. Edwards) (Lepidoptera: Lycaenidae) are broadly sympatric in several regions of North America (Fig. 1) and are morphologically distinguishable by qualitative wing pattern differences (Tilden & Smith, 1986), quantitative differences in male genital morphology (Nabokov, 1949; Lane & Weller, 1994) and by ecological differences in habitat speci®city an...

We provide a logical representation of Pearl’s structural causal models in the framework of the causal calculus of McCain and Turner (1997) and its first-order generalization by Lifschitz. It will be shown that, under this representation, the nonmonotonic semantics of the causal calculus describes precisely the solutions of the structural equations (the causal worlds of a causal model), while t...