1578 search results - page 217 / 316 » Induction of Stable Models |
103
click to vote
CORR
2010
Springer
15 years 24 days ago
2010
Springer
Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore ...
101
Voted
CORR
2007
Springer
15 years 20 days ago
2007
Springer
— We derive a hybrid feedback control law for the lateral leg spring (LLS) model so that the center of mass of a legged runner follows a curved path in horizontal plane. The cont...
101
Voted
JSAC
2008
15 years 20 days ago
2008
This paper analyses the robustness of networked systems from a game-theoretical perspective. Networked systems often consist of several subsystems sharing resources interdependentl...
102
Voted
JIS
2006
15 years 20 days ago
2006
Collaborative tagging describes the process by which many users add metadata in the form of keywords to shared content. Recently, collaborative tagging has grown in popularity on ...
AR
2005
15 years 18 days ago
2005
Whether they are asked to polish or assemble parts, clean the house or open doors, the future generation of robots will have to cope with contact tasks under uncertainty in a stabl...