Sciweavers

1368 search results - page 115 / 274
» Personality-Based Practical Reasoning
Sort
View
120
Voted
IROS
2007
IEEE
162views Robotics» more  IROS 2007»
15 years 9 months ago
Comparative evaluation of robotic software integration systems: A case study
— One might expect that after nearly 50 years of research in robot manipulation and mobile robotics the architectural design of robot systems has converged to a small set of best...
Azamat Shakhimardanov, Erwin Prassler
107
Voted
LICS
2007
IEEE
15 years 9 months ago
Static Name Control for FreshML
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
François Pottier
125
Voted
CSL
2007
Springer
15 years 9 months ago
Game Characterizations and the PSPACE-Completeness of Tree Resolution Space
The Prover/Delayer game is a combinatorial game that can be used to prove upper and lower bounds on the size of Tree Resolution proofs, and also perfectly characterizes the space ...
Alexander Hertel, Alasdair Urquhart
ICCBR
2007
Springer
15 years 9 months ago
Mining Large-Scale Knowledge Sources for Case Adaptation Knowledge
Abstract. Making case adaptation practical is a longstanding challenge for casebased reasoning. One of the impediments to widespread use of automated case adaptation is the adaptat...
David B. Leake, Jay H. Powell
140
Voted
ILP
2007
Springer
15 years 9 months ago
Learning Relational Options for Inductive Transfer in Relational Reinforcement Learning
In reinforcement learning problems, an agent has the task of learning a good or optimal strategy from interaction with his environment. At the start of the learning task, the agent...
Tom Croonenborghs, Kurt Driessens, Maurice Bruynoo...