Choose an application

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

This book constitutes the refereed proceedings of the Third International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2015, held in Buenos Aires, Argentina, in July 2015. The workshop was co-located with IJCAI 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers deal with formal theoretical models of argumentation and application of such models in subfields of AI, evaluation of models, both theoretical and practical, and theories and applications developed through inter-disciplinary collaboration. .

Computer Science --- Mechanical Engineering - General --- Mechanical Engineering --- Engineering & Applied Sciences --- Computer science. --- Computers. --- Information storage and retrieval. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Theory of Computation. --- Information Systems Applications (incl. Internet). --- Information Storage and Retrieval. --- 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 --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Informatics --- Science --- Information theory. --- Information storage and retrieva. --- Artificial Intelligence. --- Communication theory --- Communication --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Formal methods (Computer science) --- 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 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.

Computer science. --- Information theory. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Theory of Computation. --- Engineering & Applied Sciences --- Mechanical Engineering --- Computer Science --- Mechanical Engineering - General --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Informatics --- Communication theory --- Computers. --- Formal methods (Computer science) --- Computer logic --- Artificial intelligence --- Argumentation. --- Formale Methode. --- Künstliche Intelligenz. --- Computerunterstützte Intelligenz --- Maschinelle Intelligenz --- KI --- Intelligenz --- Formales Verfahren --- Methode --- Argumentieren --- Beweisführung --- Argumentationstheorie --- Argument --- Artificial Intelligence. --- Communication --- Cybernetics --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace