Results for 'Libkin G.'

962 found
Order:
  1. Logic, language, information, and computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013: proceedings.Leonid Libkin, U. Kohlenbach & Ruy J. G. B. de Queiroz (eds.) - 2013 - New York: Springer.
     
    Export citation  
     
    Bookmark  
  2. Finite model theory and its applications. Texts in Theoretical Computer Science.E. Grädel, P. G. Kolaitis, L. Libkin, M. Marx, J. Spencer & M. Y. Vardi - 2010 - Bulletin of Symbolic Logic 16 (3):406-407.
  3.  78
    Finite Model Theory and its Applications.Erich Grädel, Phokion Kolaitis, Libkin G., Marx Leonid, Spencer Maarten, Vardi Joel, Y. Moshe, Yde Venema & Scott Weinstein - 2007 - Springer.
    This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  29
    E. Grädel, P.G. Kolaitis, L. Libkin, M. Marx, J. Spencer, M.Y. Vardi, Y. Venema and S. Weinstein. Finite model theory and its applications. Texts in Theoretical Computer Science. Springer, Berlin, 2007, xiii + 437 pp. [REVIEW]Stephan Kreutzer - 2010 - Bulletin of Symbolic Logic 16 (3):406-407.
  5.  10
    Certain answers as objects and knowledge.Leonid Libkin - 2016 - Artificial Intelligence 232 (C):1-19.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Logic, Language, Information and Computation (Lecture Notes in Computer Science 8071).Leonid Libkin, Ulrich Kohlenbach & Ruy de Queiroz (eds.) - 2013 - Springer.
  7.  29
    Reasoning about XML with temporal logics and automata.Leonid Libkin & Cristina Sirangelo - 2010 - Journal of Applied Logic 8 (2):210-232.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. Notions of locality and their logical characterizations over finite models.Lauri Hella, Leonid Libkin & Juha Nurmonen - 1999 - Journal of Symbolic Logic 64 (4):1751-1773.
    Many known tools for proving expressibility bounds for first-order logic are based on one of several locality properties. In this paper we characterize the relationship between those notions of locality. We note that Gaifman's locality theorem gives rise to two notions: one deals with sentences and one with open formulae. We prove that the former implies Hanf's notion of locality, which in turn implies Gaifman's locality for open formulae. Each of these implies the bounded degree property, which is one of (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  33
    Game-based notions of locality over finite models.Marcelo Arenas, Pablo Barceló & Leonid Libkin - 2008 - Annals of Pure and Applied Logic 152 (1-3):3-30.
    Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighbourhood of its free variables. Such notions have proved to be useful in many applications. They all, however, refer to isomorphisms of neighbourhoods, which most local logics cannot test. A stronger notion of locality says that the truth value of a formula is determined by what the logic itself can say about that small neighbourhood. Since (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  19
    Propositional and predicate logics of incomplete information.Marco Console, Paolo Guagliardo & Leonid Libkin - 2022 - Artificial Intelligence 302 (C):103603.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. Direct vs. Indirect Moral Enhancement.G. Owen Schaefer - 2015 - Kennedy Institute of Ethics Journal 25 (3):261-289.
    Moral enhancement is an ostensibly laudable project. Who wouldn’t want people to become more moral? Still, the project’s approach is crucial. We can distinguish between two approaches for moral enhancement: direct and indirect. Direct moral enhancements aim at bringing about particular ideas, motives or behaviors. Indirect moral enhancements, by contrast, aim at making people more reliably produce the morally correct ideas, motives or behaviors without committing to the content of those ideas, motives and/or actions. I will argue, on Millian grounds, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  12.  52
    Materialism and mentality.G. D. Wassermann - 1982 - Review of Metaphysics 35 (4):715-30.
    MATERIALISTS claim that in principle mentality could be accounted for entirely by properties of matter. They must, of course, clarify, as far as possible, the precise scope of the concept "properties of matter." According to materialists there exists only one type of "substance" in the universe, namely matter. Sophisticated experimental and theoretical analyses have led contemporary physicists to interpret known material entities as being composed of two classes of elementary particles, namely quarks and leptons and constituents of interaction fields that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  13. (1 other version)The spatial harmony of touch and sight.G. M. Stratton - 1899 - Mind 8 (32):492-505.
  14.  68
    Relevance and limits of the principle of "equivalence of care" in prison medicine.G. Niveau - 2007 - Journal of Medical Ethics 33 (10):610-613.
    The principle of “equivalence of care” in prison medicine is a principle by which prison health services are obliged to provide prisoners with care of a quality equivalent to that provided for the general public in the same country. It is cited in numerous national and international directives and recommendations.The principle of equivalence is extremely relevant from the point of view of normative ethics but requires adaptation from the point of view of applied ethics. From a clinical point of view, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  15.  48
    Cardiopulmonary resuscitation in the elderly: patients' and relatives' views.G. E. Mead & C. J. Turnbull - 1995 - Journal of Medical Ethics 21 (1):39-44.
    One hundred inpatients on an acute hospital elderly care unit and 43 of their relatives were interviewed shortly before hospital discharge. Eighty per cent of elderly patients and their relatives were aware of cardiopulmonary resuscitation (CPR). Television drama was their main source of information. Patients and relatives overestimated the effectiveness of CPR. Eighty-six per cent of patients were willing to be routinely consulted by doctors about their own CPR status, but relatives were less enthusiastic about routine consultation. Patients' and relatives' (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  16.  69
    (1 other version)Wittgenstein on Rules and Private Language. [REVIEW]G. E. M. Anscombe - 1982 - Ethics 95 (2):342-352.
    Direct download  
     
    Export citation  
     
    Bookmark   191 citations  
  17.  57
    Ethics and evidence based surgery.G. M. Stirrat - 2004 - Journal of Medical Ethics 30 (2):160-165.
    Traditionally, surgical practice has been experiential and based on the contemporary understanding of basic mechanisms of disease. It was both a science and an art and depended to far too great an extent on the individualism and self belief of its main exponents. “Evidence based medicine” emerged in the 1980s and a new gospel of “Rules of Evidence” was introduced. There is no doubt that the net effect of EBM has been beneficial, but over reliance on randomised controlled trials and (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  18. Der Streit über die mathematische Methode in der Philosophie in der ersten Hälfte des 18. Jahrhunderts und die Entstehung von Kants Schrift über die "Deutlichkeit".G. Tonelli - 1959 - Archiv für Philosophie 9 (1959):37.
    Cf. Jardine 1974a, p. 29; chapter 6 is 'an elegant account of developments in late scholastic debating exercises' (Jardine 1974b, 33). Cited Van den Burgh, 126 n. 95 re Grotius's method. cit. Mancosu 1996, 232 n. 39.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  19.  16
    Grain boundary dislocations in aluminium bicrystals after high-temperature deformation.G. R. Kegg, C. A. P. Horton & J. M. Silcock - 1973 - Philosophical Magazine 27 (5):1041-1055.
  20. Modes of Viewing in Hellenistic Poetry and Art (Jas Elsner).G. Zanker - 2005 - American Journal of Philology 126 (3):461.
    No categories
     
    Export citation  
     
    Bookmark   5 citations  
  21.  60
    Belief and Counterfactuals: A Study in Means-end Philosophy.G. Haas - 2023 - History and Philosophy of Logic 46 (1):198-200.
    Volume 46, Issue 1, February 2025, Page 198-200.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  14
    Apollonius of Tyana, the Philosopher-Reformer of the First Century A.D.G. R. S. Mead - 2016 - Hardpress Publishing.
    Unlike some other reproductions of classic texts (1) We have not used OCR(Optical Character Recognition), as this leads to bad quality books with introduced typos. (2) In books where there are images such as portraits, maps, sketches etc We have endeavoured to keep the quality of these images, so they represent accurately the original artefact. Although occasionally there may be certain imperfections with these old texts, we feel they deserve to be made available for future generations to enjoy.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Metaphysik, Logik und die Theorie der Reflexion.G. Günther - 1957 - Archiv für Philosophie 7 (1/2):1.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  24.  32
    Islamic Methodology in History.G. F. H. & Faziur Rahman - 1967 - Journal of the American Oriental Society 87 (2):221.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25. Narratología en la novela híbrida no será la tierra de Jorge Volpi.Roberto Ángel G. - 2013 - Alpha (Osorno) 36:41-54.
    El presente texto efectúa un estudio narratológico de la novela de Jorge Volpi No será la Tierra. Se analiza la estructura contradictoria del libro, la multiplicidad de tramas, el narrador polifónico, el tiempo posapocalíptico, el espacio antiutópico y desencantado y los personajes, coprotagonistas del siglo XX. Todas estas características antes mencionadas contribuyen, en el ámbito de la desterritorialización, a desalojar posturas que tienden a anquilosarse en conceptos fijos y sin movimiento, por lo que los distintos rasgos narratológicos en las novelas (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. Tak̲h̲līqī ʻamal.Vazīr Āg̲h̲ā - 1970
    No categories
     
    Export citation  
     
    Bookmark  
  27. The Logical Status of Brain Death Criteria.G. J. Agich & R. P. Jones - 1985 - Journal of Medicine and Philosophy 10 (4):387-396.
    This article is an attempt to clarify a confusion in the brain death literature between logical sufficiency/necessity and natural sufficiency/necessity. We focus on arguments that draw conclusions regarding empirical matters of fact from conceptual or ontological definitions. Specifically, we critically analyze arguments by Tom Tomlinson and Michael B. Green and Daniel Wikler. which, respectively, confuse logical and natural sufficiency and logical and natural necessity. Our own conclusion is that it is especially important in discussing the brain death issue to observe (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  28.  19
    Low-temperature optical absorption of ferrous fluosilicate crystals.G. Agnetta, T. Garofano, M. B. Palma-Vittorelli & M. U. Palma - 1962 - Philosophical Magazine 7 (75):495-498.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Rossiĭskoe soznanie: psikhologii︠a︡, fenomenologii︠a︡, kulʹtura: mezhvuzovskiĭ sbornik nauchnykh trudov.G. V. Akopov, O. M. Buranov & V. A. Shkuratov (eds.) - 1994 - Samara: Izd-vo SamGPI.
     
    Export citation  
     
    Bookmark  
  30.  26
    B. Denters e L.E. Rose (a cura di), Comparing Local Governance: Trends and Developments.G. Baldini - 2006 - Polis 20 (1):119-121.
  31.  29
    F. Berton, M. Richiardi e S. Sacchi (a cura di), Flex-insecurity. Perché in Italia la flessibilità diventa precarietà.G. Ballarino - 2009 - Polis: Research and studies on Italian society and politics 23 (3):510-513.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32. Critical notice of the book Value wars: The global market versus the life economy.G. Baruchello - 2003 - Appraisal 4 (3):147-152.
  33. Falsafiyān-i Islām.G̲h̲ulām Jīlānī Barq - 1968
  34. Comment Dieu permet-il et connaît-il le péché?G. Bavaud - 1961 - Revue Thomiste 61:226.
    No categories
     
    Export citation  
     
    Bookmark  
  35. Tragedia del tempo e tempo della tragedia in Seneca.G. G. Biondi - 1995 - In Ivano Dionigi, Protinus vive: colloquio sul De brevitate vitae di Seneca. Bologna: Pàtron.
  36.  82
    Confusing the Audience.G. H. Bird - 1975 - Analysis 35 (4):135 - 139.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  37. The rationality of theistic belief and the concept of truth.G. Briintrup & R. Tacelli - 1999 - In Godehard Brüntrup & Ronald K. Tacelli, The Rationality of Theism. Boston: Springer. pp. 19--39.
     
    Export citation  
     
    Bookmark  
  38.  7
    La philosophie nouvelle et la vie de l'esprit.G. Cantecor - 1903 - Revue Philosophique de la France Et de l'Etranger 55:252 - 277.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  9
    Neboto nad Makedonija.Ǵore Cenev - 2004 - Skopje: Mladinski kulturen centar.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  32
    Folk Song.G. K. Chesterton - 1984 - The Chesterton Review 10 (2):134-134.
  41.  30
    Thackeray.G. K. Chesterton - 2006 - The Chesterton Review 32 (1/2):17-19.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42. Ontologismo e trascendenza di Dio. Note a proposito di una recente teoria.G. Colombo - 1989 - Rivista di Filosofia Neo-Scolastica 81 (3):478-491.
    No categories
     
    Export citation  
     
    Bookmark  
  43. Robert Owen.G. D. H. Cole - 1925 - International Journal of Ethics 36 (1):99-101.
  44.  29
    Does development tell us about evolution?G. Ettlinger - 1979 - Behavioral and Brain Sciences 2 (3):384-384.
  45.  18
    How can we resolve the enigma of parietal cortex?G. Ettlinger - 1980 - Behavioral and Brain Sciences 3 (4):502-502.
  46. Una lettera di Giambattista Vico.G. E. G. E. - 1961 - Giornale Critico Della Filosofia Italiana 15:407.
    No categories
     
    Export citation  
     
    Bookmark  
  47. Una menzione del Vico.G. E. G. E. - 1961 - Giornale Critico Della Filosofia Italiana 15:136.
    No categories
     
    Export citation  
     
    Bookmark  
  48.  15
    (1 other version)The Heroic Pedestrian or the Pedestrian Hero? Walter Benjamin and the Flaneur.G. Gilloch - 1992 - Télos 1992 (91):108-116.
  49.  33
    Śilpa Prakāśa. Mediaeval Orissan Sanskrit Text on Temple ArchitectureSilpa Prakasa. Mediaeval Orissan Sanskrit Text on Temple Architecture.H. G., Ramacandra Kaulācāra, Alice Boner, Sadāśiva Rath Śarmā, Ramacandra Kaulacara & Sadasiva Rath Sarma - 1968 - Journal of the American Oriental Society 88 (2):381.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  31
    A modal system properly independent of both the Brouwerian system and $S4$.G. N. Georgacarakos - 1978 - Notre Dame Journal of Formal Logic 19 (1):101-114.
1 — 50 / 962