Results for 'Gerhard Lakemeyer'

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. Feldprozesse in der Psychotherapie. Der Mehr-Felder-Ansatz im diagnostischen und therapeutischen Prozess.Gerhard Stemberger - 2009 - Phänomenal 1 (1):12-19.
    The article outlines the Multiple-Field-Approach ("Mehr-Felder-Ansatz") in Gestalt Theoretical Psychotherapy and in psychotherapy in general. This Gestalt theory based approach deals 1) with the conditions under which a secondary phenomenal field (containing a secondary phenomenal ego and a secondary phenomenal environment) segregates within the primary phenomenal field, 2) with the dynamic field interaction between primary and secondary field and their role in psychotherapy, 3) with psychotherapeutic techniques favouring the segregation and favouring the dissolution of a secondary field . Some of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  16. Ego and Self in Gestalt Theory.Gerhard Stemberger - 2021 - Gestalt Theory 43 (1):47-68.
    The paper presents basic Gestalt psychological concepts of ego and self. They differ from other concepts in the way that they do not comprehend ego and self as fixed entities or as central controlling instances of the psyche, but as one specific organized unit in a psychological field in dynamic interrelation with the other organized units—the environment units—of this field. On this theme, well-known representatives of Gestalt theory have presented some general and special theories since the early days of this (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  4
    Flucht aus der Kategorie: die Positivierung des Unbestimmten als Ausgang der Moderne.Gerhard Gamm - 1994 - Frankfurt am Main: Suhrkamp.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  18.  23
    Explicit mathematics and operational set theory: Some ontological comparisons.Gerhard Jäger & Rico Zumbrunnen - 2017 - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
    We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  7
    Das kritische Geschäft der Vernunft: Symposion zu Ehren von Gerhard Funke.Gerhard Funke & Gisela Müller (eds.) - 1995 - Bonn: Bouvier.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  7
    Entre intuition et analyse: Poincaré et le concept de prédicativité.Gerhard Heinzmann - 1985 - Paris: Librairie scientifique et technique.
  21. First competition section paper published.G. Lakemeyer - 2013 - Artificial Intelligence 198 (C):72.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  6
    Afterness: Figures of Following in Modern Thought and Aesthetics.Gerhard Richter - 2011 - Columbia University Press.
    Gerhard Richter's groundbreaking study argues that the concept of "afterness" is a key figure in the thought and aesthetics of modernity. It pursues questions such as: What does it mean for something to "follow" something else? Does that which follows mark a clear break with what came before it, or does it in fact tacitly perpetuate its predecessor as a consequence of its inevitable indebtedness to the terms and conditions of that from which it claims to have departed? Indeed, (...)
  23.  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  
  24.  11
    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  
  25. 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.
  26.  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  
  27. If you Know What is Best, you Do it: Socratic Intellectualism in Xenophon and Plato.Gerhard Seel - 2006 - In Lindsay Judson & Vassilis Karasmanis (eds.), Remembering Socrates: philosophical essays. New York: Oxford University Press. pp. 20-49.
  28.  22
    Critical Rationalism and Educational Discourse.Gerhard Zecha (ed.) - 1999 - BRILL.
    Critical Rationalism has become an influential philosophy in many areas including a great number of scientific disciplines. Yet only few studies have been devoted to the role of the philosophy of Sir Karl Popper in the vast field of education. This volume undertakes to fill this gap. Leading scholars in the educational science and in the philosophy of education have critically written for this volume in an attempt to elaborate Popper's methodological and socio-political views and confront them with a globally (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  29.  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  
  30.  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  
  31.  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  
  32. 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  
  33. Philosophie als Lebenskunst: antike Vorbilder, moderne Perspektiven.Gerhard Ernst (ed.) - 2016 - Berlin: Suhrkamp.
     
    Export citation  
     
    Bookmark  
  34. 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  
  35. Comenius Bibliographie: deutschsprachige Titel, 1870-1999.Gerhard Michel (ed.) - 2000 - Sankt Augustin: Academia Verlag.
  36. 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  
  37.  7
    Cumulative default logic.Gerhard Brewka - 1991 - Artificial Intelligence 50 (2):183-205.
  38.  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  
  39.  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  
  40.  8
    Beth, Evert Willem (1908-1964).Gerhard Heinzmann - 2024 - Philosophia Scientiae 28:155-172.
    During a conference entitled “_Un logicien consciencieux. La philosophie de Evert Willem Beth_,” held in Nancy in 1998 and published in this journal, volume 3, cahier 4 [Barth, Heinzmann _et al._ 1998-1999], the participants regretted that a reasoned biography of Beth was not available. In view of the efforts made since then in this direction, in particular by Paul van Ulsen in his PhD thesis in Dutch [2000], this article attempts to provide an overview of Beth’s work for a broader (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  4
    Preferred answer sets for extended logic programs.Gerhard Brewka & Thomas Eiter - 1999 - Artificial Intelligence 109 (1-2):297-356.
  42.  4
    Wolff nach Kant: eine Bibliographie.Gerhard Biller - 2004 - New York: G. Olms.
  43.  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  
  44.  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  
  45.  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  
  46.  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  
  47.  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  
  48. Introduction.Gerhard Preyer & Georg Peter - 2002 - In Gerhard Preyer & Georg Peter (eds.), Logical Form and Language. Clarendon Press.
     
    Export citation  
     
    Bookmark   2 citations  
  49.  4
    Eidos und Existenz: Umrisse einer Philosophie der Gegenwärtigkeit.Gerhard Huber - 1995 - Basel: Schwabe.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  2
    Japanische Anthropologie: die Natur des Menschen in der konfuzianischen Neoklassik am Angang des 18. Jahrhunderts, Jinsai und Sorai.Gerhard Leinss - 1995 - Wiesbaden: Harrassowitz.
    Originally presented as the author's thesis (doctoral)--Universitèat Tèubingen, 1993.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000