نتایج جستجو برای: reiter property
تعداد نتایج: 159815 فیلتر نتایج به سال:
Composite Games with Moves in All Components Compulsory, Part I Arthur Holshouser 3600 Bullard St., Charlotte, NC 28208, USA Harold Reiter Department of Mathematics, University of North Carolina Charlotte, Charlotte, NC 28223, USA [email protected]
In a seminal paper, Lin and Reiter introduced the progression of basic action theories in the situation calculus. In this paper, we study the progression of knowledge in multiagent settings, where after actions, an agent updates her beliefs but also updates what she believes other agents know given what has occurred. By appealing to the notion of only knowing, we are able to avoid limitations o...
The paper shows that some frequently used measures of the degree of public ness of publicly provided goods and club goods are seriously a ected by metrization problems The paper proposes measures that do not depend on arbitrary metriza tion conventions and discusses the relationship of these measures to the question of private provision and optimal club size Addresses of the authors send corres...
In a recent paper, Etherington & Reiter formalized a simple version of semantic networks with exceptions in terms of Reiter's Default Logic. With this approach they were able to formally characterize the correctness of an inference algorithm in terms of Default Logic, and exhibited an algorithm that was correct in this sense. Finally, they concluded that massively parallel architectures for sem...
August von Wassermann was born in Bavaria just over a century ago, and perhaps it is therefore fitting to report a small group of patients in which serious diagnostic difficulties were resolved with the aid of the complement-fixation test now named after him. We also report these cases in order to draw attention to the fact that neurosyphilis, though uncommon, is not nowadays as rare as some wo...
hydroxide administration followed by surgical excision. J Korean Med Sci. 1999;14:589--92. 4. Reiter N, El-Shabrawi L, Leinweber B, Berghold A, Aberer E. Calcinosis cutis: Part I. Diagnostic pathway. J Am Acad Dermatol. 2011;65:1--12. 5. Lekich C, Parsi K. Heterotopic ossification of small saphenous vein and panniculitis ossificans of chronic venous insufficiency presenting with livedo racemosa...
Möricke, A; Reiter, A; Zimmermann, M; Gadner, H; Stanulla, M; Dördelmann, N; Löning, L; Beier, R; Ludwig, W D; Ratei, R; Harbott, J; Boos, H; Mann, G; Niggli, F; Feldges, A; Henze, G; Welte, K; Beck, J D; Klingebiel, T; Niemeyer, C; Zintl, F; Bode, U; Urban, C; Wehinger, H; Niethammer, D; Riehm, H; Schrappe, M Möricke, A; Reiter, A; Zimmermann, M; Gadner, H; Stanulla, M; Dördelmann, N; Löning, ...
In this paper we study constructions leading to the formation of belief sets by agents. We focus on the situation when possible belief sets are built incrementally in stages. We call an innnite sequence of theories that represents such a process a reasoning trace. A set of reasoning traces describing all possible reasoning scenarios for the agent is called a reasoning frame. Default logic by Re...
A chemically defined medium was described in a previous paper (1) which, when supplemented with crystallized serum albumin, permitted sustained growth of the Reiter treponeme. When an attempt was made to cultivate other saprophytic strains of Treponema pallidurn on this medium, a number failed to grow. One of these strains, S-69,’ could be cultivated if the synthetic medium were supplemented wi...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید