Belief Revision in Non-Classical Logics

Author: Márcio Moretto Ribeiro

Publisher: Springer Science & Business Media

ISBN: 1447141865

Category: Computers

Page: 120

View: 8360

DOWNLOAD NOW »
Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this problem; however, classical belief revision is not well suited for logics such as Description Logics. Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of logics that include – besides most Description Logics such as the ones behind OWL – Horn Logic and Intuitionistic logic, amongst others. The author also presents algorithms for the most important constructions in belief bases. Researchers and practitioners in theoretical computing will find this an invaluable resource.

Scalable Uncertainty Management

8th International Conference, SUM 2014, Oxford, UK, September 15-17, 2014, Proceedings

Author: Umberto Straccia,Andrea Cali

Publisher: Springer

ISBN: 3319115081

Category: Computers

Page: 322

View: 1114

DOWNLOAD NOW »
This book constitutes the refereed proceedings of the 8th International Conference on Scalable Uncertainty Management, SUM 2014, held in Oxford, UK, in September 2014. The 20 revised full papers and 6 revised short papers were carefully reviewed and selected from 47 submissions. The papers cover topics in all areas of managing and reasoning with substantial and complex kinds of uncertain, incomplete or inconsistent information including applications in decision support systems, machine learning, negotiation technologies, semantic web applications, search engines, ontology systems, information retrieval, natural language processing, information extraction, image recognition, vision systems, data and text mining, and the consideration of issues such as provenance, trust, heterogeneity, and complexity of data and knowledge.

Sterne über Cornwall

Roman

Author: Liz Fenwick

Publisher: Goldmann Verlag

ISBN: 3641086116

Category: Fiction

Page: 416

View: 5187

DOWNLOAD NOW »
Romantisch, mitreißend und geheimnisvoll Nach dem Tod ihres Mannes erscheint es der Künstlerin Maddie wie ein Geschenk des Himmels, als sie ein Haus in Cornwall erbt. Doch der ersehnte Neuanfang ist hart: Der einst prächtige Landsitz bröckelt an allen Ecken und Enden, für ihre rebellierende Stieftochter ist sie nur »die Hexe«, und um ihren Verstand scheint es auch nicht gut bestellt zu sein, denn sie meint, in einem leeren Zimmer das Weinen eines Babys zu hören. Erst als Maddie sich selbst als Teil einer Ahnenkette von Frauen begreift, deren Geheimnisse die Mauern von Trevenen hüten, kann sie ihren Frieden mit der Vergangenheit machen und ein neues Leben beginnen ...

Träume wie Sand und Meer

Roman

Author: Beatriz Williams

Publisher: Blanvalet Verlag

ISBN: 3641176700

Category: Fiction

Page: 448

View: 3681

DOWNLOAD NOW »
Geheime Lieben, Frauen, die sich an keine Regel halten, – und ein umwerfender Held Cape Cod, Sommer 1966. Christina, von allen Tiny genannt, ist elegant und die perfekte Ehefrau. Ihr Mann Frank, einer der begehrtesten und reichsten Männer im Lande, steckt mitten im Wahlkampf. Doch hinter der Fassade ist längst nicht alles perfekt. Tiny kommen Zweifel, wie schon kurz vor ihrer Hochzeit zwei Jahre zuvor, ob dies das richtige Leben für sie ist. Damals wollte sie ihre Verlobung lösen, um ihren eigenen Weg zu gehen. Einmal in ihrem Leben benahm sie sich nicht anständig, sondern verliebte sich in einen anderen Mann und ließ ihn kompromittierende Bilder von ihr machen. Nun platzt ihre unberechenbare Schwester Pepper in ihr Leben, ihr einstiger Liebhaber taucht auf sowie ein Erpresserbrief mit einem Foto von damals. Schon bald realisiert Tiny, dass ihre Zweifel berechtigt sind und die Familie so krank vor Ehrgeiz ist, dass sie zu beinah allem bereit wäre ...

Bernhard Riemann 1826–1866

Wendepunkte in der Auffassung der Mathematik

Author: Detlef Laugwitz

Publisher: Springer-Verlag

ISBN: 3034889836

Category: Mathematics

Page: 348

View: 3063

DOWNLOAD NOW »
Das Riemannsche Integral lernen schon die Schüler kennen, die Theorien der reellen und der komplexen Funktionen bauen auf wichtigen Begriffsbildungen und Sätzen Riemanns auf, die Riemannsche Geometrie ist für Einsteins Gravitationstheorie und ihre Erweiterungen unentbehrlich, und in der Zahlentheorie ist die berühmte Riemannsche Vermutung noch immer offen. Riemann und sein um fünf Jahre jüngerer Freund Richard Dedekind sahen sich als Schüler von Gauss und Dirichlet. Um die Mitte des 19. Jahrhunderts leiteten sie den Übergang zur "modernen Mathematik" ein, der eine in Analysis und Geometrie, der andere in der Algebra mit der Hinwendung zu Mengen und Strukturen. Dieses Buch ist der erste Versuch, Riemanns wissenschaftliches Werk unter einem einheitlichen Gesichtspunkt zusammenzufassend darzustellen. Riemann gilt als einer der Philosophen unter den Mathematikern. Er stellte das Denken in Begriffen neben die zuvor vorherrschende algorithmische Auffassung von der Mathematik, welche die Gegenstände der Untersuchung, in Formeln und Figuren, in Termumformungen und regelhaften Konstruktionen als die allein legitimen Methoden sah. David Hilbert hat als Riemanns Grundsatz herausgestellt, die Beweise nicht durch Rechnung, sondern lediglich durch Gedanken zu zwingen. Hermann Weyl sah als das Prinzip Riemanns in Mathematik und Physik, "die Welt als das erkenntnistheoretische Motiv..., die Welt aus ihrem Verhalten im un- endlich kleinen zu verstehen."

Algorithmen für Dummies

Author: John Paul Mueller,Luca Massaron

Publisher: John Wiley & Sons

ISBN: 3527809775

Category: Computers

Page: 320

View: 6903

DOWNLOAD NOW »
Wir leben in einer algorithmenbestimmten Welt. Deshalb lohnt es sich zu verstehen, wie Algorithmen arbeiten. Das Buch präsentiert die wichtigsten Anwendungsgebiete für Algorithmen: Optimierung, Sortiervorgänge, Graphentheorie, Textanalyse, Hashfunktionen. Zu jedem Algorithmus werden jeweils Hintergrundwissen und praktische Grundlagen vermittelt sowie Beispiele für aktuelle Anwendungen gegeben. Für interessierte Leser gibt es Umsetzungen in Python, sodass die Algorithmen auch verändert und die Auswirkungen der Veränderungen beobachtet werden können. Dieses Buch richtet sich an Menschen, die an Algorithmen interessiert sind, ohne eine Doktorarbeit zu dem Thema schreiben zu wollen. Wer es gelesen hat, versteht, wie wichtige Algorithmen arbeiten und wie man von dieser Arbeit beispielsweise bei der Entwicklung von Unternehmensstrategien profitieren kann.

Analytische Transmissionselektronenmikroskopie

Eine Einführung für den Praktiker

Author: Jürgen Thomas,Thomas Gemming

Publisher: Springer-Verlag

ISBN: 3709114403

Category: Science

Page: 363

View: 8319

DOWNLOAD NOW »
Die Autoren des Buches fassen ihre im Zuge vielseitiger Lehrtätigkeit gesammelten Erfahrungen zu häufig gestellten Fragen und Problemen von Anfängern im Umgang mit dem analytischen Transmissionselektronenmikroskop anschaulich zusammen. Dabei bilden Erklärungen anhand einfacher Modellvorstellungen und Hinweise zur praktischen Umsetzung des Erlernten die Schwerpunkte des Buches. Dieses praxisnahe Lehrbuch bietet somit eine klare und verständliche Einführung für all jene, die für Ihre Arbeit das Transmissionselektronenmikroskop verwenden wollen, jedoch noch nicht speziell dafür ausgebildet sind.

Vom Universum zu den Elementarteilchen

Eine erste Einführung in die Kosmologie und die fundamentalen Wechselwirkungen

