Steven Vere

  • Citations Per Year
Learn More
In a temporal planning and reasoning system, many logical assertions w i l l have a l imited l i f e span: they are "terminated" by later , contradictory assertions. By observing assertion terminators, the l i fet ime of an assertion can be bounded within an interval called the scope. Assertion scopes can greatly reduce the number of relevant matches(More)
Structural matching originally introduced by Steven Vere in the mid seventies was a popular sub eld of inductive concept learning in the late seventies and early eighties Despite various attempts to formalize and implement the notion of most speci c generalisation of two productions several problems remained These include using background knowledge the non(More)
Input limited transduction expressions, or translation equations, are used to describe the syntax and left-context sensitive semantics for context-free languages. A formal procedure is given for deriving from a set of translation equations the specifications for a pushdown translator. The translator consists of Mealy form finite-state automata interacting(More)
  • 1