Listing 1 - 10 of 19 | << page >> |
Sort by
|
Choose an application
Choose an application
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
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 programming -- Congresses. --- Electronic books. -- local. --- Intelligent agents (Computer software) -- Congresses. --- Computer Science --- Mechanical Engineering - General --- Engineering & Applied Sciences --- Mechanical Engineering --- Information Technology --- Artificial Intelligence --- Computer programming --- Intelligent agents (Computer software) --- Computer science. --- Computer communication systems. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Computer Communication Networks. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters. --- 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 languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computer software engineering --- Engineering --- 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 --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory
Choose an application
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.
Choose an application
Choose an application
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
This book constitutes the refereed post-proceedings of the First International Workshop on Cognitive Agents for Virtual Environments, CAVE 2012, held at AAMAS 2012, in Valencia, Spain, in June 2012. The 10 full papers presented were thoroughly reviewed and selected from 14 submissions. In addition one invited high quality contribution has been included. The papers are organized in the following topical sections: coupling agents and game engines; using games with agents for education; visualization and simulation; and evaluating games with agents.
Teaching --- Computer assisted instruction --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- computers --- onderwijs --- computerondersteund onderwijs --- KI (kunstmatige intelligentie) --- computerkunde --- robots --- PC (personal computer)
Choose an application
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.
Choose an application
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
This book constitutes the refereed post-proceedings of the First International Workshop on Cognitive Agents for Virtual Environments, CAVE 2012, held at AAMAS 2012, in Valencia, Spain, in June 2012. The 10 full papers presented were thoroughly reviewed and selected from 14 submissions. In addition one invited high quality contribution has been included. The papers are organized in the following topical sections: coupling agents and game engines; using games with agents for education; visualization and simulation; and evaluating games with agents.
Intelligent agents (Computer software) --- Virtual reality --- Mechanical Engineering --- Engineering & Applied Sciences --- Computer Science --- Mechanical Engineering - General --- Information Technology --- Artificial Intelligence --- Computer science. --- Artificial intelligence. --- Education --- Personal computers. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Personal Computing. --- Computers and Education. --- Data processing. --- Home computers --- Micro computers --- Micros (Microcomputers) --- PCs (Microcomputers) --- Personal computers --- Small computers --- Minicomputers --- Computer uses in education --- Computers in education --- Educational computing --- Microcomputer uses in education --- Microcomputers in education --- 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 --- Informatics --- Science --- Education. --- Artificial Intelligence. --- Children --- Education, Primitive --- Education of children --- Human resource development --- Instruction --- Pedagogy --- Schooling --- Students --- Youth --- Civilization --- Learning and scholarship --- Mental discipline --- Schools --- Teaching --- Training --- Education—Data processing.
Listing 1 - 10 of 19 | << page >> |
Sort by
|