✦ LIBER ✦

Predicting metabolic pathways by logic programming

✍ Scribed by Ferenc Darvas

Publisher: Elsevier Science
Year: 1988
Tongue: English
Weight: 817 KB
Volume: 6
Category: Article
ISSN: 0263-7855
DOI: 10.1016/0263-7855(88)85004-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Toxicity prediction from metabolic pathw

Toxicity prediction from metabolic pathway modelling

✍ Robert C. Jackson 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 822 KB

Process planning by logic programming

✍ K. Preiss; O. Shai 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 783 KB

The construction of a process plan can be thought of as an exercise in logic programming. Given the facts of the situation and the rules of the conditions governing the processes, and given the statement of a goal state, a logic program will attempt to prove that goal state. The series of rules and

Logic-based program system for predictin

Logic-based program system for predicting drug interactions

✍ Ferenc Darvas; Iván Futó; Peter Szeredi 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 787 KB

Enhancing disjunctive logic programming

Enhancing disjunctive logic programming systems by SAT checkers

✍ Christoph Koch; Nicola Leone; Gerald Pfeifer 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 468 KB

Completing open logic programs by constr

Completing open logic programs by constructive induction

✍ Esra Erdem; Pierre Flener 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 247 KB

We consider part of the problem of schema-biased inductive synthesis of recursive logic Ž programs from incomplete specifications, such as clausal evidence for instance, but not . necessarily, ground positive and negative examples . After synthesizing the base clause Ž . and introducing recursive ca

Derivation of logic programs by function

Derivation of logic programs by functional methods

✍ A. Bijlsma 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 661 KB