Results 261 to 270 of about 3,565,746 (293)
Some of the next articles are maybe not open access.
Goal directed strategies for paramodulation
1991It is well-known that the set of support strategy is incomplete in paramodulation theorem provers if paramodulation into variables is forbidden. In this paper, we present a paramodulation calculus for which the combination of these two restrictions is complete, based on a lazy form of the paramodulation rule which delays parts of the unification step ...
Wayne Snyder, Christopher Lynch
openaire +1 more source
Imitation of Gestures in Children is Goal-directed
The Quarterly Journal of Experimental Psychology Section A, 2000The view that the motor program activated during imitation is organized by goals was investigated by asking pre-school children to imitate a set of hand gestures of varying complexity that were made by an experimenter sitting in front of them. In Experiments 1 and 3, children reached for the correct object (one of their own ears or one of two dots on a
Bekkering, H. +2 more
openaire +3 more sources
Making Graphplan Goal-Directed
2000The Graphplan algorithm exemplifies the speed-up achieveable with disjunctive representations that leverage opposing directions of refinement. It is in this spirit that we introduce Bsr-graphplan, a work in progress intended to address issues of scalability and expressiveness which are problematic for Graphplan.
openaire +2 more sources
A goal directed theorem prover
2005The modified problem reduction format of Plaisted [87] has been implemented in C Prolog and compiled in Quintus Prolog. This complete first-order strategy is based on a sequent-style proof system which does not require contrapositives of clauses to be used.
openaire +1 more source
On goal-directed provability in classical logic
Computer Languages, 1997Summary: One of the key features of logic programming is the notion of goal-directed provability. In intuitionistic logic, the notion of uniform proof has been used as a proof-theoretic characterization of this property. Whilst the connections between intuitionistic logic and computation are well known, there is no reason per se why a similar notion ...
openaire +3 more sources
The motivational dominant in goal-directed behavior
Neuroscience and Behavioral Physiology, 1999The experimental studies of motivational dominants of thirst and hunger and "polarization" motor dominant as well as the analysis of formation of the I- and II-type conditioned responses lead to the conclusion that discontinuation of a motivational dominant plays a key role in goal-directed behavior.
openaire +3 more sources