๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Negation as failure: Careful closure procedure

โœ Scribed by Michael Gelfond; Halina Przymusinska

Publisher
Elsevier Science
Year
1986
Tongue
English
Weight
693 KB
Volume
30
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

On the relationship between circumscript
On the relationship between circumscription and negation as failure
โœ Michael Gelfond; Halina Przymusinska; Teodor Przymusinski ๐Ÿ“‚ Article ๐Ÿ“… 1989 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 940 KB

The aim of this paper is to investigate two powerful methods of handling negative information in logic-based knowledge representation systems: the logical minimization in the form of circumscription and the negation as failure rule, formalized by various closures (or completions) of original theorie

Esophageal staple transection as a salva
Esophageal staple transection as a salvage procedure after failure of acute injection sclerotherapy
โœ Dr. P. Aiden McCormick; Graham L. Kaye; Lynda Greenslade; Fabrizio Cardin; Kenne ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 513 KB

It is not clear which therapy should be used in patients with bleeding esophageal varices that are not controlled by emergency sclerotherapy. This is a high-risk group with reported mortality rates of between 70% and 90%. We report our 7-yr experience with staple transection of the esophagus in this