TY - BOOK ID - 7913509 TI - Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, Tableaux 2011 ; Bern, Switzerland, July 4-8, 2011. Proceedings AU - Brunnler, Kai. AU - Metcalfe, George. AU - TABLEAUX 2011 PY - 2011 SN - 3642221181 364222119X PB - Heidelberg : Springer, DB - UniCat KW - Automatic theorem proving KW - Engineering & Applied Sciences KW - Mechanical Engineering KW - Computer Science KW - Mechanical Engineering - General KW - Information Technology KW - Artificial Intelligence KW - Computer science KW - Computer science. KW - Computer programming. KW - Software engineering. KW - Computer logic. KW - Mathematical logic. KW - Artificial intelligence. KW - Computer Science. KW - Artificial Intelligence (incl. Robotics). KW - Mathematical Logic and Formal Languages. KW - Programming Techniques. KW - Software Engineering. KW - Logics and Meanings of Programs. 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 - 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 - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computer software engineering KW - Engineering KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Informatics KW - Science KW - Programming KW - Logic design. KW - Artificial Intelligence. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Switching theory UR - https://www.unicat.be/uniCat?func=search&query=sysid:7913509 AB - This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods such as analytic tableaux for various logics, related techniques and concepts, related methods, new calculi and methods for theorem proving in classical and non-classical logics, as well as systems, tools, implementations and applications; all with a special focus on hardware and software verifications, semantic technologies, and knowledge engineering. ER -