Choose an application

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

This book constitutes the thoroughly refereed post-proceedings of the 13th Agent-Oriented Software Engineering (AOSE) workshop, held at the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, in Valencia, Spain, in June 2012. This volume presents 9 thoroughly revised papers selected from 24 submissions as well as two invited articles by leading researchers in the field. The papers cover a broad range of topics related to software engineering of agent-based systems, with particular attention to the integration of concepts and techniques from multi-agent systems with recent programming languages, platforms, and established software engineering methodologies.

Engineering & Applied Sciences --- Computer Science --- Computer science. --- Software engineering. --- Artificial intelligence. --- Computer Science. --- Software Engineering. --- Artificial Intelligence (incl. Robotics). --- Computer Science, general. --- Multiagent systems --- Software engineering --- Agent-based model (Computer software) --- MASs (Multiagent systems) --- Multi-agent systems --- Systems, Multiagent --- 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

Choose an application

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

This book constitutes revised, selected, and invited papers from the 4th International Workshop on Engineering Multi-Agent Systems, EMAS 2016, held in Singapore, in May 2016, in conjunction with AAMAS. The 10 full papers presented in this volume were carefully reviewed and selected from 14 submissions. The book also contains 2 invited papers; extended versions of AAMAS 2016 demonstration abstracts. EMAS deals with MAS software engineering processes, methodologies and techniques; Programming languages for MAS; Formal methods and declarative technologies for the specification, validation and verification of MAS; and development tools.

Computer science. --- Computer communication systems. --- Computer programming. --- Software engineering. --- Mathematical logic. --- Artificial intelligence. --- Computers and civilization. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Software Engineering. --- Programming Techniques. --- Computer Communication Networks. --- Mathematical Logic and Formal Languages. --- Computers and Society. --- Civilization and computers --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Computer software engineering --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Informatics --- Programming --- Civilization --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Engineering --- Coding theory --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Science --- Distributed processing --- Artificial Intelligence. --- Multiagent systems --- Artificial intelligence --- Agent-based model (Computer software) --- MASs (Multiagent systems) --- Multi-agent systems --- Systems, Multiagent --- Intelligent agents (Computer software)

Choose an application

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

This book constitutes the proceedings of the 13th German Conference on Multiagent System Technologies, MATES 2015, held in Cottbus, Germany, in September 2015. The 11 full papers papers presented together with 2 short papers, 1 invited paper and 4 extended abstracts of doctoral papers in this volume were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on MAS engineering, modeling, and simulation; smart things working together; and innovative and emerging applications of MAS.

Programming --- Computer architecture. Operating systems --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- applicatiebeheer --- apps --- vormgeving --- informatica --- mineralen (chemie) --- simulaties --- informatiesystemen --- mijnbouw --- KI (kunstmatige intelligentie) --- architectuur (informatica)

Choose an application

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

Choose an application

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

Tax law --- Law of real property --- Public law. Constitutional law --- Judicial review --- Constitutional law --- Property tax --- Law - Non-U.S. --- Law, Politics & Government --- Law - Europe, except U.K. --- Congresses --- General property tax --- Taxation of property --- Review, Judicial --- Taxation --- Wealth tax --- Capital levy --- Courts --- Delegation of powers --- Executive power --- Judicial power --- Legislation --- Legislative power --- Rule of law --- Separation of powers