302 search results - page 38 / 61 » An approach to synthesise safe systems |
111
Voted
TELECARE
2004
15 years 1 months ago
2004
The growing percentage of elderly population imposes an urgent need to develop new approaches to care provision. Integration of a number of technologies such as multi-agent systems...
106
click to vote
IWFM
1998
15 years 1 months ago
1998
We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic p...
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
— Introducing autonomous machines to construction areas can improve many of the occurring processes. Therefore, this paper deals with problems in the field of creating an autono...
103
Voted
IJAR
2007
15 years 11 days ago
2007
In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories. Logics of this sort are called paraconsistent...
87
Voted
OOPSLA
2009
Springer
15 years 7 months ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and ef...