TY - BOOK ID - 8429624 TI - Theory and Applications of Formal Argumentation : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers AU - Black, Elizabeth. AU - Modgil, Sanjay. AU - Oren, Nir. AU - TAFA (Workshop) PY - 2014 SN - 3642543723 3642543731 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Computer science. KW - Information theory. KW - Artificial intelligence. KW - Computer Science. KW - Artificial Intelligence (incl. Robotics). KW - Theory of Computation. KW - Engineering & Applied Sciences KW - Mechanical Engineering KW - Computer Science KW - Mechanical Engineering - General KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Informatics KW - Communication theory KW - Computers. KW - Formal methods (Computer science) KW - Computer logic KW - Artificial intelligence KW - Argumentation. KW - Formale Methode. KW - Künstliche Intelligenz. KW - Computerunterstützte Intelligenz KW - Maschinelle Intelligenz KW - KI KW - Intelligenz KW - Formales Verfahren KW - Methode KW - Argumentieren KW - Beweisführung KW - Argumentationstheorie KW - Argument KW - Artificial Intelligence. KW - Communication KW - Cybernetics KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Computer systems KW - Calculators KW - Cyberspace UR - https://www.unicat.be/uniCat?func=search&query=sysid:8429624 AB - 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. ER -