✦ LIBER ✦

A practical parallel algorithm for propositional knowledge base revision

✍ Scribed by Sun Wei; Tao Xuehong; Ma Shaohao

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A practical propositional knowledge base

✍ Xuehong Tao; Wei Sun; Shaohan Ma 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 347 KB

Fast algorithms for revision of some spe

✍ Luan ShangMin; GuoZhong Dai 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 421 KB

A cost-reducing question-selection algor

✍ Jinchang Wang 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 408 KB

A practical parallel algorithm for compu

✍ Dai Dawei; Huang Jingwei 📂 Article 📅 1996 🏛 Wuhan University 🌐 English ⚖ 186 KB

A parallel algorithm for surface-based o

✍ Theodore Johnson; Panos E. Livadas 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 966 KB

A knowledge-based boundary convergence a

✍ Lam T.S. Lam; Wilson C.Y. Lam; Dennis N.K. Leung 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 917 KB