This is an expository article about the solution to the frame problem proposed in 1980 by Raymond Reiter. For years, his “frame default” remained untested and suspect. But developments in some seemingly unrelated areas of computer science—logic programming and satisfiability solvers—eventually exonerated the frame default and turned it into a basis for important applications.

The aetiology is still in doubt. Reiter in his original case isolated a spirochaete, which he termed S. forans, from the blood stream, and named the disease spirochaetosis arthritica. Subsequent workers have failed to confirm this finding. A diversity of organisms, staphylococci, enterococci, diphtheroids, B. coli, etc., have been isolated by various observers from the urethral discharge. But w...

In this paper we study the Reiter P2 – condition for commutativ hypergroups and give necessary and sufficient conditions for x ∈ supp π, where π is the Plancherel measure. Finally we apply the general results to characterize supp π in the case of polynomial hypergroups. AMS Subject Classification (1991):43A62, 42C05, 43A07

BIOCHEMICAL, STRUCTURAL, AND DRUG DESIGN STUDIES OF MULTI-DRUGRESISTANT HIV-1 THERAPEUTIC TARGETS TAMARIA GRACE DEWDNEYDecember 2013Advisor: Dr. Ladislau C. KovariMajor: Biochemistry and Molecular BiologyDegree: Doctor of PhilosophyProtein point mutations acquired as a mechanism of survival against therapeutics cause structural changes that effect protein function an...

A common feature of recent unificationbased grammar formalisms is that they give the user the ability to define his own structures. However, this possibility is mostly limited and does not include nonmonotonic operations. In this paper we show how nonmonotonic operations can also be user-defined by applying default logic (Reiter, 1980) and generalizing previous results on nonmonotonic sorts (Yo...

Die Entwicklung und Vermarktung einer gut besuchten WebCommunity wie Xing, StudiVZ oder Facebook ist aufgrund hoher Pfadabhängigkeiten nicht einfach und die Wahrscheinlichkeit zu scheitern ist hoch. Der Beitrag beschreibt die Entwicklung, die Werbemaßnahmen, das Geschäftsmodell und den Betrieb der unabhängigen Reitercommunity www.ekwus.de.

http://www.the-aps.org/. Copyright © 1991 by International Union of Physiological Sciences. ESSN: 1548-9221. Visit our website at December by the American Physiological Society, 9650 Rockville Pike, Bethesda MD 20814-3991. physiological developments. It is published bimonthly in February, April, June, August, October, and (formerly published as News in Physiological Science) publishes brief rev...

Four strains of oral treponemes and Treponema phagedenis Reiter synthesize and secrete phospholipase C (PLC), which was detected by the hydrolysis of p-nitrophenylphosphorylcholine. PLC was detected in gingival crevicular fluid from diseased but not from healthy sulci. The initiation and progression of periodontal lesions may begin with the hydrolysis of membrane phospholipids by PLC.

Rabbit antisera to Leptospira interrogans, Borrelia hermsii, and Treponema phagedenis biotype Reiter, reactive to shared spirochetal antigens, failed to enhance phagocytosis of Treponema pallidum by macrophages, while immunoglobulin G to Treponema pallidum subsp. pertenue and Treponema paraluiscuniculi promoted phagocytosis. Opsonic antibodies are directed to pathogen-restricted, not shared spi...

We extend the theory about terminological default reasoning using a logical base language that can be used to represent spatioterminological phenomena. Based on the description logic ALCRP(S2) the paper discusses how to implement an algorithm for computing extensions of a world description consisting of ALCRP(S2) assertions and a set of closed ALCRP(S2) Reiter-style default rules.