Special Issue On Ai Robotics And Automation In Space

Special Issue on AI, Robotics, and Automation in Space

Laboratory Astrophysics and Space Research

The book presents the most recent developments of laboratory studies in astrophysics and space research. The individual chapters review laboratory investigations under simulated space conditions, studies for the design of successful space experiments or for supporting the interpretation of astronomical and space mission recorded data. Related theoretical models, numerical simulations and in situ observations demonstrate the necessity of experimental work on the Earth's surface. The expertise of the contributing scientists covers a broad spectrum and is included in general overviews from fundamental science to recent space technology. The book intends to serve as a reference for researchers and graduate students on the most recent activities and results in laboratory astrophysics, and to give reviews of their applications in astronomy, planetology, cosmochemistry, space research and Solar System exploration.

Distributed Constraint Problem Solving and Reasoning in Multi-agent Systems

Distributed and multi-agent systems are becoming more and more the focus of attention in artificial intelligence research and have already found their way into many practical applications. An important prerequisite for their success is an ability to flexibly adapt their behavior via intelligent cooperation. Successful reasoning about and within a multiagent system is therefore paramount to achieve intelligent behavior. Distributed Constraint Satisfaction Problems (DCSPs) and Distributed Constraint Optimization (minimization) Problems (DCOPs) are perhaps ubiquitous in distributed systems in dynamic environments. Many important problems in distributed environments and systems, such as action coordination, task scheduling and resource allocation, can be formulated and solved as DCSPs and DCOPs. Therefore, techniques for solving DCSPs and DCOPs as well as strategies for automated reasoning in distributed systems are indispensable tools in the research areas of distributed and multi-agent systems. They also provide promising frameworks to deal with the increasingly diverse range of distributed real world problems emerging from the fast evolution of communication technologies.The volume is divided in two parts. One part contains papers on distributed constraint problems in multi-agent systems. The other part presents papers on Agents and Automated Reasoning.