Sciweavers

9284 search results - page 431 / 1857
» Knowledge State Algorithms
Sort
View
198
Voted
ICRA
2007
IEEE
173views Robotics» more  ICRA 2007»
16 years 1 months ago
Model-Based Nonlinear Observers for Underwater Vehicle Navigation: Theory and Preliminary Experiments
— This paper reports the analytical development and preliminary experimental evaluation of a class of exact nonlinear full state model-based observers for underwater vehicle navi...
James C. Kinsey, Louis L. Whitcomb
ICLP
2010
Springer
15 years 11 months ago
HEX Programs with Action Atoms
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
Selen Basol, Ozan Erdem, Michael Fink, Giovambatti...
191
Voted
FIW
2007
133views Communications» more  FIW 2007»
15 years 9 months ago
Conflict Detection in Call Control Using First-Order Logic Model Checking
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turne...
ICMAS
1998
15 years 8 months ago
Poaching and Distraction in Asynchronous Agent Activities
We investigate coordination issues in a distributed jobshop scheduling system in which agents schedulepotentially contentious activities asynchronously in parallel. Agents in such...
Mike H. Chia, Daniel E. Neiman, Victor R. Lesser
IJAR
2008
114views more  IJAR 2008»
15 years 7 months ago
A definition of subjective possibility
: Based on the setting of exchangeable bets, this paper proposes a subjectivist view of numerical possibility theory. It relies on the assumption that when an agent constructs a pr...
Didier Dubois, Henri Prade, Philippe Smets