𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The logic of ‘being informed’ revisited and revised

✍ Scribed by Patrick Allo

Publisher
Springer Netherlands
Year
2010
Tongue
English
Weight
345 KB
Volume
153
Category
Article
ISSN
0031-8116

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The complexity of revising logic program
The complexity of revising logic programs
✍ Russell Greiner 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 237 KB

A rule-based program will return a set of answers to each query. An impure program, which includes the Prolog ut ``!'' and ``not@ÁA'' operators, can return dierent answers if its rules are re-ordered. There are also many reasoning systems that return only the ®rst answer found for each query; these