𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On word problems in horn theories

✍ Scribed by Emmanuel Kounalis; Michael Rusinowitch

Publisher
Elsevier Science
Year
1991
Tongue
English
Weight
734 KB
Volume
11
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

✦ Synopsis

We interpret Horn clauses as conditional rewrite rules. Then we give sufficient conditions so that the word problem can be decided by conditional normalization in some Horn theories. We also show how to prove theorems in the initial models of Horn theories.

πŸ“œ SIMILAR VOLUMES

On Horn theories
On Horn theories
✍ JΓΆrg Flum πŸ“‚ Article πŸ“… 1974 πŸ› Springer-Verlag 🌐 French βš– 311 KB
On the Difference of Horn Theories
On the Difference of Horn Theories
✍ Thomas Eiter; Toshihide Ibaraki; Kazuhisa Makino πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 248 KB

In this paper, we consider computing the difference between two Horn theories. This problem may arise, for example, if we take care of a theory change in a knowledge base. In general, the difference of Horn theories is not Horn. Therefore, we consider Horn approximations of the difference in terms o

Functional dependencies in Horn theories
Functional dependencies in Horn theories
✍ Toshihide Ibaraki; Alexander Kogan; Kazuhisa Makino πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 234 KB