𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Logic with Relative Knowledge Operators

✍ Scribed by Stéphane Demri


Book ID
110260453
Publisher
Springer Netherlands
Year
1999
Tongue
English
Weight
144 KB
Volume
8
Category
Article
ISSN
0925-8531

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


A Logic of Knowledge
✍ W. Richard Stark 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 265 KB

A LOGIC OF KNOWLEDGE by W. RICHARD STARK,

Learning logic programs with structured
✍ Tamás Horváth; György Turán 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 726 KB

The efficient learnability of restricted classes of logic programs is studied in the PAC framework of computational learning theory. We develop the product homomorphism method, which gives polynomial PAC learning algorithms for a nonrecursive Horn clause with function-free ground background knowledg