1578 search results - page 100 / 316 » Induction of Stable Models |
SIMPAR
2010
13 years 8 months ago
2010
Stability of bipedal locomotion is analyzed using a model of a planar biped written in the framework of systems with unilateral constraints. Based on this model, two different sta...
LPNMR
2011
Springer
13 years 28 days ago
2011
Springer
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...
ICDM
2002
IEEE
14 years 3 months ago
2002
IEEE
Presently, inductive learning is still performed in a frustrating batch process. The user has little interaction with the system and no control over the final accuracy and traini...
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper describes recent developments on the model identification and attitude control system for a Micmmechanical Flying lnsect (MFI). We include recently developed dynamical m...
LPNMR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...