𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Circumscripte cutis anserina

✍ Scribed by Felix Pinkus

Book ID
105420586
Publisher
Springer-Verlag
Year
1906
Tongue
English
Weight
529 KB
Volume
81
Category
Article
ISSN
0340-3696

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Circumscripte Skelerodermie
Circumscripte Skelerodermie
✍ Chr. Eberhartinger πŸ“‚ Article πŸ“… 1957 πŸ› Springer-Verlag 🌐 English βš– 76 KB
Circumscripte Labyrinth-Nekrose
Circumscripte Labyrinth-Nekrose
✍ W. Zemann πŸ“‚ Article πŸ“… 1907 πŸ› Springer-Verlag 🌐 English βš– 341 KB
Computing protected circumscription
Computing protected circumscription
✍ Jack Minker; Donald Perlis πŸ“‚ Article πŸ“… 1985 πŸ› Elsevier Science 🌐 English βš– 863 KB

This paper deals with computing circumscription in the case of Horn data with additional protection (indefinite data), an intermediate investigation between Reiter's result on predicate completion and Lifschitz's efforts to make general (formula) circumscription more efficient as a computational too

Circumscription: Completeness reviewed
Circumscription: Completeness reviewed
✍ Manfred Jaeger πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science 🌐 English βš– 433 KB

In this paper we demonstrate that some results on the completeness of P-defining theories published earlier are incorrect. We point out that by restricting the original propositions to well-founded theories results somewhat weaker than the original ones can be retained. We also present a theorem tha