Browse Results

Select your format based upon: 1) how you want to read your book, and 2) compatibility with your reading tool. To learn more about using Bookshare with your device, visit the Help Center.

Here is an overview of the specialized formats that Bookshare offers its members with links that go to the Help Center for more information.

• Bookshare Web Reader - A customized reading tool for Bookshare members offering all the features of DAISY with a single click of the "Read Now" link.
• DAISY (Digital Accessible Information System) - A digital book file format. DAISY books from Bookshare are DAISY 3.0 text files that work with just about every type of access technology that reads text. Books that contain images will have the download option of ‘DAISY Text with Images’.
• BRF (Braille Refreshable Format) - Digital Braille for use with refreshable Braille devices and Braille embossers.
• MP3 (MPEG audio layer 3) - Provides audio only with no text. These books are created with a text-to-speech engine and spoken by Kendra, a high quality synthetic voice from Ivona. Any device that supports MP3 playback is compatible.
• DAISY Audio - Similar to the DAISY option above; however, this option uses MP3 files created with our text-to-speech engine that utilizes Ivonas Kendra voice. This format will work with Daisy Audio compatible players such as Victor Reader Stream and Read2Go.
• EPUB - A standard e-book format that can be read on many tools, such as iBooks, Readium or others.
• Word - Accessible Word output, which can be unzipped and opened in any tool that allows .docx files

