Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Artificial Intelligence is one of the most fascinating and unusual areas of academic study to have emerged this century. For some, AI is a true scientific discipline, that has made important and fundamental contributions to the use of computation for our understanding of nature and phenomena of the human mind; for others, AI is the black art of computer science. Artificial Intelligence Today provides a showcase for the field of AI as it stands today. The editors invited contributions both from traditional subfields of AI, such as theorem proving, as well as from subfields that have emerged more recently, such as agents, AI and the Internet, or synthetic actors. The papers themselves are a mixture of more specialized research papers and authorative survey papers. The secondary purpose of this book is to celebrate Springer-Verlag's Lecture Notes in Artificial Intelligence series.

Artificial intelligence --- Computer Science --- Engineering & Applied Sciences --- Artificial intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Computer science. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Artificial Intelligence.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This carefully edited book constitutes the strictly refereed post-workshop proceedings of the 4th International Workshop on Agent Theories, Architectures, and Languages, ATAL'97, held in Providence, Rhode Island, USA, in July 1997. The 25 revised full papers presented were selected from a total of 76 submissions. The book is divided into sections on methodologies, architectures and infrastructures, coordination planning and monitoring, formal methods, theories, and architectures and methodologies. Like its predecessors published in the Intelligent Agents series, this volume specifically focuses on the relationships between the theory and the applications of agents.

Intelligent agents (Computer software) --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Computer communication systems. --- Architecture, Computer. --- Software engineering. --- Computer logic. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Computer System Implementation. --- Software Engineering. --- Computer Communication Networks. --- Logics and Meanings of Programs. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Architecture, Computer --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Distributed processing --- Congresses --- Computer network architectures. --- Logic design. --- Artificial Intelligence. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Intelligent agents (Computer software) - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Collection of revised papers originally presented at the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT2006).

Decision making -- Congresses. --- Game theory -- Congresses. --- Logic, Symbolic and mathematical -- Congresses. --- Logic, Symbolic and mathematical --- Game theory --- Decision making --- Mathematical Theory --- Mathematics --- Physical Sciences & Mathematics --- Logic, Symbolic and mathematical. --- Game theory. --- Decision theory. --- Games, Theory of --- Theory of games --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Decision making. --- Mathematical models --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Deciding --- Decision (Psychology) --- Decision analysis --- Decision processes --- Making decisions --- Management --- Management decisions --- Choice (Psychology) --- Problem solving