Choose an application

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

Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems. Chapters include: • Using Theorem Proving to Verify Properties of Agent Programs • The Refinement of Multi-Agent Systems • Model Checking Agent Communication • Directions for Agent Model Checking • Model Checking Logics of Strategic Ability: Complexity • Correctness of Mult-Agent Programs: A Hybrid Approach • The Norm Implementation Problem in Normative Multi-Agent Systems • A Verification Logic for GOAL Agents • Using the Maude Term Rewriting Language for Agent Development with Formal Foundations • The Cognitive Agents Specification Language and Verification Environment • A Temporal Trace Language for Formal Modelling and Analysis of Agent Systemns • Assurance of Agent Systems: What Role Should Formal Verification Play? Specification and Verification of Multi-agent Systems is a comprehensive guide that makes a useful tool for researchers, practitioners and students, and serves as a reference work summarizing the state of the art in an accessible manner.

Concurrent engineering. --- Industrial design -- Computer-aided design. --- Intelligent agents (Computer software). --- Multiagent systems --- Engineering & Applied Sciences --- Computer Science --- Multiagent systems. --- Computer software --- Verification. --- Software verification --- Verification of software --- Agent-based model (Computer software) --- MASs (Multiagent systems) --- Multi-agent systems --- Systems, Multiagent --- Computer science. --- Software engineering. --- Mathematical logic. --- Computers. --- Artificial intelligence. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- Software Engineering. --- Computing Methodologies. --- Intelligent agents (Computer software) --- Artificial Intelligence. --- Informatics --- Science --- 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 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism

Choose an application

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

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Programming Multi-Agent Systems, ProMAS 2008, held in Estoril, Portugal, in May 2008 as an associated event of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems. The 12 revised full papers presented together with 1 invited lecture address current issues in the areas of agent platforms, environment and interaction, agent programming languages, and analysis of MAS. The papers are organized in topical sections on agent programming languages, multi-agent systems frameworks, as well as agent environments and tools. The volume is concluded with a selection of 6 short papers related to the Agent Contest 2008 that has been organized since 2006 in conjunction with ProMAS.

Computer science --- Programming --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- programmeren (informatica) --- programmeertalen --- software engineering --- computernetwerken --- robots

Choose an application

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

Computer architecture. Operating systems --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- informatica --- informatiesystemen --- database management --- KI (kunstmatige intelligentie) --- computernetwerken --- robots

Choose an application

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

These are the proceedings of the 11th International Workshop on Cooperative Information Agents (CIA 2007), held at the Delft University of Technology, The Netherlands, September 19–21, 2007. In today’s world of ubiquitously connected heterogeneous information systems and computing devices, the intelligent coordination and provision of relevant added-value information at any time, anywhere is of key importance to a variety of applications. This challenge is envisioned to be coped with by means of appropriate intelligent and cooperative information agents. An information agent is a computational software entity that has access to one or multiple heterogeneous and geographically dispersed data and information sources. It pro-actively searches for and maintains information on behalf of its human users, or other agents preferably just in time. In other words, it is managing and overcoming the difficulties associated with information overload in open, pervasive information and service landscapes. Each component of a modern cooperative information system is represented by an appropriate intelligent information agent capable of resolving system and semantic heterogeneities in a given context on demand. Cooperative information agents are supposed to accomplish both individual and shared joint goals depending on the actual user preferences in line with given or deduced limits of time, budget and resources available. One major challenge of developing age- based intelligent information systems in open environments like the Internet and the Web is to balance the autonomy of networked data, information, and knowledge sources with the potential payoffs of leveraging them by the use of cooperative and intelligent information agents.

Intelligent agents (Computer software) --- Internet --- Agents intelligents (Logiciels) --- Congresses. --- Congrès --- Computer Science --- Mechanical Engineering - General --- Mechanical Engineering --- Engineering & Applied Sciences --- Information Technology --- Artificial Intelligence --- Computer science. --- Computer communication systems. --- Database management. --- Data mining. --- User interfaces (Computer systems). --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Information Systems Applications (incl. Internet). --- Data Mining and Knowledge Discovery. --- Database Management. --- Computer Communication Networks. --- User Interfaces and Human Computer Interaction. --- 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 --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- 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 --- Artificial Intelligence. --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software

Choose an application

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

This volume constitutes the thoroughly refereed conference proceedings of the 26th International Conference on Industrial Engineering and Other Applications of Applied Intelligence Systems, IEA/AIE 2013, held in Amsterdam, The Netherlands, in June 2013. The total of 71 papers selected for the proceedings were carefully reviewed and selected from 185 submissions. The papers focus on the following topics: auctions and negotiation, cognitive modeling, crowd behavior modeling, distributed systems and networks, evolutionary algorithms, knowledge representation and reasoning, pattern recognition, planning, problem solving, robotics, text mining, advances in recommender systems, business process intelligence, decision support for safety-related systems, innovations in intelligent computation and applications, intelligent image and signal processing, and machine learning methods applied to manufacturing processes and production systems.

Computer science. --- Computer software. --- Data mining. --- Artificial intelligence. --- Computer vision. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Information Systems Applications (incl. Internet). --- Algorithm Analysis and Problem Complexity. --- Data Mining and Knowledge Discovery. --- Computer Imaging, Vision, Pattern Recognition and Graphics. --- Computer Science, general. --- Engineering & Applied Sciences --- Mechanical Engineering --- Computer Science --- Mechanical Engineering - General --- Information Technology --- Artificial Intelligence --- Machine vision --- Vision, Computer --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Software, Computer --- Informatics --- Algorithms. --- Computer graphics. --- Artificial intelligence --- Intelligent agents (Computer software) --- Industrial applications --- Artificial Intelligence. --- Science --- Image processing --- Pattern recognition systems --- Database searching --- Computer systems --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Application software. --- Optical data processing. --- Optical computing --- Visual data processing --- Integrated optics --- Photonics --- Computers --- Algorism --- Algebra --- Arithmetic --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Optical equipment --- Foundations