✦ LIBER ✦

Inference guiding in propositional knowledge bases

✍ Scribed by Jinchang Wang

Book ID: 110380511
Publisher: Springer Netherlands
Year: 1998
Tongue: English
Weight: 83 KB
Volume: 23
Category: Article
ISSN: 1012-2443
DOI: 10.1023/a:1018984712480

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An algebraic approach to revising propos

An algebraic approach to revising propositional rule-based knowledge bases

✍ ShangMin Luan; GuoZhong Dai 📂 Article 📅 2008 🏛 Science in China Press (SCP) 🌐 English ⚖ 714 KB

Fast algorithms for revision of some spe

Fast algorithms for revision of some special propositional knowledge bases

✍ Luan ShangMin; GuoZhong Dai 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 421 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

A Recency Inference Engine for Connectio

A Recency Inference Engine for Connectionist Knowledge Bases

✍ Atef Z. Ghalwash 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 143 KB

A practical propositional knowledge base

A practical propositional knowledge base revision algorithm

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

Modeling knowledge-based inferences in s

Modeling knowledge-based inferences in story comprehension

✍ Stefan L. Frank; Mathieu Koppen; Leo G.M. Noordman; Wietske Vonk 📂 Article 📅 2003 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 398 KB