15 search results - page 1 / 3 » Reasoning about Goals to Resolve Conflicts |
8
Voted
COOPIS
1993
IEEE
13 years 9 months ago
1993
IEEE
ICRA
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract-- Complex robots with many interacting components in their control architectures are subject to component failures from which neither the control architecture nor the impl...
CSFW
2007
IEEE
13 years 11 months ago
2007
IEEE
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...
ICIA
2007
13 years 7 months ago
2007
We build the generic methodology based on machine learning and reasoning to detect the patterns of interaction between conflicting agents, including humans and their assistants. L...
ENTCS
2006
13 years 5 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...