Choose an application

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

Intelligent agents (Computer software) --- 681.3*I2 --- 681.3*I22 --- 681.3*D1 --- Agents, Autonomous (Computer software) --- Agents, Cognitive (Computer software) --- Agents, Intelligent (Computer software) --- Assistants, Cognitive (Computer software) --- Assistants, Intelligent software --- Autonomous agents (Computer software) --- Cognitive agents (Computer software) --- Cognitive assistants (Computer software) --- IAs (Computer software) --- Intelligent agent software --- Intelligent software agents --- Intelligent software assistants --- Software agents (Computer software) --- Special agents (Computer software) --- Artificial intelligence --- Artificial intelligence. AI --- Automatic programming: automatic analysis of algorithms program modification program synthesis program transformation program verification (Artificialintelligence)--See also {681.3*D12} {681.3*F31} --- Programming techniques--See also {681.3*E} --- Computer programs --- 681.3*D1 Programming techniques--See also {681.3*E} --- 681.3*I22 Automatic programming: automatic analysis of algorithms program modification program synthesis program transformation program verification (Artificialintelligence)--See also {681.3*D12} {681.3*F31} --- 681.3*I2 Artificial intelligence. AI --- Intelligent agents (Computer software). --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31}

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 book is based on the second International Workshop on Agent Theories, Architectures, and Languages, held in conjunction with the International Joint Conference on Artificial Intelligence, IJCAI'95 in Montreal, Canada in August 1995. The 26 papers are revised final versions of the workshop presentations selected from a total of 54 submissions; also included is a comprehensive introduction, a detailed bibliography listing 355 relevant publications, and a subject index. The book is structured into seven sections, reflecting the most current major directions in agent-related research. Together with its predecessor, Intelligent Agents, published as volume 890 in the LNAI series, this book provides a timely and comprehensive state-of-the-art report."--PUBLISHER'S WEBSITE.

Intelligent agents (Computer software) --- Congresses. --- 681.3*I211 --- -Computerwetenschap--?*I211 --- Congresses --- Artificial intelligence --- Computer architecture --- Computational linguistics --- Intelligence artificielle --- Linguistique informatique --- Ordinateurs --- Computational linguistics. --- Computer architecture. --- Agent (Künstliche Intelligenz) --- Kongress. --- Intelligence artificielle - Informatique - Congrès. --- Linguistique informatique - Congrès. --- Ordinateurs - Architecture - Congrès. --- Data processing --- Informatique --- Architecture --- Data processing. --- Agent (Künstliche Intelligenz). --- Computerwetenschap--?*I211 --- Artificial intelligence. --- Computer Communication Networks. --- Software engineering. --- Artificial Intelligence. --- Software Engineering. --- 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 software engineering --- Engineering --- Intelligent agents (Computer software) - Congresses

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