Results for 'Leonid Libkin'

(not author) ( search as author name )
407 found
Order:
  1. Logic, Language, Information and Computation (Lecture Notes in Computer Science 8071).Leonid Libkin, Ulrich Kohlenbach & Ruy de Queiroz (eds.) - 2013 - Springer.
  2.  7
    Certain answers as objects and knowledge.Leonid Libkin - 2016 - Artificial Intelligence 232 (C):1-19.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  14
    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  
  4.  8
    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  
  5. 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  
  6.  23
    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  
  7. 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  
  8.  63
    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  
  9. The misunderstood limits of folk science: an illusion of explanatory depth.Leonid Rozenblit & Frank Keil - 2002 - Cognitive Science 26 (5):521-562.
    People feel they understand complex phenomena with far greater precision, coherence, and depth than they really do; they are subject to an illusion—an illusion of explanatory depth. The illusion is far stronger for explanatory knowledge than many other kinds of knowledge, such as that for facts, procedures or narratives. The illusion for explanatory knowledge is most robust where the environment supports real‐time explanations with visible mechanisms. We demonstrate the illusion of depth with explanatory knowledge in Studies 1–6. Then we show (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   128 citations  
  10.  10
    Mihai Șora: o filosofie a bucuriei și a speranței.Leonid Dragomir & Mihai Șora (eds.) - 2009 - București: Cartea Românească.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. Ocherki po istorii filosofii: Voprosy filosofii: Mezhvuzovskiĭ sbornik.Leonid Kirillovich Grishanov (ed.) - 1980 - Kishinev: Shtiint︠s︡a.
    No categories
     
    Export citation  
     
    Bookmark  
  12.  10
    In search of Russian modernism.Leonid Livak - 2018 - Baltimore: Johns Hopkins University Press.
    Introduction. Modernism as a culture -- Culture and cognition -- Culture, mythology, politics -- Culture, community, cartography -- Cultural spaces and their travelers -- The toponymical labyrinth of Russian modernist culture. Early Russian modernism and its "isms" ; The Russian domestication of the term Modernism ; New names, old problems ; Politics and cultural toponymy ; Naming the field -- The errant compass rose of Russian modernist studies. Realism as a cardinal direction ; Tradition and innovation as cardinal directions -- (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  3
    Država.Leonid Pitamic - 1927 - [V Ljubljani]: Založila Družba sv. Mohorja.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14. Aleksi︠e︡ĭ Stepanovich Khomi︠a︡kov.Leonid Evstafʹevich Vladimirov - 1904
     
    Export citation  
     
    Bookmark  
  15. Ästhetische Bekenntnisse eines Künstlers.Leonid Kreutzer - 1947
     
    Export citation  
     
    Bookmark  
  16.  9
    Thinking on the Edge of Globalism. Are there Prospects for Educational and Economic Reforms in Ukraine?Leonid Orshanskyі, Ivan Nyshchak, Nadiia Kuzan, Halyn Melnyk, Yuriy Skvarok & Yaroslav Matvisiv - 2022 - Postmodern Openings 13 (4):427-447.
    The article reveals the essential features and conditions of the long-term process of development of competitive innovation economy - knowledge economy on the example of Ukraine, where the dialogue of late postmodernism and early post-industrialism create special regional conditions. The article characterizes education as not just a form of social consciousness and practice, but as a social and cultural engine and simultaneously marker of civilization development level; considers higher education system from the point of view of society request to form (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  23
    What is Pythagorean in the Pseudo-Pythagorean Literature?Leonid ZhmudCorresponding authorRussian Acadamy of the SciencesInstitute for the History of Science & Technologyst Petersburgrussian Federationemailother Articles by This Author:De Gruyter Onlinegoogle Scholar - forthcoming - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption.
    Philologus, founded in 1846, is one of the oldest and most respected periodicals in the field of Classics. It publishes articles on Greek and Latin literature, historiography, philosophy, history of religion, linguistics, reception, and the history of scholarship. The journal aims to contribute to our understanding of Greco-Roman culture and its lasting influence on European civilization. The journal Philologus, conceived as a forum for discussion among different methodological approaches to the study of ancient texts and their reception, publishes original scholarly (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. Über den sozialistischen Realismus.Leonid Ivanovich Timofeev - 1953 - Berlin,: Verlag Kultur und Fortschritt.
     
    Export citation  
     
    Bookmark  
  19.  8
    Aesthetics and innovation.Leonid Dorfman, Colin Martindale & Vladimir Petrov (eds.) - 2007 - Newcastle, UK: Cambridge Scholars Press.
    In this book we attempted to gather together a set of chapters that describe new ways of approaching questions about aesthetics and innovation. Rather than going over old ground, the chapters describe attempts to break out in new directions. The book begins with a description of von Ehrenfels development of a Gestalt theory of aesthetics so evocative of the Vienna of 1900 that readers will wish that they had been there to experience the intellectual excitement and ends with a survey (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Chapter Eight The Plural Self, Plural Achievement Motives, and Creative Thinking.Leonid Dorfman - 2007 - In Leonid Dorfman, Colin Martindale & Vladimir Petrov (eds.), Aesthetics and innovation. Newcastle, UK: Cambridge Scholars Press. pp. 125.
    No categories
     
    Export citation  
     
    Bookmark  
  21.  33
    The Role of the Individual in History: A Reconsideration.Leonid Grinin - 2010 - Social Evolution and History 9 (2).
    This article is devoted to the significant at all times and sounding anew in every epoch problem of the role of an individual (also a Hero, Great Man) in history, including such an aspect as the role of an individual in the process of state formation and progress. It is argued that in the age of globalization, when the humankind has found itself at the new developmental turning point, in the epoch when the influence of various individuals could affect dramatically (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  78
    Pythagoras and the Early Pythagoreans.Leonid Zhmud - 2012 - Oxford: Oxford University Press. Edited by Kevin Windle & Rosh Ireland.
    In ancient tradition, Pythagoras emerges as a wise teacher, an outstanding mathematician, an influential politician, and as a religious and ethical reformer. This volume offers a comprehensive study of Pythagoras, Pythagoreanism, and the early Pythagoreans through an analysis of the many representations of the individual and his followers.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  23.  57
    Projective Adaptivism.Leonid Tarasov - 2019 - Philosophical Papers 48 (3):379-402.
    Moderate invariantism is the orthodox semantics for knowledge attributions. In recent years it has fallen out of favour, in large part because it fails to explain why ordinary speakers have the intuition that some utterances of knowledge attributions are felicitous and others infelicitous in several types of cases. To address this issue moderate invariantists have developed a variety of what I call non-semantic theories which they claim account for the relevant felicity intuitions independently of moderate invariantist semantics. Some critics have (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Machiavelli: Experience and Speculation.Leonid M. Batkin & Jeanne Ferguson - 1979 - Diogenes 27 (107):24-48.
    The extremely pernicious and paganly immoral principles stated by the Florentine secretary run counter to all national thought and have incontestably exercised a corrupting influence on it.F. SchlegelWe must be grateful to Machiavelli and other writers who like him have openly and without dissimulation shown not how men ought to act, but how they do normally act.F. BaconThe interpretation of Machiavelli's philosophy of history encounters specific difficulties. His contribution to the history of thought is unique and yet rooted in the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25. Leninizm i sovremennai︠a︡ ideologicheskai︠a︡ borʹba.Leonid Fedorovich Evmenov - 1970
     
    Export citation  
     
    Bookmark  
  26. Proble a kachestva v filosofii.Leonid Grigorʹevich Kravchenko - 1971
    No categories
     
    Export citation  
     
    Bookmark  
  27. T︠S︡ena umilenii︠a︡.Leonid Likhodeev - 1967 - [Moskva]: Molodai︠a︡ gvardii︠a︡.
  28.  11
    Pro-Ukrainian Students at the Kyiv Theological Academy From the 1890s to 1907.Leonid Mohylnyi - 2019 - Kyiv-Mohyla Humanities Journal 6:25-41.
    The article analyzes the main preconditions for the formation of pro-Ukrainian views among students of the Kyiv Theological Academy and determines their percentages among the graduates from the 1890s to 1907. When in the late 1850s and the early 1860s the Ukrainian intelligentsia carried out semi-legal cultural and educational work within Ukrainophile communities, few students of the Academy took part in their activities, with only 4 participants being active members in the Kyiv Hromada. Later, when students from the 1890s to (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. Kniga V. I. Lenina "Materialism i ėmpiriokritits︠i︡zm.".Leonid Sergeevich Pavlov - 1959 - Leningrad,:
     
    Export citation  
     
    Bookmark  
  30. O "Filosofskikh tetradi︠a︡kh" V. I. Lenina.Leonid Sergeevich Pavlov - 1958
    No categories
     
    Export citation  
     
    Bookmark  
  31. Neopozitivizm na sluzhbe religii: posobie dli︠a︡ studentov filosofskikh fakulʹtetov gosudarstvennykh universitetov.Leonid Alekseevich Zhuravlev - 1962 - Moskva: Izd-vo Moskovskogo universiteta.
    No categories
     
    Export citation  
     
    Bookmark  
  32.  3
    Pythagorean Number Doctrine in the Academy.Leonid Zhmud - 2013 - In Gabriele Cornelli, Richard D. McKirahan & Constantinos Macris (eds.), On Pythagoreanism. Berlin: De Gruyter. pp. 323-344.
  33.  13
    Religious-Secular Reality of Individual Consciousness In The Context of COVID-19.Leonid Mozghovyi, Volodymyr Muliar, Olena Stepanova, Vitaliy Ignatyev & Viacheslav Stepanov - 2021 - Postmodern Openings 12 (2).
    The question of the secularity of society still remains open, since scientists have proposed only cautious speculative answers, while every scientist understands that in the social sciences it is a sad experience of predictions, that history is random and therefore unpredictable and the future always remains fundamentally open. The process of transformation of postmodern society, the development of which is actively influenced by the current pandemy of COVID-19, entailed the revival of religious values ​​and the formation of a qualitatively new (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  3
    Voprosy istorii filosofii.Leonid Kirillovich Grishanov & Universitatëiìa de Stat "V. Lenin (eds.) - 1990 - Kishinev: Shtiint︠s︡a.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  54
    Perestrojka and literature: Texts and context.Leonid Heller - 1990 - Studies in Soviet Thought 40 (1-3):189-204.
    Are any conclusions to be had? We have shown how, at all levels, the system of Soviet literature, has both persisted and fallen into disrepair. The rigid model of socialist realism that took hold during the Ždanovist period no longer exists. However, its presence is still felt not only as a constant negative point of reference, but through the numerous structures that grew out of it. Changes set in motion during the thaw continue at an accelerated pace for the sake (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36. Progress ili degradat︠s︡ii︠a︡ nravov?Leonid Ivanovich Kotov - 1971 - Sverdlovsk,: Sred.-Uralʹsk. kn. izd.-vo.
    No categories
     
    Export citation  
     
    Bookmark  
  37. Poni︠a︡tie determinizma v marksistsko-leninskoĭ filosofii.Leonid Antipovich Kulikov - 1973
     
    Export citation  
     
    Bookmark  
  38.  4
    Edinstvo slova i dela.Leonid Nikolaev - 1971
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  14
    I had the good fortune to communicate with giants of the spirit. Part I.Leonid Finberg, Vlada Davidenko, Ryenat Shvets & Sofia Bryl - 2023 - Sententiae 42 (3):199-210.
    Interview of Vlada Davidenko, Ryenat Shvets, Sofia Bryl with Leonid Finberg.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  6
    Pravovye doktriny: ot Drevnego mira do informat︠s︡ionnoĭ ėpokhi.Leonid Viktorovich Goloskokov - 2003 - Moskva: Nauchnyĭ mir.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Ateisticheskoe vospitanie molodezhi i voprosy ėtiki: Vopr. filosofii: Mezhvuz. sb.Leonid Kirillovich Grishanov (ed.) - 1979 - Kishinev: Shtiint︠s︡a.
     
    Export citation  
     
    Bookmark  
  42. Dukhovnai︠a︡ kulʹtura i razvitie lichnosti v sovremennom obshchestve: Voprosy filosofii: Mezhvuz. sb.Leonid Kirillovich Grishanov (ed.) - 1977 - Kishinev: Shtiint︠s︡a.
     
    Export citation  
     
    Bookmark  
  43. Metodologicheskie voprosy sovremennoĭ nauki: mezhvuzovskiĭ sbornik.Leonid Kirillovich Grishanov (ed.) - 1978 - Kishinev: Shtiint︠s︡a.
    No categories
     
    Export citation  
     
    Bookmark  
  44.  10
    Conferences.L. Libkin, U. W. Kohlenbach & R. J. G. B. de Queiroz - 2014 - Logic Journal of the IGPL 22 (6):1094-1103.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  5
    Modelʹno-konstruktivnoe myshlenie.Leonid Glebovich Malinovskiĭ - 2003 - Moskva: Nauka.
    Издание содержит: модельно-конструктивное мышление в логике и математике; модельно-конструктивное мышление в политэкономике; особенности модельно-конструктивного мышления и идеологии.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46. Zachem i︠a︡?Leonid Viktorovich Pochivalov - 1976 - Moskva: Sov. Rossii︠a︡.
    No categories
     
    Export citation  
     
    Bookmark  
  47.  10
    Kosmologicheskie idei sverkhsoznanii︠a︡: filosoficheskoe ėsse.Leonid Safronov - 2001 - Ekaterinburg: Poligrafist.
  48.  7
    Lovytva nevlovnoho ptakha: z︠h︡ytti︠a︡ Hryhorii︠a︡ Skovorody.Leonid Ushkalov - 2017 - Kyïv: Dukh i litera.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. Simvolizat︠s︡ii︠a︡ v poznanii.Leonid Vasilʹevich Uvarov - 1971
     
    Export citation  
     
    Bookmark  
  50. Ėsteticheskoe vospitanie trudi︠a︡shchikhsi︠a︡ v uslovii︠a︡kh razvitogo sot︠s︡ializma.Leonid Arkadʹevich Volovich - 1976 - Moskva: Profizdat.
     
    Export citation  
     
    Bookmark  
1 — 50 / 407