Results for 'Gerhard Lakemeyer'

(not author) ( search as author name )
1000+ found
Order:
  1.  7
    A semantic characterization of a useful fragment of the situation calculus with knowledge.Gerhard Lakemeyer & Hector J. Levesque - 2011 - Artificial Intelligence 175 (1):142-164.
  2.  3
    Limited reasoning in first-order knowledge bases.Gerhard Lakemeyer - 1994 - Artificial Intelligence 71 (2):213-255.
  3.  6
    Relevance from an epistemic perspective.Gerhard Lakemeyer - 1997 - Artificial Intelligence 97 (1-2):137-167.
  4.  4
    Limited reasoning in first-order knowledge bases with full introspection.Gerhard Lakemeyer - 1996 - Artificial Intelligence 84 (1-2):209-255.
  5.  13
    The Logic of Knowledge Bases.Hector J. Levesque & Gerhard Lakemeyer - 2001 - MIT Press.
    This book describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. The idea of knowledge bases lies at the heart of symbolic, or "traditional," artificial intelligence. A knowledge-based system decides how to act by running formal reasoning procedures over a body of explicitly represented knowledge—a knowledge base. The system is not programmed for specific tasks; rather, it is (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  6.  3
    Semantical considerations on multiagent only knowing.Vaishak Belle & Gerhard Lakemeyer - 2015 - Artificial Intelligence 223 (C):1-26.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  8
    SLAP: Specification logic of actions with probability.Gavin Rens, Thomas Meyer & Gerhard Lakemeyer - 2014 - Journal of Applied Logic 12 (2):128-150.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  6
    Levesque's axiomatization of only knowing is incomplete.Joseph Y. Halpern & Gerhard Lakemeyer - 1995 - Artificial Intelligence 74 (2):381-387.
  9.  15
    Belief revision and projection in the epistemic situation calculus.Christoph Schwering, Gerhard Lakemeyer & Maurice Pagnucco - 2017 - Artificial Intelligence 251 (C):62-97.
  10. The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
    The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of the situation calculus, show how knowledge and time have been addressed in this framework, and point to some of the weaknesses of the situation calculus with respect to time. We then present a modal version of the situation calculus where these problems can be overcome with relative ease and without sacrificing the advantages (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11.  18
    Experiences with an interactive museum tour-guide robot.Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard Lakemeyer, Dirk Schulz, Walter Steiner & Sebastian Thrun - 1999 - Artificial Intelligence 114 (1-2):3-55.
  12.  26
    Gerhard Lakemeyer. Steps towards a first-order logic of explicit and implicit belief. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 325–340. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):668.
  13.  15
    Review: Gerhard Lakemeyer, Steps Towards a First-Order Logic of Explicit and Implicit Belief. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):668-668.
  14.  18
    Werte in den Wissenschaften: 100 Jahre nach Max Weber.Gerhard Zecha (ed.) - 2006 - Tübingen: Mohr Siebeck.
    English summary: This volume contains controversial views and discussions on the purpose, function, analysis and justification of value judgments and norms in the social sciences and humanities.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  6
    Entre intuition et analyse: Poincaré et le concept de prédicativité.Gerhard Heinzmann - 1985 - Paris: Librairie scientifique et technique.
  16. First competition section paper published.G. Lakemeyer - 2013 - Artificial Intelligence 198 (C):72.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  41
    Benjamin's ghosts: interventions in contemporary literary and cultural theory.Gerhard Richter (ed.) - 2002 - Stanford, Calif.: Stanford University Press.
    Although Walter Benjamin's writings are considered to be among the most powerful theoretical enterprises of the twentieth century, his ideas are resistant to cooptation by the doctrines of various critical programs. These essays engage this resistance by examining the ghostly in Benjamin's work. The contributors show that the haunting truths Benjamin offers point towards new forms of responsibility. These truths reside in a figurative elsewhere, a ghostly space that his texts delimit but never fully inhabit, and these essays seek to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  3
    Admissible extensions of subtheories of second order arithmetic.Gerhard Jäger & Michael Rathjen - 2024 - Annals of Pure and Applied Logic 175 (7):103425.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  8
    Vom Umsturz der Werte in der modernen Gesellschaft: II. Internationales Kolloquium der Max-Scheler-Gesellschaft e.V., Universität zu Köln, 7.-10. Juni 1995.Gerhard Pfafferott (ed.) - 1997 - Bonn: Bouvier.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Einleitung : Die Bedeutung der jüdischen Minderheit für die Musikkultur der Berliner Aufklärung.Anselm Gerhard - 1999 - In Musik und Ästhetik im Berlin Moses Mendelssohns. Tübingen: Niemeyer.
  21.  7
    Raum-zeitliche Vermittlung der Transzendenz: zur "sakramentalen" Dimension religiöser Tradition: Arbeitsdokumentation eines Symposions.Gerhard Oberhammer & Marcus Schmücker (eds.) - 1999 - Wien: Verlag der Österreichischen Akademie der Wissenschaften.
    Proceedings of a symposium held Sept. 24-28, 1996 in Vienna, Austria.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  72
    Nonmonotonic reasoning: logical foundations of commonsense.Gerhard Brewka (ed.) - 1991 - New York: Cambridge University Press.
    In this book the author gives a broad overview of different areas of research in nonmonotonic reasoning, and presents some new results and ideas based on his research. The guiding principles are: clarification of the different research activities in the area, which have sometimes been undertaken independently of each other; and appreciation of the fact that these research activities often represent different means to the same ends, namely sound theoretical foundations and efficient computation. The book begins with a discussion of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  23.  10
    Ein zweiter Fall von Nachträglichkeit.Gerhard Dahl - 2018 - Psyche 72 (5):342-373.
    Die jetzt vorliegende ungekürzte Korrespondenz zwischen Sigmund Freud und Karl Abraham in originalem Deutsch erlaubt Einblicke in den wissenschaftlichen Austauschprozess bei der Entwicklung ihrer psychoanalytischen Konzepte. Abrahams einseitig-genetische Vorstellungen über die destruktiv-sadistischen Aspekte der Oralität und über die frühen Objektbeziehungen sind bei Freud auf Widerspruch gestoßen. Freud erweist sich einerseits als geduldiger Lehrer und Supervisor für Abraham. Andererseits ist er auch kritischer Mahner, der Abraham bis in die letzten Briefe daran erinnert, die Grundbedingungen der Neurosenentstehung zu beachten. Die Ergebnisse von (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Reliable knowledge and social epistemology: essays on the philosophy of Alvin Goldman and replies by Goldman.Gerhard Schurz & Markus Werning (eds.) - 2009 - New York: Rodopi.
    The volume contains the written versions of all papers given at the workshop, divided into five chapters and followed by Alvin Goldman's replies in the sixth.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  25.  6
    Wissenschaft und Wissenschaftsbegriff.Gerhard Funke, Erhard Scheibe & Akademie der Wissenschaften und der Literatur - 1983
    Enthält: Gesichtspunkte zur Beurteilung von Wissenschaftsbegriffen / von Gerhard Funke. Kriterien zur Beurteilung der Naturwissenschaften / von Erhard Scheibe.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  8
    Eudämonie – Vom guten, besseren, gelingenden Leben.Gerhard Danzer - 2023 - Springer Berlin Heidelberg.
    Der Titel Eudämonie verspricht Schönes, Angenehmes, Erbauliches, und alles das will und soll dieses Buch auch leisten. Wer von uns wünschte sich nicht ein gutes und gelingendes Leben, ohne allerdings so mir nichts, dir nichts sagen zu können, woraus denn dieses Gute, Schöne und Wahre besteht. Wer von uns kennt nicht den intensiven Wunsch nach Glück und Zufriedenheit, und wem begegneten bei seiner oder ihrer Suche nach Glück und Zufriedenheit aber nicht schon Hürden und Herausforderungen aller Art, die uns bisweilen (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  23
    Organallokation bei der Leber: Das Kriterium der „Erfolgsaussicht“ im Sinne der Rettung einer größeren Anzahl von Patienten im deutschen Transplantationssystem.Gerhard Dannecker - 2018 - Jahrbuch für Wissenschaft Und Ethik 23 (1):173-206.
    Zusammenfassung In Deutschland verlangt das Transplantationsgesetz die Zuteilung von postmortal gespendeten Organen nach den Kriterien der Dringlichkeit und der Erfolgsaussicht. Der herrschenden Auffassung zufolge darf die Erfolgsaussicht hierbei jedoch lediglich den Charakter einer Minimalnutzenschwelle annehmen. Eine darüber hinausgehende Gewichtung von Erfolgsaussichten soll zudem nicht mit der Lebenswertindifferenzkonzeption des Bundesverfassungsgerichts zu vereinbaren sein, die aus dem Gleichheitsgrundsatz sowie aus der Menschenwürde abgeleitet wird. Gerhard Dannecker argumentiert, diese im juristischen Schrifttum überwiegend vertretene Auffassung sei weniger zwingend, als es auf den ersten (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28. Philosophie als Lebenskunst: antike Vorbilder, moderne Perspektiven.Gerhard Ernst (ed.) - 2016 - Berlin: Suhrkamp.
     
    Export citation  
     
    Bookmark  
  29. Kyrie für Clara : Kinder- und Männerszenen von Robert Schumann.Gerhard Herrgott - 2001 - In Norbert Haas, Rainer Nägele, Hans-Jörg Rheinberger & Gerhard Herrgott (eds.), Kontamination. Eggingen: Edition Isele.
    No categories
     
    Export citation  
     
    Bookmark  
  30. Comenius Bibliographie: deutschsprachige Titel, 1870-1999.Gerhard Michel (ed.) - 2000 - Sankt Augustin: Academia Verlag.
  31. Zur Aktualität von Shmuel N. Eisenstadt: Einleitung in sein Werk.Gerhard Preyer - 2011 - Wiesbaden: VS, Verlag für Sozialwissenschaften.
    Das Buch bietet einen hervorragenden Einstieg in die Theorie von Shmuel N. Eisenstadt. Es werden die zentralen Theorieannahmen dargestellt und die Bedeutung für die Kultur- und Sozialwissenschaften der Gegenwart aufgezeigt.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  7
    Cumulative default logic.Gerhard Brewka - 1991 - Artificial Intelligence 50 (2):183-205.
  33.  4
    Preferred answer sets for extended logic programs.Gerhard Brewka & Thomas Eiter - 1999 - Artificial Intelligence 109 (1-2):297-356.
  34.  28
    Belief revision in a framework for default reasoning.Gerhard Brewka - 1991 - In André Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change. Springer. pp. 206--222.
    Direct download  
     
    Export citation  
     
    Bookmark   27 citations  
  35.  4
    Wolff nach Kant: eine Bibliographie.Gerhard Biller - 2004 - New York: G. Olms.
  36.  49
    E-teaching-panacea or crisis?Gerhard Chroust - 2003 - World Futures 59 (1):51 – 62.
    Human beings need communication. During the development of mankind, a multitude of communication technologies have been invented and used. Some of them had a dramatic impact on society in general and on the way scientific knowledge was disseminated. In this article we discuss some of the effects of each of these changes to teaching as a way of disseminating scientific knowledge. We discuss some of the potential effects caused by the new revolution of communication due to the World Wide Web (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  19
    Karl Albrecht Schachtschneider: Grenzen der Religionsfreiheit am Beispiel des Islam.Gerhard Czermak - 2012 - Zeitschrift für Religions- Und Geistesgeschichte 64 (1):82-84.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  31
    Die Objektivität der Moral.Gerhard Ernst - 2008 - Paderborn: Mentis.
    Wer hat sich nicht schon gefragt, was es mit unseren moralischen Überzeugungen auf sich hat: Spiegeln diese die Wahrheit in Sachen Moral wieder? Gibt es eine solche Wahrheit überhaupt? Oder sind moralische Überzeugungen eher das Produkt unserer Interessen und Neigungen, Ausdruck unserer Wünsche oder Mittel der Machtausübung, das bloße Ergebnis unserer Erziehung, unseres sozialen Umfelds oder gar eine List der Evolution? Ist es eine Illusion, wenn man glaubt, echte moralische Erkenntnisse gewinnen zu können? Kurzum: Kann die Moral Objektivität beanspruchen? Die (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  39.  15
    Nonmonotonic Reasoning: An Overview.Gerhard Brewka, Jürgen Dix & Kurt Konolige - 1997 - Center for the Study of Language and Inf.
    Nonmonotonic reasoning in its broadest sense is reasoning to conclusions on the basis of incomplete information. Given more information, previously drawn inferences may be retracted. Commonsense reasoning has a nonmonotonic component; it has been argued that almost all commonsense inferences are of this sort. From the end of the 1980s to the present there has been an explosion in research in nonmonotonic reasoning. It is now possible to understand more clearly the properties of the major formalisms from a metatheoretical point (...)
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  40.  11
    Eternal Garden: Mysticism, History, and Politics at a South Asian Sufi Center.Gerhard Böwering, Carl W. Ernst & Gerhard Bowering - 1994 - Journal of the American Oriental Society 114 (3):521.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  41.  6
    Mythisierung der Transzendenz als Entwurf ihrer Erfahrung: Arbeitsdokumentation eines Symposiums.Gerhard Oberhammer & Marcus Schmücker (eds.) - 2003 - Wien: Verlag der Österreichischen Akademie der Wissenschaften.
    Die in diesem Bande vereinigten Aufsatze dokumentieren die siebte einer Reihe thematisch aufeinander bezogener Arbeitstagungen von Indologen, Buddhologen und Theologen, zu der das Institut fur Kultur- und Geistesgeschichte Asiens der Osterreichischen Akademie der Wissenschaften eingeladen hatte, und die im September 2000 unter dem Titel "Mythisierung der Transzendenz als Entwurf ihrer Erfahrung" stattfand. Zur Diskussion stand die Tragweite und Anwendbarkeit des Begriffes "Mythisierung", ein zentraler Terminus der Religionshermeneutik Gerhard Oberhammers. Dieser Begriff ermoglichte es den Beitragenden nicht nur, den Gegensatz von (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  59
    Kasten, Erich (Hg.): Schamanen Sibiriens. Magier – Mittler – Heiler.Gerhard Altmann - 2011 - Zeitschrift für Religions- Und Geistesgeschichte 63 (2):181-207.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  43.  34
    Rüdiger Safranski, Romantik. Eine deutsche Affäre.Gerhard Altmann - 2008 - Zeitschrift für Religions- Und Geistesgeschichte 60 (3):274-275.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  36
    The Invention of Scotland. Myth and History.Gerhard Altmann - 2009 - Zeitschrift für Religions- Und Geistesgeschichte 61 (2):198-200.
  45.  10
    Methode, Statistik und Modell in den Sozialwissenschaften.Gerhard Arminger - 1983 - Analyse & Kritik 5 (1):3-36.
    The relationship between methods, statistics and models in the social sciences is discussed. New models generalizing commonly used linear models to deal with qualitative and ordinal data are introduced; their basic similarity to linear models is pointed out. Rate models and stochastic linear differential equations to model social processes in continuous time are mentioned. The implications of weak substantial theory and the correct use of statistical significance tests for any kind of model are demonstrated.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  9
    Theodor W. Adorno: an introduction.Gerhard Schweppenhäuser - 2009 - Durham [NC]: Duke University Press.
    The project of renewing childhood by transforming one's life -- Critical theory -- Reason's self-criticism -- Defined negation -- The two faces of enlightenment -- Rescuing what is beyond hope -- Philosophy from the perspective of redemption -- Primacy of the object -- The totally socialized society -- The concept of society -- Liquidation of the individual -- Critical theory on morality -- The goal of the emancipated society -- The powerless utopia of beauty -- The destruction and salvation of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  7
    Qualitative choice logic.Gerhard Brewka, Salem Benferhat & Daniel Le Berre - 2004 - Artificial Intelligence 157 (1-2):203-237.
  48.  32
    Grundfragen des deutschen Religionsverfassungsrechts in Theorie und Praxis Ein kritischer Überblick.Gerhard Czermak - 2011 - Zeitschrift für Religions- Und Geistesgeschichte 63 (4):348-363.
    The article outlines the development and most important features of the religious constitutional law of the Federal Republic of Germany, as constituted in the Grundgesetz and the decisions of the Federal Constitutional Court. Under the basic principle of neutrality, it constitutes a system of separation with single aspects of cooperation of the state and religious communities. It is also a system of wide freedom and of kindness to religion. Non-religious worldviews are explicitly equated for individuals as well as for religious (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49. Religions- Und Weltanschauungsrecht: Eine Einführung.Gerhard Czermak & Eric Hilgendorf - 2018 - Springer Berlin Heidelberg.
    Das Religionsrecht hat angesichts der veränderten religionspolitischen Lage Konjunktur. Das Buch gibt eine kompakte Einführung in die theoretisch und praktisch wichtigsten Bereiche des Religionsrechts und greift vernachlässigte Fragen auf. Es will überzeugen durch klare rechtliche Grundbegriffe und eine Abkehr von einer einseitig kirchenzentrierten Sichtweise. Normtexte und Rechtsprechungsübersichten runden das leserfreundliche, auch für Nichtjuristen interessante Buch ab.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  9
    Facial Affective Behavior in Borderline Personality Disorder Indicating Two Different Clusters and Their Influence on Inpatient Treatment Outcome: A Preliminary Study.Gerhard Dammann, Myriam Rudaz, Cord Benecke, Anke Riemenschneider, Marc Walter, Monique C. Pfaltz, Joachim Küchenhoff, John F. Clarkin & Daniela J. Gremaud-Heitz - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000