✦ LIBER ✦

The universe of propositional approximations

✍ Scribed by Marcelo Finger; Renata Wassermann

Book ID: 108281163
Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 251 KB
Volume: 355
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2006.01.007

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Universe of Approximations

✍ Marcelo Finger; Renata Wassermann 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 789 KB

Truth-Bearers, Propositions and the Prob

Truth-Bearers, Propositions and the Problem of Universals

✍ Avrum STROLL 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 1013 KB

The Enumerative Universal Proposition an

The Enumerative Universal Proposition and the First Figure of the Syllogism

✍ W. J. Roberts 📂 Article 📅 1910 🏛 Oxford University Press 🌐 English ⚖ 424 KB

The Enumerative Universal Proposition an

The Enumerative Universal Proposition and the First Figure of the Syllogism

✍ H. W. B. Joseph 📂 Article 📅 1910 🏛 Oxford University Press 🌐 English ⚖ 374 KB

Optimal compression of propositional Hor

Optimal compression of propositional Horn knowledge bases: complexity and approximation

✍ Peter L. Hammer; Alexander Kogan 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 746 KB

Hammer, P.L. and A. Kogan, Optimal compression of propositional Horn knowledge bases: complexity and approximation (Research Note), Artificial Intelligence 64 (1993) 131-145. Horn formulae play a prominent role in artificial intelligence and logic programming. In this paper we investigate the probl

∏11-universality of some propositional l

∏11-universality of some propositional logics of concurrent programs

✍ M.K. Valiev 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 686 KB