Choose an application

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

1. Introduction -- 2. Preference Logics -- 3. Nonmonotonic Inference Relations -- 4. Consistency-Based Logics -- 5. Abduction -- 6. Semantics of Programs with Negation -- 7. Nonmonotonicity in Logic Programming.

Artificial intelligence. Robotics. Simulation. Graphics --- Mathematical logic --- Reasoning --- Logic. --- Raisonnement --- Logique --- Nonmonotonic reasoning. --- 681.3*I23 --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Logic --- Nonmonotonic reasoning --- Non-monotonic reasoning --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Thought and thinking --- Methodology --- Artificial intelligence.

Choose an application

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

This book constitutes the 13th edition of the annual Multi-Agent Programming Contest, MAPC 2018, and presents its participants. The 2018 scenario and all its changes from previous competitions are described in the first contribution, together with a brief description and analysis of the five participating teams and a closer look at the matches. It is followed by a contribution from each team, introducing their methods and tools used to create their agent team and analyzing their performance and the contest.

Artificial intelligence. --- Computer communication systems. --- Special purpose computers. --- Application software. --- Coding theory. --- Information theory. --- Software engineering. --- Artificial Intelligence. --- Computer Communication Networks. --- Special Purpose and Application-Based Systems. --- Information Systems Applications (incl. Internet). --- Coding and Information Theory. --- Software Engineering/Programming and Operating Systems. --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics --- Data compression (Telecommunication) --- Digital electronics --- Information theory --- Machine theory --- Signal theory (Telecommunication) --- Computer programming --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Special purpose computers --- Computers --- 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 --- Electronic data processing --- Network computers --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Distributed processing

Choose an application

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

These are the proceedings of the 8th International Workshop on Multi Agent Systems Technologies (MATES 2010), held during 27-29 September in Leipzig, collocated with the 40th Annual Conference of the Gesellschaft fur Informatik e.V. (GI). The main aim of the MATES conference series consists in bringing together researchers from around the world and providing a fruitful discussion basis for exchanging ideas and sharing the latest scienti?c results. Since its inception in 2003,MATES hasbeen collocatedwith mainstreamsoftwareengineering conf- ences like the NetObjectDays as well as with the German Arti?cial Intelligence Conference (KI) and has thus strived to address the full range of agent research topics from practical applications and tools for agent technology to the th- retical foundations of multi-agent systems. In addition to the broad range of topics covered by MATES, special areas of interest (hot topics) within the ?eld of multi-agent systems have been identi?ed in recent years and have in?uenced the conferences. Multi-agentsystemsarecommunitiesofproblem-solvingentitiesthatcanp- ceive and act upon their environment in order to achieve both their individual goals and their joint goals. The work on such systems integrates many techno- giesandconceptsfromarti?cialintelligenceandotherareasofcomputingaswell as other disciplines. In recent years, the agent paradigm has gained popularity, due to its applicability to a full spectrum of domains, such as search engines, recommendation systems, educational support, e-procurement, simulation and routing, electronic commerce and trade, etc.

Logic --- Computer science --- Programming --- Computer architecture. Operating systems --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- applicatiebeheer --- apps --- computers --- programmeren (informatica) --- informatiesystemen --- software engineering --- KI (kunstmatige intelligentie) --- computernetwerken --- architectuur (informatica)

Choose an application

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

This book constitutes the refereed proceedings of the Second International Workshop on Engineering Multi-Agent Systems, EMAS 2014, held in Paris, France, in May 2014. The 22 full papers were carefully reviewed and selected from 41 submissions. The focus of the papers is on following topics: intelligent agents, multi-agent systems, software design engineering, model-driven software engineering, reasoning about belief and knowledge, cooperation and coordination, constraint and logic programming, software verification, design patterns.

Computer science --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- computers --- programmeren (informatica) --- software engineering --- KI (kunstmatige intelligentie) --- computerkunde --- robots

Choose an application

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

This volume is based on papers presented during the ICLP '94 Workshop on Nonmonotonic Extensions of Logic Programming and on papers solicited afterwards from key researchers participating in the workshop. In total 10 carefully refereed, revised, full research papers on semantics and computational aspects of logic programs are included. Logic programs rely on a nonmonotonic operator often referred to as negation by failure or negation by default. The nonmonoticity of this operator allows to apply results from the area of nonmonotonic theories to the investigation of logic programs (and vice versa). This volume is devoted to the interdependence of nonmonotonic formalisms and logic programming.

Logic programming --- Logisch programmeren --- Logische programmering --- Programmation logique --- Programmeren [Logisch ] --- Programming [Logic ] --- Artificial intelligence. --- Computer network architectures. --- Software engineering. --- Information theory. --- Artificial Intelligence. --- Computer System Implementation. --- Software Engineering/Programming and Operating Systems. --- Theory of Computation. --- Communication theory --- Communication --- Cybernetics --- Computer software engineering --- Engineering --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- 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