Choose an application

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

This book constitutes the refereed proceedings of the 4th  International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017.  The workshop was co-located with  International Joint Conference on Artifi cial Intelligence (IJCAI 2017). The 15 revised full papers presented were carefully reviewed and selected from 20 submissions. The workshops covers the subjects such as non-monotonic reasoning, decision making, inter-agent communication, the semantic web, grid applications, ontologies, recommender systems, machine learning, neural networks, trust computing, normative systems, social choice theory, judgement aggregation and game theory, and law and medicine.

Computer science. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical statistics. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters. --- Probability and Statistics in Computer 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 --- Mathematics --- Statistical inference --- Statistics, Mathematical --- Statistics --- Probabilities --- Sampling (Statistics) --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Informatics --- Science --- Statistical methods --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Formal methods (Computer science)

Choose an application

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

This book constitutes the refereed proceedings of the second International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2013, held in Beijing, China, in August 2013. The Workshop was co-located with IJCAI 2013. The 15 revised full papers presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections such as abstract argumentation frameworks, social abstract argumentation with votes on attacks, a normal form of argumentation frameworks, assumption-based argumentation, argument schemes for normative practical reasoning.

Mathematical control systems --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- toegepaste informatica --- computers --- KI (kunstmatige intelligentie) --- computerkunde --- robots --- informatietheorie

Choose an application

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

This book constitutes the thoroughly refereed proceedings of the First International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2011, held in Barcelona, Spain, in Juli 2011, as a workshop at IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence. The 9 revised full papers presented together with 8 revised poster papers were carefully selected during two rounds of reviewing and improvement from 32 initial submissions. The workshop promotes and fosters uptake of argumentation as a viable AI paradigm with wide ranging application, and provides a forum for further development of ideas and the initiation of new and innovative collaborations. The papers cover the following topics: properties of formal models of argumentation; instantiations of abstract argumentation frameworks; relationships among different argumentation frameworks; practical applications of formal models of argumentation; argumentation and other artificial intelligence techniques; evaluation of formal models of argumentation; validation and evaluation of applications of argumentation.

Engineering & Applied Sciences --- Mechanical Engineering --- Computer Science --- Mechanical Engineering - General --- Information Technology --- Artificial Intelligence --- Formal methods (Computer science) --- Computer logic --- Artificial intelligence --- Computer science. --- Computer communication systems. --- Data mining. --- Artificial intelligence. --- Computers and civilization. --- Law. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Information Systems Applications (incl. Internet). --- Data Mining and Knowledge Discovery. --- Computer Communication Networks. --- Computers and Society. --- Law, general. --- Acts, Legislative --- Enactments, Legislative --- Laws (Statutes) --- Legislative acts --- Legislative enactments --- Jurisprudence --- Legislation --- Civilization and computers --- Civilization --- 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 --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- 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 book constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2014. The workshops were co-located with AAMAS 2014, held in Paris, France, in May 2014, and with PRICAI 2014, held in Gold Coast, QLD, Australia, in December 2014. The 16 full papers were carefully reviewed and selected for inclusion in this volume. The papers cover a wide range of topics from work on formal aspects of normative and team based systems, to software engineering with organisational concepts, to applications of COIN based systems, and to philosophical issues surrounding socio-technical systems. They highlight not only the richness of existing work in the field, but also point out the challenges and exciting research that remains to be done in the area.

Computer Science --- Mechanical Engineering - General --- Engineering & Applied Sciences --- Mechanical Engineering --- Computer science. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- 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 --- Artificial Intelligence. --- Intelligent agents (Computer software)

Choose an application

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

Argumentation, which has long been a topic of study in philosophy, has become a well-established aspect of computing science in the last 20 years.This book presents the proceedings of the fifth conference on Computational Models of Argument (COMMA), held in Pitlochry, Scotland in September 2014. Work on argumentation is broad, but the COMMA community is distinguished by virtue of its focus on the computational and mathematical aspects of the subject. This focus aims to ensure that methods are sound - that they identify arguments that are correct in some sense - and provide an unambiguous speci

Artificial intelligence --- Reasoning --- Argumentation --- Ratiocination --- Reason --- Thought and thinking --- Judgment (Logic) --- Logic --- 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 simulation