Results 231 to 240 of about 356,637 (266)
Some of the next articles are maybe not open access.
2001
We give a general goal directed method for solving the E- unification problem. Our inference system is a generalization of the inference rules for Syntactic Theories, except that our inference system is proved complete for any equational theory. We also show how to easily modify our inference system into a more restricted inference system for Syntactic
Christopher Lynch, Barbara Morawska 0001
openaire +1 more source
We give a general goal directed method for solving the E- unification problem. Our inference system is a generalization of the inference rules for Syntactic Theories, except that our inference system is proved complete for any equational theory. We also show how to easily modify our inference system into a more restricted inference system for Syntactic
Christopher Lynch, Barbara Morawska 0001
openaire +1 more source
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
Newborns’ preference for goal-directed actions
Cognition, 2011The central role of sensory-motor representations in cognitive functions is almost universally accepted. However, determining the link between motor execution and its sensory counterpart and when, during ontogenesis, this link originates are still under investigation.
CRAIGHERO L +3 more
openaire +4 more sources
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 +1 more source
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 +2 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