𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Horn theories

✍ Scribed by Jörg Flum

Publisher
Springer-Verlag
Year
1974
Tongue
French
Weight
311 KB
Volume
138
Category
Article
ISSN
0025-5874

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

On word problems in horn theories
On word problems in horn theories
✍ Emmanuel Kounalis; Michael Rusinowitch 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 734 KB

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.

Computing intersections of Horn theories
Computing intersections of Horn theories for reasoning with models
✍ Thomas Eiter; Toshihide Ibaraki; Kazuhisa Makino 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 362 KB

Model-based reasoning has been proposed as an alternative form of representing and accessing logical knowledge bases. In this approach, a knowledge base is represented by a set of characteristic models. In this paper, we consider computational issues when combining logical knowledge bases, which are