741 search results - page 50 / 149 » A Local System for Classical Logic |
AIIA
1999
Springer
13 years 12 months ago
1999
Springer
This paper presents thedistributed implementationof ALIAS, an architecture composed of several cooperating intelligent agents. This system is particularly suited to solve problems ...
ICPR
2006
IEEE
14 years 1 months ago
2006
IEEE
In most of the automatic face classification applications, images should be captured in natural environments, where partial occlusions or high local changes in the illumination a...
FOIKS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for any form of negation. This com...
AUTOMATICA
2011
13 years 2 months ago
2011
— Quadratic systems play an important role in the modeling of a wide class of nonlinear processes (electrical, robotic, biological, etc.). For such systems it is of mandatory imp...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
— We describe a distributed boundary detection algorithm suitable for use on multi-robot systems with dynamic network topologies. We assume that each robot has access to its loca...