𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Compositional and holistic quantum computational semantics

✍ Scribed by Maria Luisa Dalla Chiara; Roberto Giuntini; Roberto Leporini


Publisher
Springer Netherlands
Year
2006
Tongue
English
Weight
367 KB
Volume
6
Category
Article
ISSN
1567-7818

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Semantical and computational aspects of
✍ 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