We propose a bottom-up variant of Earley deduction. Bottom-up deduction is preferable to top-down deduction because it allows incrementai processing (even for head-driven grammars), it is data-driven, no subsumption check is needed, and preference values attached to lexical items can be used to guide best-first search. We discuss the scanning step for bottom-up Earley deduction and indexing sch...

A new method for efficient recognition of general relational structures is described and compared with existing methods. Patterns to be recognized are defined by templates consisting of a set of predicate calculus relations. Productions are representable by associating actions with templates. A network for recognizing occurrences of any of the template patterns in data may be automatically comp...

We provide a simple formulation of a framework where some extensions of logic programming with non-monotonic reasoning are treated uniformly, namely two kinds of negation and abduction. The resulting semantics is purely model-theoretic, and gives meaning to any non-contradictory abductive logic program. Moreover, it embeds and generalizes some existing semantics which deal with negation and abd...

Derivation of logic programs from rst-order logic speciications is nontrivial and tends to be done by hand. We describe a method for synthesising recursive logic procedures from their rst-order logic speciications that is amenable to mechanisation. The method is strictly top-down and has been implemented as part of a user-guided synthesis system in Prolog.

in order to study the effects of planting date and sugar beet cultivars on infection to curly top virus, vector population, damping off, root rot, and sugar yield, an experiment was conducted in mobarakeh region during 1999-2000 in a split plot design. the main factor was three planting dates and sub factor was six sugar beet cultivars: ic1 as a susceptible cultivar to beet curly top, t41r, 723...

this study concerns about quantum chemical modeling behavior of 02 on cr (100)surface by using density functional theory (dft) by lanl2dz and 6 — 31g* basissets, we presented the results of our first principles electronic structure calculationson the 02 molecules and their interface with cr (100) surface. the chromium metalhas the body-centered cubic structure, and chromium cluster has five cr ...