نتایج جستجو برای: reiter property

تعداد نتایج: 159815  

Journal: :Ciencia latina 2023

El presente trabajo de investigación titulado Artritis reactiva por vacuna contra covid-19: revisión caso, realiza una del caso un adolescente 13 años sin antecedentes patológicos relevantes que presenta molestias e inflamación en la articulación coxofemoral izquierda, tobillo, resequedad ocular y disuria 4 semanas evolución respuesta al ibuprofeno. Ha recibido dosis completa vacunación el COVI...

Journal: :CoRR 2016
Nikhilesh Bhatnagar Radhika Mamidi

Natural Language Generation systems typically have two parts ­ strategic (" what to say ") and tactical (" how to say "). We present our experiments in building an unsupervised corpus­driven template based tactical NLG system. We consider templates as a sequence of words containing gaps. Our idea is based on the observation that templates are grammatical locally (within their textual span). We ...

1993
Thomas Eiter Georg Gottlob Yuri Gurevich

We introduce curbing, a new nonmonotonic technique of commonsense reasoning that is based on model mi-nimality but unlike circumscription treats disjunction inclusively. A finitely axiomatized first-order theory T is transformed to a formula Curb(T) whose set of models is defined as the smallest collection of models which contains all minimal models of T and which is closed under formation of m...

Journal: :The Journal of Experimental Medicine 1940
Harry Eagle Ralph B. Hogan

1. In confirmation of Gaehtgens, syphilitic human sera give positive complement fixation with cultures of so called T. pallidum (Reiter strain). Syphilitic rabbit sera are equally reactive. Syphilitic human and rabbit sera agglutinate these cultures, often in high titre (Beck). 2. Normal rabbit sera react weakly with the culture to give both agglutination and complement fixation in low titre. N...

2009
Boris Aljancic Niki Aljancic Michael Clasen Susanne Stricker

Web-Communities wie Xing, StudiVZ, Facebook oder MySpace sind die erfolgreichsten Vertreter von Web 2.0-Anwendungen. Gerade die junge Generation (Generation 2.0) verwendet Web-Communities nicht nur zur Selbstdarstellung, sondern auch zur Kommunikation. Dieser Beitrag stellt EKWUS – die Community für Pferdefreunde vor, die mit Hilfe der innovativen Plattform von Community Labs realisiert wurde. ...

2008
Thomas Linke Torsten Schaub

We introduce new concepts for default reasoning in the context of query-answering in regular default logic. For this purpose, we develop a proof-oriented approach for deciding whether a default theory has an extension containing a given query. The inherent problem in Reiter’s default logic is that it necessitates the inspection of all default rules for answering no matter what query. Also, defa...

2013
Pierre-Luc Vaudry Guy Lapalme

This paper describes SimpleNLG-EnFr, an adaption of the English realisation engine SimpleNLG (Gatt and Reiter, 2009) for bilingual English-French realisation. Grammatical similarities between English and French that could be exploited and specifics of French that needed adaptation are discussed.

Journal: :Artif. Intell. 1989
Russell Greiner Barbara A. Smith Ralph W. Wilkerson

Reiter [3] has developed a general theory of diagnosis based on first principles. His algorithm computes all diagnoses which explain the differences between the predicted and observed behavior of a given system. Unfortunately, Reiter's description of the algorithm is incorrect in that some diagnoses can be missed under certain conditions. This note presents a revised algorithm and a proof of it...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید