Choose an application

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

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.

software engineering --- Computer. Automation --- robots --- Logic --- ontwerpen --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- wiskunde --- programmeren (informatica) --- Computer science --- Mathematical logic

Choose an application

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

Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as fuzzy control, fuzzy databases, and fuzzy mathematics. This book provides an accessible and up-to-date introduction to this fast-growing and increasingly popular area. It focuses in particular on the development and applications of "proof-theoretic" presentations of fuzzy logics; the result of more than ten years of intensive work by researchers in the area, including the authors. In addition to providing alternative elegant presentations of fuzzy logics, proof-theoretic methods are useful for addressing theoretical problems (including key standard completeness results) and developing efficient deduction and decision algorithms. Proof-theoretic presentations also place fuzzy logics in the broader landscape of non-classical logics, revealing deep relations with other logics studied in Computer Science, Mathematics, and Philosophy. The book builds methodically from the semantic origins of fuzzy logics to proof-theoretic presentations such as Hilbert and Gentzen systems, introducing both theoretical and practical applications of these presentations.

Ordered algebraic structures --- robots --- algebra --- Logic --- logica --- Artificial intelligence. Robotics. Simulation. Graphics --- wiskunde --- Mathematical logic

Choose an application

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

Science communication, as a multidisciplinary field, has developed remarkably in recent years. It is now a distinct and exceedingly dynamic science that melds theoretical approaches with practical experience. Formerly well-established theoretical models now seem out of step with the social reality of the sciences, and the previously clear-cut delineations and interacting domains between cultural fields have blurred. Communicating Science in Social Contexts examines that shift, which itself depicts a profound recomposition of knowledge fields, activities and dissemination practices, and the value accorded to science and technology. Communicating Science in Social Contexts is the product of a long-term effort that would not have been possible without the research and expertise of the Public Communication of Science and Technology (PCST) Network and the editors. For nearly 20 years, this informal, international network has been organizing events and forums for discussion of the public communication of science. This valuable tool is recommended for those interested in teaching people how to cope in a society dominated by science and technology, particularly researchers, science journalists, science museum and science centers staff, academic researchers who study aspects of PCST, scientists who interact closely with the public, press and public information officers of scientic institutions, science theater directors, and anyone interested in issues related to science communication.

Science --- wetenschappen --- popularisering wetenschap --- onderwijssociologie --- technologiebeleid --- Business management --- management --- Economic policy and planning (general) --- Sociology of education --- bedrijfskunde --- Didactics of sciences --- handelswetenschappen --- wetenschap --- wetenschapsleer