✦ LIBER ✦

On embedding default logic into Moore's autoepistemic logic

✍ Scribed by Grigori Schwarz

Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 770 KB
Volume: 80
Category: Article
ISSN: 0004-3702
DOI: 10.1016/0004-3702(95)00117-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the relation between default and auto

On the relation between default and autoepistemic logic: K. Konolige [Artificial Intelligence 35 (1988) 343–382]

📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 28 KB

Embedding of posets into lattices in qua

Embedding of posets into lattices in quantum logic

✍ Claudio Garola 📂 Article 📅 1985 🏛 Springer 🌐 English ⚖ 514 KB

On expanding Boolean algebra into a new

On expanding Boolean algebra into a new dual-biform logic algebra

✍ H. Peter Alesso 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 363 KB

Some interesting problems, such as those occurring with non-coherent structure functions, require an expansion of existing Boolean algebra that can manipulate special coherent structure functions and their duals. In this paper, we formalize an algebra called A-Algebra (A New Dual Biform Logic Algebr

A computational logic handbook : R.S. Bo

A computational logic handbook : R.S. Boyer and J.S. Moore, (perspectives on computing, V. 23), Academic Press, Boston, 1988. 408 pp., U.S. $39.95, ISBN 0-12-122952-1

📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 97 KB