Sciweavers

1578 search results - page 155 / 316
» Induction of Stable Models
Sort
View
ASP
2003
Springer
14 years 3 months ago
Properties of maximal cliques of a pair-wise compatibility graph for three nonmonotonic reasoning system
In this paper we define the notion of a compatibility relation so as to have a common framework for three nonmonotonic reasoning systems: normal logic programming, extended logic ...
Robert E. Mercer, Vincent Risch
CDC
2008
IEEE
150views Control Systems» more  CDC 2008»
14 years 10 days ago
Compliant motion tasks for robot manipulators subject to joint velocity constraints
We develop non-smooth motion controllers that enable redundant manipulators to perform surface tasks, that involve force/torque interactions. The robot joint rates are constrained ...
Xanthi Papageorgiou, Kostas J. Kyriakopoulos
FLAIRS
2004
13 years 11 months ago
Aperiodic Dynamics and the Self-Organization of Cognitive Maps in Autonomous Agents
Aperiodic dynamics are known to be essential in the formation of perceptual mechanisms and representations in biological organisms. Advances in neuroscience and computational neur...
Derek Harter, Robert Kozma
ECAI
2010
Springer
13 years 11 months ago
Discovering an Event Taxonomy from Video using Qualitative Spatio-temporal Graphs
This work proposes a graph mining based approach to mine a taxonomy of events from activities for complex videos which are represented in terms of qualitative spatio-temporal relat...
Muralikrishna Sridhar, Anthony G. Cohn, David C. H...
AMAI
2007
Springer
13 years 10 months ago
Partial equilibrium logic
Abstract. Partial equilibrium logic (PEL) is a new nonmonotonic reasoning formalism closely aligned with logic programming under well-founded and partial stable model semantics. In...
Pedro Cabalar, Sergei P. Odintsov, David Pearce, A...