𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Fixpoint strategies for deductive databases

✍ Scribed by Irène Guessarian

Publisher
Elsevier Science
Year
1989
Tongue
English
Weight
422 KB
Volume
24
Category
Article
ISSN
0166-218X

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A study of relevance for learning in ded
A study of relevance for learning in deductive databases
✍ Nada Lavrač; Dragan Gamberger; Viktor Jovanoski 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 288 KB

This paper is a study of the problem of relevance in inductive concept learning. It gives definitions of irrelevant literals and irrelevant examples and presents ecient algorithms that enable their elimination. The proposed approach is directly applicable in propositional learning and in relation le

A relevance restriction strategy for aut
A relevance restriction strategy for automated deduction
✍ David A Plaisted; Adnan Yahya 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 295 KB

Identifying relevant clauses before attempting a proof may lead to more efficient automated theorem proving. Relevance is here defined relative to a given set of clauses S and one or more distinguished sets of support T . The role of a set of support T can be played by the negation of the theorem to

The implementation of a deductive databa
The implementation of a deductive database for engineering correlations
✍ E. Lai; M.A. Moss; K. Jambunathan; B.L. Button 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 635 KB

A vast quantity of data in the form of correlations is available for use in design and analysis. Even using hitherto-available databases there are significant difficulties in obtaining the best correlation for a particular purpose. The limitations of current databases in this respect are discussed a