Author: Ulrich Ellwanger

Publisher: Springer-Verlag

ISBN: 3662466465

Category: Science

Page: 202

View: 1015

DOWNLOAD NOW »
Das Buch stellt die Grundlagen der modernen Elementarteilchenphysik und Kosmologie, sowie die aktuellen offenen Fragen bis zur Stringtheorie dar. Es enthält elementare Einführungen in die spezielle und allgemeine Relativitätstheorie, die klassische und Quanten-Feldtheorie. Die wesentlichen Aspekte dieser Konzepte und viele Phänomene werden mit Hilfe einfacher Rechnungen verstanden, wobei keine höheren mathematischen oder physikalischen Kenntnisse vorausgesetzt werden. Ebenfalls behandelt werden unter anderem der Big Bang, dunkle Materie und dunkle Energie, sowie die Funktionsweise des Beschleunigers LHC. Neu in dieser dritten Auflage ist die Beschreibung der Entdeckung des Higgs-Bosons und dessen Produktions- und Zerfallsprozesse.

Die Grundlagen der Mathematik

Author: David Hilbert

Publisher: Springer-Verlag

ISBN: 3663161021

Category: Mathematics

Page: 29

View: 5755

DOWNLOAD NOW »
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.

Der Turing Omnibus

Eine Reise durch die Informatik mit 66 Stationen

Author: A.K. Dewdney

Publisher: Springer-Verlag

ISBN: 3642788726

Category: Computers

Page: 496

View: 3869

DOWNLOAD NOW »
Der Turing Omnibus macht in 66 exzellent geschriebenen Beiträgen Station bei den interessantesten Themen aus der Informatik, der Computertechnologie und ihren Anwendungen.

Wirtschaftsinformatik 2005

eEconomy, eGovernment, eSociety

Author: Otto K. Ferstl,Elmar J. Sinz,Sven Eckert,Tilman Isselhorst

Publisher: Springer-Verlag

ISBN: 3790816248

Category: Business & Economics

Page: 1774

View: 4271

DOWNLOAD NOW »
Die 7. Internationale Tagung Wirtschaftsinformatik 2005 (WI 2005) steht unter dem Leitthema eEconomy, eGovernment, eSociety. Durch dieses Thema kommt der erweiterte Gegenstand der Fachdisziplin Wirtschaftsinformatik zum Ausdruck, der ausgehend von Informationssystemen in Unternehmen zunehmend auch Informationssysteme in öffentlichen Verwaltungen und privaten Haushalten umfasst. Die Beiträge zur WI 2005 greifen folgende Schwerpunkte auf: ERP und SCM, Grid Computing, CRM/SRM, Internet-Ökonomie, eBusiness, Outsourcing, eFinance, IS- und SW-Architekturen, eGovernment, eProcurement, eLearning, Wissensmanagement, Private Services, Ubiquitous Computing, IT-Security, Semantic Web, Information Warehousing, EAI, Mobile Systeme, Softwareagenten. Darüber hinaus enthält der Tagungsband ausgewählte Hauptbeiträge namhafter Autoren. Das Buch richtet sich an Wissenschaftler und Praktiker. Es bietet Orientierungshilfe und einen umfassenden Einblick in die genannten Forschungsfelder.

Dialogischer Konstruktivismus

Author: Kuno Lorenz

Publisher: Walter de Gruyter

ISBN: 3110210398

Category: Philosophy

Page: 188

View: 4862

DOWNLOAD NOW »
In these seven essays published from 1986 to 2008, philosophy is portrayed as an activity in which one gives an account of the experiences that one has and transmits through acting and speaking. A dialogical principle is an essential element of this account: in the „I-role," one acts and speaks, while in the „you-role," one passively experiences and understands. Only through learning from one another can the mutually dependent qualities of individuality and sociality gradually develop.

Wege zur Vernunft

Philosophieren zwischen Tätigkeit und Reflexion

Author: Kai Buchholz,Shahid Rahman,Ingrid Weber

Publisher: Campus Verlag

ISBN: 9783593363042

Category: Philosoph, German

Page: 248

View: 912

DOWNLOAD NOW »