AMAI
2008
Springer
13 years 11 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
AMAI
2008
Springer
13 years 11 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 11 months ago
2008
Springer
AMAI
2008
Springer
13 years 11 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 11 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 11 months ago
2008
Springer
AMAI
2008
Springer
13 years 11 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 11 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 11 months ago
2008
Springer
AMAI
2008
Springer
13 years 11 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 ...