586 search results - page 72 / 118 » Automated Reasoning on Aspects Interactions |
HRI
2010
ACM
14 years 2 months ago
2010
ACM
Abstract—Cooperative gestures are a key aspect of humanhuman pro-social interaction. Thus, it is reasonable to expect that endowing humanoid robots with the ability to use such g...
LICS
2007
IEEE
14 years 2 months ago
2007
IEEE
Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
ICCBR
2005
Springer
2005
Springer
Evaluating the Effectiveness of Exploration and Accumulated Experience in Automatic Case Elicitation
14 years 1 months ago
Non-learning problem solvers have been applied to many interesting and complex domains. Experience-based learning techniques have been developed to augment the capabilities of cert...
CADE
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...