AMAI
2008
Springer
13 years 7 months ago
2008
Springer
Several justification logics have been created, starting with the logic LP, [1]. These can be thought of as explicit versions of modal logics, or of logics of knowledge or belief,...
AMAI
2008
Springer
13 years 7 months ago
2008
Springer
AMAI
2008
Springer
13 years 7 months ago
2008
Springer
We study distributed boundary coverage of known environments using a team of miniature robots. Distributed boundary coverage is an instance of the multi-robot task-allocation prob...
AMAI
2008
Springer
13 years 7 months ago
2008
Springer
Area coverage is a well-known problem in robotics. Extensive research has been conducted for the single robot coverage problem in the past decades. More recently, the research comm...
AMAI
2008
Springer
13 years 7 months ago
2008
Springer
AMAI
2008
Springer
13 years 7 months ago
2008
Springer
This paper discusses the problem of building efficient coverage paths for a team of robots. An efficient multi-robot coverage algorithm should result in a coverage path for every ...
AMAI
2008
Springer
13 years 7 months ago
2008
Springer
In a previous paper [BMR01], the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets o...
AMAI
2008
Springer
13 years 7 months ago
2008
Springer
AMAI
2008
Springer
13 years 7 months ago
2008
Springer
Interval functions constitute quite a special class of Boolean functions for which it is very easy and fast to determine their functional value on a specified input vector. Their ...
AMAI
2008
Springer
13 years 7 months ago
2008
Springer
