Library

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    International archives of occupational and environmental health 63 (1992), S. 461-468 
    ISSN: 1432-1246
    Keywords: Alcohol intolerance ; Dimethylformamide ; Hematology ; Liver function ; Serum biochemistry ; Subjective symptoms
    Source: Springer Online Journal Archives 1860-2000
    Topics: Medicine
    Notes: Summary A factory survey was conducted in a plant whereN,N-dimethylformamide (DMF) was in use during the production of polyurethan plastics and related materials. In all, 318 DMF-exposed workers (195 men and 123 women) and 143 non-exposed controls (67 men and 76 women) were examined for time-weighted average exposure (to DMF and other solvents by diffusive sampling), hematology, serum biochemistry, subjective symptoms, and clinical signs. Most of the exposed workers were exposed only to DMF, whereas others were exposed to a combination of DMF and toluene. DMF exposure in the former group was up to 7.0 ppm (geometric mean on a workshop basis), whereas it was up to 2.1 ppm in combination with 4.2 ppm toluene. Both hematology and serum biochemistry, results (including aspartate and alanine aminotransferases, γ-glutamyl transpeptidase and amylase) were essentially comparable among the 3 groups. There was, however, a dose-dependent increase in subjective symptoms, especially during work, and in digestive system-related symptoms such as nausea and abdominal pain in the past 3-month period. The prevalence rate of alcohol intolerance complaints among male (assumedly) social drinkers was also elevated in relation to DMF dose.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 13 (1994), S. 69-82 
    ISSN: 1573-0670
    Keywords: nonmonotonic reasoning ; autoepistemic logic ; default logic and logic programming ; knowledge representation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We study the expressive power of first-order autoepistemic logic. We argue that full introspection of rational agents should be carried out by minimizing positive introspection and maximizing negative introspection. Based on full introspection, we propose the maximal well-founded semantics that characterizes autoepistemic reasoning processes of rational agents, and show that breadth of the semantics covers all theories in autoepistemic logic of first order, Moore's AE logic, and Reiter's default logic. Our study demonstrates that the autoepistemic logic of first order is a very powerful framework for nonmonotonic reasoning, logic programming, deductive databases, and knowledge representation.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 10 (1993), S. 143-160 
    ISSN: 1573-0670
    Keywords: Autoepistemic logic ; circumscription ; semantics of logic programming ; nonmonotonic reasoning
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We propose a framework of autoepistemic reasoning in which the underlying semantics is determined by the choice of a nonmonotonic inference mechanism and by specifying abelief constraint. While the latter makes the approach flexible in meeting possibly different applications, the former links the resulting semantics to a nonmonotonic reasoning formalism and thus allows adoption of existing techniques. In this paper we choosecircumscription as the underlying inference mechanism and use two different belief constraints to define two semantics,the stable circumscriptive semantics andthe well-founded circumscriptive semantics, for autoepistemic theories. The former coincides with Moore's autoepistemic logic for logic programs and is arguably more desirable in handling disjunctive autoepistemic theories. The latter is a reconstruction and extension of Przymusinski's iterative method for computing the leastAEL(circ) expansions for logic programs. We show that for logic programs the two construction methods coincide. However, while Przymusinski's construction method is restricted to logic programs only, the well-founded circumscriptive semantics is applicable to more general autoepistemic theories.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...