✦ LIBER ✦

Reasoning with examples: propositional formulae and database dependencies

✍ Scribed by Roni Khardon; Heikki Mannila; Dan Roth

Book ID: 105931093
Publisher: Springer-Verlag
Year: 1999
Tongue: English
Weight: 130 KB
Volume: 36
Category: Article
ISSN: 0001-5903
DOI: 10.1007/s002360050161

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reasoning with propositional knowledge b

Reasoning with propositional knowledge based on fuzzy neural logic

✍ Wangming Wu; Hoon-Heng Teh; Bo Yuan 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 760 KB

In this article, a new kind of reasoning for propositional knowledge, which is based on the fuzzy neural logic initialed by Teh, is introduced. A fundamental theorem is presented showing that any fuzzy neural logic network can be represented by operations: bounded sum, complement, and scalar product

An Equivalence between Dependencies in N

An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic

✍ Sven Hartmann; Sebastian Link 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 261 KB

Constructing a domain dependent case-bas

Constructing a domain dependent case-base for database schema design with case-based reasoning

✍ Yong-Kee Paek; Jungyun Seo; Gil-Chang Kim 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 374 KB

A multiagent update process in a databas

A multiagent update process in a database with temporal data dependencies and schema versioning

✍ Gal, A.; Etzion, O. 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 422 KB

Realizability and finite validity of pro

Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication

✍ D. P. Skvortsov 📂 Article 📅 1979 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 569 KB

Integrating protein structures and preco

Integrating protein structures and precomputed genealogies in the Magnum database: Examples with cellular retinoid binding proteins

✍ Michael E Bradley; Steven A Benner 📂 Article 📅 2006 🏛 BioMed Central 🌐 English ⚖ 894 KB