- Table View
- List View
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings (Lecture Notes in Computer Science #10900)
by Didier Galmiche Stephan Schulz Roberto SebastianiThis book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018. In 2018, IJCAR unites CADE, TABLEAUX, and FroCoS, the International Symposium on Frontiers of Combining Systems, and, for the fourth time, is part of the Federated Logic Conference.The 38 revised full research papers and 8 system descriptions presented together with two invited talks were carefully reviewed and selected from 108 submissions. The papers focus on topics such as logics, deductive systems, proof-search methods, theorem proving, model checking, verification, formal methods, and program analysis.
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science #12167)
by Nicolas Peltier Viorica Sofronie-StokkermansThis two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving), and TABLEAUX (International Conference on Analytic Tableaux and Related Methods).The 46 full research papers, 5 short papers, and 11 system descriptions presented together with two invited talks were carefully reviewed and selected from 150 submissions. The papers focus on the following topics:Part I: SAT; SMT and QBF; decision procedures and combination of theories; superposition; proof procedures; non classical logicsPart II: interactive theorem proving/ HOL; formalizations; verification; reasoning systems and tools*The conference was held virtually due to the COVID-19 pandemic. Chapter ‘A Fast Verified Liveness Analysis in SSA Form’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I (Lecture Notes in Computer Science #12166)
by Nicolas Peltier Viorica Sofronie-StokkermansThis two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving), and TABLEAUX (International Conference on Analytic Tableaux and Related Methods).The 46 full research papers, 5 short papers, and 11 system descriptions presented together with two invited talks were carefully reviewed and selected from 150 submissions. The papers focus on the following topics: Part I: SAT; SMT and QBF; decision procedures and combination of theories; superposition; proof procedures; non classical logics Part II: interactive theorem proving/ HOL; formalizations; verification; reasoning systems and tools*The conference was held virtually due to the COVID-19 pandemic. Chapter ‘Constructive Hybrid Games’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (Lecture Notes in Computer Science #11714)
by Serenella Cerrito Andrei PopescuThis book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019. The 25 full papers presented were carefully reviewed and selected from 43 submissions.They present research on all aspects of the mechanization of tableaux-based reasoning and related methods, including theoretical foundations, implementation techniques, systems development and applications. The papers are organized in the following topical sections: tableau calculi, sequent calculi, semantics and combinatorial proofs, non-wellfounded proof systems, automated theorem provers, and logics for program or system verification.
Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings (Lecture Notes in Computer Science #12842)
by Anupam Das Sara NegriThis book constitutes the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, held in Birmingham, UK, in September 2021.The 23 full papers and 3 system descriptions included in the volume were carefully reviewed and selected from 46 submissions.They present research on all aspects of the mechanization of tableaux-based reasoning and related methods, including theoretical foundations, implementation techniques, systems development and applications. The papers are organized in the following topical sections: tableau calculi, sequent calculi, theorem proving, formalized proofs, non-wellfounded proofs, automated theorem provers, and intuitionistic modal logics.
Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings (Lecture Notes in Computer Science #14278)
by Revantha Ramanayake Josef UrbanThis open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs; modal logics; linear logic and MV-algebras; separation logic; and first-order logics.
Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings (Lecture Notes in Computer Science #10501)
by Renate A. Schmidt Cláudia NalonThis book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Bras#65533;lia, Bazil, in September 2017. The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions. They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers.
Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings (Lecture Notes in Computer Science #11781)
by Yu-Fang Chen Chih-Hong Cheng Javier EsparzaThis book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019.The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The papers focus on cyber-physical systems; runtime techniques; testing; automata; synthesis; stochastic systems and model checking.
The Automatic Fetish: The Law of Value in Marx's Capital
by Beverley BestWhy you should read all three volumes of Marx's Capital togetherThe Automatic Fetish recreates Marx's analysis of capital, step-by-step, through the material compiled posthumously as Capital, Volume three. Identifying the critique of value as the central through-line of the analysis, Best elaborates Marx's theory of value as a theory of movement through which the capital-machine generates social forms of appearance that are the inversions of its inner operating mechanisms.Characterizing capital&’s movement and the dynamic production of social form as a 'perceptual physics,' Best demonstrates the consistency and the coherency with which Marx's theory of value orients all trajectories of analysis in Capital 3, as well as providing the conceptual bridge between Volumes on.The book illustrates the way in which capital&’s development to this day is as much as a story of the continuity of capital's inner dynamics as it is a story of ongoing transformation of capital's surface-forms.Best develops, through Marx's critique, an analysis of money, credit, crisis, and the derivatives of profit-interest and ground-rent, that takes the reader from their emergence as capitalist forms to their current expressions. Neither a back-to-basics nor newfangled reconstruction, The Automatic Fetish eschews novelty to show why, once again, Marx deserves to be read carefully.
Automation and Autonomy: Labour, Capital and Machines in the Artificial Intelligence Industry (Marx, Engels, and Marxisms)
by James SteinhoffThis book argues that Marxist theory is essential for understanding the contemporary industrialization of the form of artificial intelligence (AI) called machine learning. It includes a political economic history of AI, tracking how it went from a fringe research interest for a handful of scientists in the 1950s to a centerpiece of cybernetic capital fifty years later. It also includes a political economic study of the scale, scope and dynamics of the contemporary AI industry as well as a labour process analysis of commercial machine learning software production, based on interviews with workers and management in AI companies around the world, ranging from tiny startups to giant technology firms. On the basis of this study, Steinhoff develops a Marxist analysis to argue that the popular theory of immaterial labour, which holds that information technologies increase the autonomy of workers from capital, tending towards a post-capitalist economy, does not adequately describe the situation of high-tech digital labour today. In the AI industry, digital labour remains firmly under the control of capital. Steinhoff argues that theories discerning therein an emergent autonomy of labour are in fact witnessing labour’s increasing automation.
Automation and Human Solidarity
by Bill JordanThis book provides a detailed analysis of the economic and political implications of the introduction of Artificial Intelligence and Robotics into the service sector of economies that have so far relied on service jobs to sustain levels of employment. It examines how reliance on coercive measures for enforcing low-paid service work attempts to postpone this third Industrial Revolution, and analyses the struggles that must still take place if we are to achieve a future of freedom and social justice for all. While automation and globalisation have made human solidarities of traditional kinds more difficult to sustain, they have also made new kinds possible. Experiments in social policy, and especially the pilot projects with unconditional Universal Basic Incomes, offer a possible model for a new kind of society. The author argues that it is politics which will determine whether we can achieve these new human solidarities.
Automation and the Future of Work
by Aaron BenanavA consensus-shattering account of automation technologies and their effect on workplaces and the labor marketSilicon Valley titans, politicians, techno-futurists and social critics have united in arguing that we are living on the cusp of an era of rapid technological automation, heralding the end of work as we know it. But does the much-discussed &“rise of the robots&” really explain the jobs crisis that awaits us on the other side of the coronavirus? In Automation and the Future of Work, Aaron Benanav uncovers the structural economic trends that will shape our working lives far into the future. What social movements, he asks, are required to propel us into post-scarcity, if technological innovation alone can&’t deliver it? In response to calls for a universal basic income that would maintain a growing army of redundant workers, he offers a counter-proposal.
Automation and Utopia: Human Flourishing in a World without Work
by John DanaherAutomating technologies threaten to usher in a workless future, but John Danaher argues that this can be a good thing. A world without work may be a kind of utopia, free of the misery of the job and full of opportunities for creativity and exploration. If we play our cards right, automation could be the path to idealized forms of human flourishing.
Autonomie und Kompetenz: Die Auswirkung der Optimierungskultur auf den Autonomiebegriff
by Silvia ConradIm Zentrum des Buches stehen der Begriff der Autonomie und seine Bedeutung (Veränderung und/oder Verlust an Bedeutung) innerhalb der gegenwärtigen Bildungslandschaft. Die zunehmende Relevanz der empirischen Bildungsforschung, Schwerpunktlegung auf die Evaluierung sowie das Aufkommen der Kompetenzmodelle wirkten sich auf die Praxis und Ziele des Bildungsprozesses aus. Die Ursachen und Begleitumstände dieser Veränderung, z. B. die Einführung der Bildungsstandards und weitreichende Testpraxis, werden analysiert und einer Kritik unterzogen.
The Autonomous Individual: A Praxeological Enactivist Account (Routledge Studies in Contemporary Philosophy)
by Martin WeicholdThis book advances a new theory of what it means to be an autonomous individual with free will and an authentic self. It synthesizes the new “action turn” from 4E cognitive science with the new “practice turn” from the social sciences to develop a new perspective on our self-interpretation as autonomous individuals.Our entire life is built upon one central foundation: the idea that we human beings are autonomous individuals. While this idea is presupposed in some academic fields, such as law and moral philosophy, it is challenged or denied in others. This book aims to move beyond debates about whether free will exists. Instead, it proposes that the idea that human beings are autonomous individuals is a culturally developed self-interpretation that is permanently enacted in social practices. Parts of it describe biological reality correctly, parts are social reality, and parts are mere fictions. This view – which the author calls "praxeological enactivism" – combines work from enactive cognitive science with practice theory from the social sciences. The book concludes by discussing the ethical advantages and dangers of the idea of the autonomous individual.The Autonomous Individual will appeal to philosophers working on free will and autonomy, moral philosophy, and philosophy of social sciences, as well as scholars and advanced students in disciplines such as cognitive science, sociology, cultural theory, and philosophical anthropology.
Autonomous Weapons Systems
by Nehal Bhuta Susanne Beck Robin Geiß Liu Hin-Yan Claus KreßThe intense and polemical debate over the legality and morality of weapons systems to which human cognitive functions are delegated (up to and including the capacity to select targets and release weapons without further human intervention) addresses a phenomena which does not yet exist but which is widely claimed to be emergent. This groundbreaking collection combines contributions from roboticists, legal scholars, philosophers and sociologists of science in order to recast the debate in a manner that clarifies key areas and articulates questions for future research. The contributors develop insights with direct policy relevance, including who bears responsibility for autonomous weapons systems, whether they would violate fundamental ethical and legal norms, and how to regulate their development. It is essential reading for those concerned about this emerging phenomenon and its consequences for the future of humanity.
Autonomy: The Social Ontology of Art under Capitalism
by Nicholas BrownIn Autonomy Nicholas Brown theorizes the historical and theoretical argument for art's autonomy from its acknowledged character as a commodity. Refusing the position that the distinction between art and the commodity has collapsed, Brown demonstrates how art can, in confronting its material determinations, suspend the logic of capital by demanding interpretive attention. He applies his readings of Marx, Hegel, Adorno, and Jameson to a range of literature, photography, music, television, and sculpture, from Cindy Sherman's photography and the novels of Ben Lerner and Jennifer Egan to The Wire and the music of the White Stripes. He demonstrates that through their attention and commitment to form, such artists turn aside the determination posed by the demand of the market, thereby defeating the foreclosure of meaning entailed in commodification. In so doing, he offers a new theory of art that prompts a rethinking of the relationship between art, critical theory, and capitalism.
Autonomy: An Essay on the Life Well-Lived
by Beate RoesslerIn everyday life, we generally assume that we can make our own decisions on matters which concern our own lives. We assume that a life followed only according to decisions taken by other people, against our will, cannot be a well-lived life – we assume, in other words, that we are and should be autonomous. However, it is equally true that many aspects of our lives are not chosen freely: this is true of social relations and commitments but also of all those situations we simply seem to stumble into, situations which just seem to happen to us. The possibility of both the success of an autonomous life and its failure are part of our everyday experiences. In this brilliant and illuminating book, Beate Roessler examines the tension between failing and succeeding to live an autonomous life and the obstacles we have to face when we try to live our life autonomously, obstacles within ourselves as well as those that stem from social and political conditions. She highlights the ambiguities we encounter, examines the roles of self-awareness and self-deception, explores the role of autonomy for the meaning of life, and maps out the social and political conditions necessary for autonomy. Informed by philosophical perspectives but also drawing on literary texts, such as those of Siri Hustvedt and Jane Austen, and diaries, including those of Franz Kafka and Sylvia Plath, Roessler develops a formidable defense of autonomy against excessive expectations and, above all, against overpowering skepticism.
Autonomy After Auschwitz: Adorno, German Idealism, and Modernity
by Martin ShusterEver since Kant and Hegel, the notion of autonomy--the idea that we are beholden to no law except one we impose upon ourselves--has been considered the truest philosophical expression of human freedom. But could our commitment to autonomy, as Theodor Adorno asked, be related to the extreme evils that we have witnessed in modernity? In Autonomy after Auschwitz, Martin Shuster explores this difficult question with astonishing theoretical acumen, examining the precise ways autonomy can lead us down a path of evil and how it might be prevented from doing so. Shuster uncovers dangers in the notion of autonomy as it was originally conceived by Kant. Putting Adorno into dialogue with a range of European philosophers, notably Kant, Hegel, Horkheimer, and Habermas--as well as with a variety of contemporary Anglo-American thinkers such as Richard Rorty, Stanley Cavell, John McDowell, and Robert Pippin--he illuminates Adorno’s important revisions to this fraught concept and how his different understanding of autonomous agency, fully articulated, might open up new and positive social and political possibilities. Altogether, Autonomy after Auschwitz is a meditation on modern evil and human agency, one that demonstrates the tremendous ethical stakes at the heart of philosophy.
Autonomy After Auschwitz: Adorno, German Idealism, and Modernity
by Martin ShusterEver since Kant and Hegel, the notion of autonomy—the idea that we are beholden to no law except one we impose upon ourselves—has been considered the truest philosophical expression of human freedom. But could our commitment to autonomy, as Theodor Adorno asked, be related to the extreme evils that we have witnessed in modernity? In Autonomy after Auschwitz, Martin Shuster explores this difficult question with astonishing theoretical acumen, examining the precise ways autonomy can lead us down a path of evil and how it might be prevented from doing so. Shuster uncovers dangers in the notion of autonomy as it was originally conceived by Kant. Putting Adorno into dialogue with a range of European philosophers, notably Kant, Hegel, Horkheimer, and Habermas—as well as with a variety of contemporary Anglo-American thinkers such as Richard Rorty, Stanley Cavell, John McDowell, and Robert Pippin—he illuminates Adorno’s important revisions to this fraught concept and how his different understanding of autonomous agency, fully articulated, might open up new and positive social and political possibilities. Altogether, Autonomy after Auschwitz is a meditation on modern evil and human agency, one that demonstrates the tremendous ethical stakes at the heart of philosophy.
Autonomy and Equality: Relational Approaches (Routledge Studies in Contemporary Philosophy)
by Natalie StoljarThis book draws connections and explores important questions at the intersection of the debates about relational autonomy and relational equality. Although these two research areas share several common assumptions and concerns, their connections have not been systematically explored. The essays in this volume address theoretical questions at the intersection of relational theories of autonomy and equality and also consider how these theoretical considerations play out in real-world contexts. Several chapters explore possible conceptual links between relational autonomy and equality by considering the role of values—such as agency, non-domination, and self-respect—to which both relational autonomy theorists and relational egalitarians are committed. Others reflect on how debates about autonomy and equality can clarify our thinking about oppression based on race and gender, and how such oppression affects interpersonal relationships. Autonomy and Equality: Relational Approaches is the first book to specifically address the relationship between these two research areas. It will be of interest to scholars and graduate students working in social and political philosophy, moral philosophy, and feminist philosophy.
Autonomy and Liberalism (Routledge Studies In Contemporary Philosophy Ser. #19)
by Ben ColburnThis book concerns the foundations and implications of a particular form of liberal political theory. Colburn argues that one should see liberalism as a political theory committed to the value of autonomy, understood as consisting in an agent deciding for oneself what is valuable and living life in accordance with that decision. Understanding liberalism this way offers solutions to various problems that beset liberal political theory, on various levels. On the theoretical level, Colburn claims that this position is the only defensible theory of liberalism in current circulation, arguing that other more dominant theories are either self-contradictory or unattractive on closer inspection. And on the practical level, Colburn draws out the substantive commitments of this position in educational, economic, and social policy. Hence, the study provides a blueprint for a radical liberal political agenda which will be of interest to philosophers and to politicians alike.
Autonomy and Normativity: Investigations of Truth, Right and Beauty (Routledge Revivals)
by Richard WinfieldThis title was first published in 2001. Autonomy and Normativity explores central topics in current philosophical debate, challenging the prevailing post-modern dogma that theory, practice and art are captive to contingent historical foundations by showing how foundational dilemmas are overcome once validity is recognized to reside in self-determination. Through constructive arguments covering the principal topics and controversies in epistemology, ethics, and aesthetics, Autonomy and Normativity demonstrates how truth, right and beauty can retain universal validity without succumbing to the mistaken Enlightenment strategy of seeking foundations for rational autonomy. Presenting a compact, yet comprehensive statement of a powerful and provocative alternative to the reigning orthodoxies of current philosophical debate, Richard Winfield employs Hegelian techniques and focus to object to opponents, and presents a radical and systematic critique of the work of mainstream thinkers including Kant, Rawls, Husserl, Habermas and others. The ramifications for the legitimation of modernity are thoroughly explored, in conjunction with an analysis of the fate of theory, practice and art in the modern world. This book offers an invaluable resource for students of both analytic and continental philosophical traditions, and related areas of law, social theory and aesthetics.
Autonomy and Normativity: Investigations of Truth, Right and Beauty (Routledge Revivals)
by Richard Dien WinfieldThis title was first published in 2001. Autonomy and Normativity explores central topics in current philosophical debate, challenging the prevailing post-modern dogma that theory, practice and art are captive to contingent historical foundations by showing how foundational dilemmas are overcome once validity is recognized to reside in self-determination. Through constructive arguments covering the principal topics and controversies in epistemology, ethics, and aesthetics, Autonomy and Normativity demonstrates how truth, right and beauty can retain universal validity without succumbing to the mistaken Enlightenment strategy of seeking foundations for rational autonomy. Presenting a compact, yet comprehensive statement of a powerful and provocative alternative to the reigning orthodoxies of current philosophical debate, Richard Winfield employs Hegelian techniques and focus to object to opponents, and presents a radical and systematic critique of the work of mainstream thinkers including Kant, Rawls, Husserl, Habermas and others. The ramifications for the legitimation of modernity are thoroughly explored, in conjunction with an analysis of the fate of theory, practice and art in the modern world. This book offers an invaluable resource for students of both analytic and continental philosophical traditions, and related areas of law, social theory and aesthetics.
Autonomy And Rigid Character
by David ShapiroIN THIS BOOK I have two principal concerns, one growing out of the other. The first issue is the general psychology of autonomy or human self-direction: the theoretical problem of autonomy as it appears in psychiatry is discussed in chapter 1;