Results for 'Libkin G.'

966 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.  28
    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. The need for donor consent in mitochondrial replacement.G. Owen Schaefer - 2018 - Journal of Medical Ethics 44 (12):825-829.
    Mitochondrial replacement therapy requires oocytes of women whose mitochondrial DNA will be transmitted to resultant children. These techniques are scientifically, ethically and socially controversial; it is likely that some women who donate their oocytes for general in vitro fertilisation usage would nevertheless oppose their genetic material being used in MRT. The possibility of oocytes being used in MRT is therefore relevant to oocyte donation and should be included in the consent process when applicable. In present circumstances, specific consent should be (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  26
    Cortisone therapy: a challenge to academic medicine in 1949-1952.G. Hetenyi & J. Karsh - 1996 - Perspectives in Biology and Medicine 40 (3):426-439.
  13.  18
    Priority to registered donors on the waiting list for postmortal organs? A critical look at the objections.G. D. Hartogh - 2011 - Journal of Medical Ethics 37 (3):149-152.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14. Extinction.G. M. Aitken - 1998 - Biology and Philosophy 13 (3):393-411.
    A significant proportion of conservationists' work is directed towards efforts to save disappearing species. This relies upon the belief that species extinction is undesirable. When justifications are offered for this belief, they very often rest upon the assumption that extinction brought about by humans is different in kind from other forms of extinction. This paper examines this assumption and reveals that there is indeed good reason to suppose current anthropogenic extinctions to be different in kind from extinctions brought about at (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  15.  59
    The Chord Table of Hipparchus and the Early History of Greek Trigonometry.G. J. Toomer - 1974 - Centaurus 18 (1):6-28.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  16. Casuistry and Ethics.G. A. Johnston - 1914 - International Journal of Ethics 24 (4):401-418.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  17.  12
    Die Bybel aan die universiteit en in die kerk.G. M. M. Pelser - 1989 - HTS Theological Studies 45 (2).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  32
    Weakly atomic-compact relational structures.G. Fuhrken & W. Taylor - 1971 - Journal of Symbolic Logic 36 (1):129-140.
  19.  27
    Hipparchus? Empirical Basis for His Lunar Mean Motions.G. J. Toomer* - 1980 - Centaurus 24 (1):97-109.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  21
    A Modal Logic of Place.G. H. Wright - 1983 - In Philosophical Logic: Philosophical Papers. Ithaca, N.Y.: Cornell University Press. pp. 132-140.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  21. Prepositional Metaphysics in Jewish Wisdom Speculation and Early Christological Hymns.G. Sterling - 1997 - The Studia Philonica Annual 9:219-238.
    No categories
     
    Export citation  
     
    Bookmark  
  22. Problemy nravstvennogo razvitii︠a︡ lichnosti.G. G. Akmambetov - 1971 - Alma-Ata,: "Nauka,".
    No categories
     
    Export citation  
     
    Bookmark  
  23. Self-Interest in Law.G. K. Allen - 1924 - Hibbert Journal 23:709.
     
    Export citation  
     
    Bookmark  
  24. Immanuel Kant, Practical Philosophy, Religion and Rational Theology, Prolegomena and Norbert Waszek (ed.), Kant: Philosophie de l'Histoire.G. Bird - 1998 - British Journal for the History of Philosophy 6 (3):505-507.
     
    Export citation  
     
    Bookmark  
  25. A Hypothesis on the Eternity of Hell.G. Blandino - 1991 - Miscellanea Francescana 91 (1-2):226-231.
     
    Export citation  
     
    Bookmark  
  26. Change and design in the origin and the evolution of living things.G. Blandino - 1976 - Aquinas 19 (2):275.
    No categories
     
    Export citation  
     
    Bookmark  
  27. Cultivating continuity and creating change: women's homegarden practices in north-eastern Thailand. Multi-cultural considerations from cropping to consumption.G. M. Black, P. Somnasang, S. Thamathawan & J. M. Newman - 1996 - Agriculture Human Values 13:3-11.
  28. Vilfredo Pareto.G. Bousquet - 1929 - Revue de Métaphysique et de Morale 36 (1):5-6.
    No categories
     
    Export citation  
     
    Bookmark  
  29.  44
    The Austrian Philosophy of Values. Howard O. Eaton.G. S. Brett - 1931 - International Journal of Ethics 41 (2):248-251.
  30.  48
    The Case for India. Will Durant.G. S. Brett - 1931 - International Journal of Ethics 41 (3):373-375.
  31.  70
    The Ethical Basis of Political Authority. W. W. Willoughby.G. S. Brett - 1931 - International Journal of Ethics 41 (2):238-240.
  32. Cattolici e socialisti di fronte alla guerra di Spagna.G. Campanini - 1987 - Humanitas 42 (4):485-499.
    No categories
     
    Export citation  
     
    Bookmark  
  33.  62
    Manalive, an excerpt.G. K. Chesterton - 2012 - The Chesterton Review 38 (1/2):25-38.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34. Robert Owen.G. D. H. Cole - 1925 - International Journal of Ethics 36 (1):99-101.
  35.  59
    Mind and the World-Order. Clarence Irving Lewis.G. Watts Cunningham - 1930 - International Journal of Ethics 40 (4):550-556.
  36. A neurodynamical model of visual attention.G. Deco, E. T. Rolls & J. Zihl - 2005 - In Laurent Itti, Geraint Rees & John K. Tsotsos, Neurobiology of Attention. Academic Press. pp. 593--599.
  37.  18
    (3 other versions)La Synthèse mentale.G. Dwelshauvers - 1909 - Kant Studien 14 (1-3):86-88.
  38.  20
    Dad-pigs and Mum-donkeys.G. Fay Edwards - 2019 - The Philosophers' Magazine 85:18-25.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. Husserl: Fenomenologia e logica transcendental in II Coloquio Português de fenomenologia.G. De Fraga - 1985 - Revista Portuguesa de Filosofia 41 (4).
     
    Export citation  
     
    Bookmark  
  40.  54
    Volonté et Liberté.Wincenty Lutosławski.G. H. Geach - 1914 - International Journal of Ethics 24 (4):477-478.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  41. Truth as Apprehended and Expressed in Art.G. F. Genung - 1895 - Philosophical Review 4:95.
  42.  9
    M. Tullius Ciceronis de Re Publica, de Legibus, Cato: Major de Senectute, Laelius de Amiicitia.J. G. F. Powell (ed.) - 2006 - Oxford University Press UK.
    This volume presents new texts of Cicero's dialogues on political philosophy, De Re Publica and De Legibus, together with corrected versions of the editor's previously published editions of Cato Maior de Senectute and Laelius de Amicitia. The texts are based on a full reconsideration of the manuscript evidence and are presented in a clear and readable form.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43. Gli scritti meridionalistici di Felice Battaglia.O. G. O. G. - 1988 - Giornale Critico Della Filosofia Italiana 8 (2):311.
    No categories
     
    Export citation  
     
    Bookmark  
  44. Il problema della storia tra tardo Settecento e primo Novecento.M. G. M. G. - 1988 - Giornale Critico Della Filosofia Italiana 8 (3):446.
    No categories
     
    Export citation  
     
    Bookmark  
  45. J.H. Lambert tra scetticismo e epistemologia.G. T. Giuseppe - 1987 - Giornale Critico Della Filosofia Italiana:599.
    No categories
     
    Export citation  
     
    Bookmark  
  46.  14
    L'Oraison Funebre de Gorgias.G. M. A. Grube & W. Vollgraff - 1954 - American Journal of Philology 75 (3):334.
  47.  62
    Notes on the Hippias Maior.G. M. A. Grube - 1926 - The Classical Review 40 (06):188-189.
  48.  37
    Pylos—The Attack on Koryphasion.—A Note.G. B. Grundy - 1897 - The Classical Review 11 (09):448-.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  65
    The Myth of Wycliffe.G. C. Heseltine - 1932 - Thought: Fordham University Quarterly 7 (1):108-121.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50.  48
    Alpha and Omega. Jane Ellen Harrison.G. A. Johnston - 1917 - International Journal of Ethics 28 (1):127-129.
1 — 50 / 966