Logics in Artificial Intelligence: European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings (Lecture Notes in Computer Science #2424)

Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science #14281)

This book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023.The 41 full papers and 11 short papers included in this volume were carefully reviewed and selected from 111 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings (Lecture Notes in Computer Science #5293)

This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. The 32 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 98 submissions. The papers cover a broad range of topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, probabilistic logic, and temporal logic.

Logics in Artificial Intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings (Lecture Notes in Computer Science #6341)

Logics in Artificial Intelligence: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science #10021)

This book constitutes the proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, held in Larnaca, Cyprus, in November 2015. The 32 full papers and 10 short papers included in this volume were carefully reviewed and selected from 88 submissions. The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings (Lecture Notes in Computer Science #1919)

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics (Atlantis Studies in Computing #3)

In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two logics for computations, the graded computation tree logic and the computation tree logic with minimal model quantifiers are discussed. These have proved to be useful in describing correct executions of monolithic closed systems. The second part focuses on logics for strategies, strategy logic and memoryful alternating-time temporal logic, which have been successfully applied to formalize several properties of interactive plays in multi-entities systems modeled as multi-agent games.

The Logics of Biopower and the War on Terror: Living, Dying, Surviving

The contributors explores the intellectual, cultural, and political logics of the US-led war on terror and its consequences on lived lives in a range of contexts. The book interrogates the ways in which biopolitical practices hinge on political imaginaries and materialities of violence and death.

Logics of Hierarchy: The Organization of Empires, States, and Military Occupations

Political science has had trouble generating models that unify the study of the formation and consolidation of various types of states and empires. The business-administration literature, however, has long experience in observing organizations. According to a dominant model in this field, business firms generally take one of two forms: unitary (U) or multidivisional (M). The U-form organizes its various elements along the lines of administrative functions, whereas the M-form governs its periphery according to geography and territory. In Logics of Hierarchy, Alexander Cooley applies this model to political hierarchies across different cultures, geographical settings, and historical eras to explain a variety of seemingly disparate processes: state formation, imperial governance, and territorial occupation. Cooley illustrates the power of this formal distinction with detailed accounts of the experiences of Central Asian republics in the Soviet and post-Soviet eras, and compares them to developments in the former Yugoslavia, the governance of modern European empires, Korea during and after Japanese occupation, and the recent U.S. occupation of Iraq. In applying this model, Logics of Hierarchy reveals the varying organizational ability of powerful states to promote institutional transformation in their political peripheries and the consequences of these formations in determining pathways of postimperial extrication and state-building. Its focus on the common organizational problems of hierarchical polities challenges much of the received wisdom about imperialism and postimperialism.

The Logics of Preference: A Study of Prohairetic Logics in Twentieth Century Philosophy (Episteme #14)

Logics of Socialist Education: Engaging with Crisis, Insecurity and Uncertainty (Explorations of Educational Purpose #24)

For some, socialism is a potent way of achieving economic, political and social transformations in the twenty-first century, while others find the very term socialism outdated. This book engages readers in a discussion about the viability of socialist views on education and identifies the capacity of some socialist ideas to address a range of widely recognized social ills. It argues that these pervasive social problems, which plague so-called ‘developed’ societies as much as they contribute to the poverty, humiliation and lack of prospects in the rest of the world, fundamentally challenge us to act. In our contemporary world-system, distancing ourselves from the injustices of others is neither viable nor defensible. Rather than waiting for radically new solutions to emerge, this book sees the possibility of transformation in the reconfiguration of existing social logics that comprise our modern societies, including logics of socialism. The book presents case studies that offer a critical examination of education in contemporary socialist contexts, as well as reconsidering examples of education under historical socialism. In charting these alternatives, and retooling past solutions in a nuanced way, it sets out compelling evidence that it is possible to think and act in ways that depart from today’s dominant educational paradigm. It offers contemporary policy makers, researchers, and practitioners a cogent demonstration of the contemporary utility of educational ideas and solutions associated with socialism. A pioneering collection of essays which is central to understanding the historical and contemporary meanings of socialism in the context of neoliberal globalization. It is a most timely contribution to a growing intellectual project that challenges the hegemony of capitalism, while re-thinking and theorizing alternatives. Iveta Silova, Associate Professor of Comparative Education, Lehigh University, Bethlehem, PA, USA In this significant contribution to recent scholarship the authors use the lens of socialist education to offer an original critique of hegemonic capitalism, and present an intellectually rigorous search for alternatives by reconsidering historical socialism and advancing promising educational experiments that challenge the 'global architecture of education'.Anders Breidlid, Professor of International Education and Development, Oslo University College, Norway

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.

Logics of Variable Inclusion (Trends in Logic #59)

This monograph shows that, through a recourse to the concepts and methods of abstract algebraic logic, the algebraic theory of regular varieties and the concept of analyticity in formal logic can profitably interact. By extending the technique of Plonka sums from algebras to logical matrices, the authors investigate the different classes of models for logics of variable inclusion and they shed new light into their formal properties.The book opens with the historical origins of logics of variable inclusion and on their philosophical motivations. It includes the basics of the algebraic theory of regular varieties and the construction of Plonka sums over semilattice direct systems of algebra. The core of the book is devoted to an abstract definition of logics of left and right variable inclusion, respectively, and the authors study their semantics using the construction of Plonka sums of matrix models. The authors also cover Paraconsistent Weak Kleene logic and survey its abstract algebraic logical properties. This book is of interest to scholars of formal logic.

Logics of Worlds: Being and Event II (Bloomsbury Revelations)

Logics of Worlds is the sequel to Alain Badiou's masterpiece, Being and Event. Tackling the questions that had been left open by Being and Event, and answering many of his critics in the process, Badiou supplements his pioneering treatment of multiple being with a daring and complex theory of the worlds in which truths and subjects make their mark - what he calls a materialist dialectic. Drawing on his most ambitious philosophical predecessors - Leibniz, Kant, Hegel, Kierkegaard, Lacan, Deleuze – Badiou ends this important later work with an impassioned call to 'live for an Idea'.

Logics of Worlds: Being and Event II (Bloomsbury Revelations)

Logics of Worlds is the sequel to Alain Badiou's masterpiece, Being and Event. Tackling the questions that had been left open by Being and Event, and answering many of his critics in the process, Badiou supplements his pioneering treatment of multiple being with a daring and complex theory of the worlds in which truths and subjects make their mark - what he calls a materialist dialectic. Drawing on his most ambitious philosophical predecessors - Leibniz, Kant, Hegel, Kierkegaard, Lacan, Deleuze – Badiou ends this important later work with an impassioned call to 'live for an Idea'.

Logik: Vorlesung 1902/03 (Husserliana: Edmund Husserl – Materialien #2)

Der vorliegende Band enthält den Text der dreistündigen Vorlesung, die Husserl unter dem Titel `Logik' in Göttingen im Wintersemester 1902/03 gehalten hat. Sie fußt auf der Vorlesung `Logik und Erkenntnistheorie' des Winters 1901/02, der ersten von Husserl nach dem Erscheinen der Logischen Untersuchungen und nach seiner Berufung an die Universität Göttingen neu entworfenen Vorlesung.

Logik für Informatiker: Eine Einführung (Leitfäden und Monographien der Informatik)

Logik für Philosophen

Logik für Einsteiger. Arnold Oberschlep erläutert ausführlich die wichtigsten Begriffe und Sätze der Logik. Dabei stellt er u.a. die Aussagenlogik, Prädikatenlogik, Klassenlogik und Modallogik anschaulich dar. Klar und eingängig macht der Autor die Grundlagen, die historischen Zusammenhänge und die Sprachtheorie. Somit erschließt sich dem Leser deutlich der Zusammenhang zwischen Philosophie und Logik.

Logik im Recht: Grundlagen und Anwendungsbeispiele (Springer-Lehrbuch)

In dem Lehr- und Studienbuch zeigt der Autor, in welchem Maße logische Strukturen das Rechtsdenken bestimmen. Er erläutert die wesentlichen logischen Grundlagen und ihre Anwendung auf dem Gebiet des Rechts. Zum einen führt dies zu einem tieferen Verständnis der juristischen Dogmatik und einer systematischen Durchdringung des Rechtsstoffs, zum anderen tragen die Überlegungen zwischen Logik und Rechtswissenschaft zu neuen Erkenntnissen bei. Behandelt werden verschiedene Strukturen des Rechts, u. a. relationenlogische und syllogistische Strukturen.

Logik im Recht: Grundlagen und Anwendungsbeispiele (Springer-Lehrbuch)

In dem Lehr- und Studienbuch zeigt der Autor, in welchem Maße logische Strukturen das Rechtsdenken bestimmen. Er erläutert die wesentlichen logischen Grundlagen und ihre Anwendung auf dem Gebiet des Rechts. Zum einen führt dies zu einem tieferen Verständnis der juristischen Dogmatik und einer systematischen Durchdringung des Rechtsstoffs, zum anderen tragen die Überlegungen zwischen Logik und Rechtswissenschaft zu neuen Erkenntnissen bei. Behandelt werden verschiedene Strukturen des Rechts, u. a. relationenlogische und syllogistische Strukturen.

Logik Vorlesung 1896 (Husserliana: Edmund Husserl – Materialien #1)

Der vorliegende Band enthält Husserls einzige weitgehend vollständig erhaltene Vorlesung aus seiner Hallenser Zeit, die er 1896 unter dem Titel `Logik' gehalten und im Hinblick auf eine Veröffentlichung teilweise bearbeitet hat. Dieses husserlsche Buchprojekt wird hier der Öffentlichkeit zum ersten Mal zugänglich gemacht.

Logische Analyse der Struktur ausgereifter physikalischer Theorien ‘Non-statement view’ von Theorien (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie #2 / D)

1. Falsche Orientierung am großen Bruder? Auf die Frage nach dem Gegenstand der Wissenschaftstheorie könnte man die Antwort geben: "Kein Mensch weiß, wovon die Wissenschafts­ theorie handelt; denn sie ist eine Disziplin ohne Objekt." Dies würde an die Art und Weise erinnern, in der einst B. RUSSELL die Mathematik charak­ terisierte. Aber während er in der für ihn typischen humorvollen Weise auf das Problem der mathematischen Erkenntnis hinweisen wollte, könnte die vorliegende Antwort durchaus ernst gemeint sein und das heißt hier: durchaus boshaft. Die Behauptung ließe sich durch einen Vergleich mit der Situation in der Philosophie der Mathematik stützen. Die Entwicklung der Philosophie der Mathematik zu einer exakten Wissenschaft, genannt Metamathematik, ist Da diese durch die mathematische Grundlagenkrise hervorgerufen worden. Krise durch die Entdeckung der mengentheoretischen Antinomien aus­ gelöst wurde, wird sie oft so dargestellt, als habe es sich dabei um ein tragisches Ereignis in der modernen Mathematik gehandelt. Betrachtet man diesen Vorgang unter dem Aspekt der Wirkung, so ge­ langt man eher zu der gegenteiligen Beurteilung: Die Entdeckung von Antinomien war ein höchstgliickliches Ereignis; denn sie bewirkte den Zwang zur Formalisierung und Präzisierung des Erkenntnisgegenstandes der Phi­ losophie der Mathematik. Intuitive Vorstellungen vom mathematischen Denken wurden durch genau beschreib bare Objekte ersetzt und die Philo­ sophie der Mathematik entwickelte sich zur mathematischen Grundlagen­ forschung, die in allen ihren Verzweigungen zu Disziplinen führte, die der Mathematik an Präzision nicht nachstanden und die heute selbst als Teile der Mathematik angesehen werden.

Logische Grundlagen der Mathematik (Springer-Lehrbuch)

Der Autor vermittelt logisches Grundwissen, fundamentale Beweisprinzipien und Methoden der Mathematik. Dabei geht er u. a. folgenden Fragen nach: Was unterscheidet endliche von unendlichen Mengen? Wie lassen sich die ganzen, rationalen und reellen Zahlen aus den natürlichen Zahlen konstruieren? Welche grundlegenden topologischen Eigenschaften besitzt die Menge der reellen Zahlen? Lassen sich die natürlichen oder reellen Zahlen vollständig axiomatisch beschreiben? Pflichtlektüre für alle Studierenden der Mathematik, Physik und Informatik.

Logische Propädeutik: Vorschule des vernünftigen Redens

Logische Argumentation in den Geisteswissenschaften. Die Logische Propädeutik hat sich in den letzten Jahrzehnten als selbstständige Teildisziplin der Logik durchgesetzt. Sie beschäftigt sich mit den Bausteinen und Regeln des vernünftigen Redens und Denkens. Im Mittelpunkt steht deshalb die logische Konstruktion der wissenschaftlichen Sprache. Leicht verständlich erläutern die Autoren die Grundlagen und führen ein in die wichtigsten Aspekte der formalen Logik. Das Werk gilt als Meilenstein der philosophischen Literatur.

Logische Schriften: Grosses Logikfragment — Grundgesetze des Sollens (Synthese Historical Library #3)