✦ LIBER ✦

Backward-chaining evolutionary algorithms

✍ Scribed by Riccardo Poli; William B. Langdon

Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 376 KB
Volume: 170
Category: Article
ISSN: 0004-3702
DOI: 10.1016/j.artint.2006.04.003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A semantic backward chaining proof syste

A semantic backward chaining proof system

✍ Xumin Nie; David A. Plaisted 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 967 KB

Nie, X. and D.A. Plaisted, A semantic backward chaining proof system, Artificial Intelligence 55 (1992) 109-128. We discuss a refutationally complete sequent style clause-based proof system that supports several important strategies in automatic theorem proving. The system has a goal-subgnal structu

Backward chaining with fuzzy goals and r

Backward chaining with fuzzy goals and rules

✍ Brian Schott; Thomas Whalen 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 59 KB

Forward and Backward Chaining in Linear

Forward and Backward Chaining in Linear Logic (Extended Abstract)

✍ James A. Harland; David J. Pym; Michael Winikoff 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 158 KB

Evaluating evolutionary algorithms

✍ W. Whitney; S. Rana; J. Dzubera; K.E. Mathias 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 165 KB

We consider what tagging models are most appropriate as front ends for probabilistic context-free grammar parsers. In particular, we ask if using a "multiple tagger", a tagger that returns more than one tag, improves parsing performance. Our conclusion is somewhat surprising: single-tag Markov-mode

A decision logic schema of process plann

A decision logic schema of process planning using backward chaining reasoning

✍ Huan-Min Xu; Liang-Chuan Mi; Dong-Bo Li 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 326 KB

Evolutionary graph drawing algorithms

✍ Huang Jing-wei; Wei Wen-fang 📂 Article 📅 2003 🏛 Wuhan University 🌐 English ⚖ 389 KB