𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Semantic and signific aspects of modern theories of communication

✍ Scribed by G. Mannoury; D. Vuysje

Publisher
Springer Netherlands
Year
1955
Tongue
English
Weight
606 KB
Volume
9
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Semantical and computational aspects of
Semantical and computational aspects of Horn approximations
✍ Marco Cadoli; Francesco Scarcello πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 152 KB

Selman and Kautz proposed a method, called Horn approximation, for speeding up inference in propositional Knowledge Bases. Their technique is based on the compilation of a propositional formula into a pair of Horn formulae: a Horn Greatest Lower Bound (GLB) and a Horn Least Upper Bound (LUB). In thi