Abstract | Keywords | Export | Availability | Bookmark

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