Sciweavers

166 search results - page 22 / 34
» Planning with Action Abstraction and Plan Decomposition Hier...
Sort
View
LPNMR
2004
Springer
15 years 3 months ago
Using Criticalities as a Heuristic for Answer Set Programming
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
Orkunt Sabuncu, Ferda Nur Alpaslan, Varol Akman
ICRA
2007
IEEE
148views Robotics» more  ICRA 2007»
15 years 4 months ago
Seamless Execution of Action Sequences
— One of the most notable and recognizable features of robot motion is the abrupt transitions between actions in action sequences. In contrast, humans and animals perform sequenc...
Freek Stulp, Wolfram Koska, Alexis Maldonado, Mich...
KBSE
2009
IEEE
15 years 4 months ago
Towards Augmenting Requirements Models with Preferences
—The analysis of stakeholder requirements is a critical aspect of software engineering. A common way of specifying stakeholder requirements is in terms of a hierarchy of goals wh...
Sotirios Liaskos, Sheila A. McIlraith, John Mylopo...
ICIP
2006
IEEE
15 years 3 months ago
Modelization of Limb Coordination for Human Action Analysis
This paper analyzes the movements of the human body limbs (hands, feet and head) and center of gravity in order to detect simple actions such as walking, jumping and displacing an...
Kosta Gaitanis, Pedro Correa, Benoit M. Macq
AI
2011
Springer
14 years 4 months ago
A unifying action calculus
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
Michael Thielscher