✦ LIBER ✦

Closed-world databases and circumscription

✍ Scribed by Vladimir Lifschitz

Publisher: Elsevier Science
Year: 1985
Tongue: English
Weight: 250 KB
Volume: 27
Category: Article
ISSN: 0004-3702
DOI: 10.1016/0004-3702(85)90055-4

No coin nor oath required. For personal study only.

✦ Synopsis

We compare two forms of non-monotonic reasoning: closed-worm evaluation of queries in databases and circumscription. For closed E-saturated databases we show that the closed-world assumption, if consistent, is equivalent to circumscribing all predicates in the database.

📜 SIMILAR VOLUMES

Propositional circumscription and extend

Propositional circumscription and extended closed-world reasoning are ΠP2-complete: Theoretical computer science 114(2) (21 June 1993) 231–245

✍ Thomas Eiter; Georg Gottlob 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 34 KB

Towards design and comparison of World W

Towards design and comparison of World Wide Web-accessible myocardial two-dimensional gel electrophoresis protein databases

✍ Dr. Klaus-Peter Plei; Stefan Sander; Helmut Oswald; Vera Regitz-Zagrosek; Eckart 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 653 KB

NEWS AND COMMENT ON RECENT DEVELOPMENTS

NEWS AND COMMENT ON RECENT DEVELOPMENTS FROM AROUND THE WORLD: Land registry closes in on E-conveyancing goal

📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 49 KB

Development of a database of low energy

Development of a database of low energy homes around the world and analyses of their trends : Hamada, Y. et al. Renewable Energy, 200, 28, (2), 321–328

📂 Article 📅 2003 🏛 Elsevier Science ⚖ 272 KB