Sciweavers

718 search results - page 87 / 144
» On Defaults in Action Theories
Sort
View
ICRA
2006
IEEE
104views Robotics» more  ICRA 2006»
15 years 3 months ago
Graphical Singularity Analysis of Planar Parallel Manipulators
- This paper introduces a new approach to identify singularities of planar parallel manipulators (PPMs). This method is based on Maxwell’s reciprocal figure theory which establis...
Amir Degani, Alon Wolf
BIRTHDAY
2005
Springer
15 years 3 months ago
Timing the Untimed: Terminating Successfully While Being Conservative
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A....
CIA
2004
Springer
15 years 3 months ago
On the Impact of Agent Communication Languages on the Implementation of Agent Systems
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...
Juan Manuel Serrano, Sascha Ossowski
ATAL
2009
Springer
15 years 1 months ago
Normative framework for normative system change
Normative systems in a multiagent system must be able to evolve over time, for example due to actions creating or removing norms in the system. The only formal framework to evalua...
Guido Boella, Gabriella Pigozzi, Leendert van der ...
ENTCS
2008
64views more  ENTCS 2008»
14 years 9 months ago
General Refinement, Part Two: Flexible Refinement
In the previous, companion, paper [13] to this paper we introduced our general model of refinement, discussed ideas around determinism and interfaces that the general definition r...
Steve Reeves, David Streader