Sciweavers

1617 search results - page 138 / 324
» Knowledge Condition Games
Sort
View
84
Voted
ICRA
2006
IEEE
116views Robotics» more  ICRA 2006»
15 years 6 months ago
Transport of an Object by six pre-attached Robots interacting via Physical Links
— This paper addresses the cooperative transport of a heavy object by a group of mobile robots. We present a system in which group members lacking knowledge about the position of...
Roderich Groß, Francesco Mondada, Marco Dori...
AIMSA
2000
Springer
15 years 5 months ago
Least Generalization under Relative Implication
Inductive Logic Programming (ILP) deals with inducing clausal theories from examples basically through generalization or specialization. The specialization and generalization oper...
Svetla Boytcheva
90
Voted
ENTCS
2007
116views more  ENTCS 2007»
15 years 22 days ago
A Logical Characterisation of Static Equivalence
The work of Abadi and Fournet introduces the notion of a frame to describe the knowledge of the environment of a cryptographic protocol. Frames are lists of terms; two frames are ...
Hans Hüttel, Michael D. Pedersen
105
Voted
DLOG
2010
14 years 10 months ago
Structure Preserving TBox Repair using Defaults
Unsatisfiable concepts are a major cause for inconsistencies in Description Logics knowledge bases. Popular methods for repairing such concepts aim to remove or rewrite axioms to r...
Thomas Scharrenbach, Rolf Grütter, Bettina Wa...
116
Voted
ICCBR
2005
Springer
15 years 6 months ago
On the Effectiveness of Automatic Case Elicitation in a More Complex Domain
Automatic case elicitation (ACE) is a learning technique in which a case-based reasoning system acquires knowledge automatically from scratch through repeated real-time trial and e...
Siva N. Kommuri, Jay H. Powell, John D. Hastings