Results for 'Andrei Voronkov'

(not author) ( search as author name )
968 found
Order:
  1.  43
    Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
    Many powerful logics exist today for reasoning about multi-agent systems, but in most of these it is hard to reason about an infinite or indeterminate number of agents. Also the naming schemes used in the logics often lack expressiveness to name agents in an intuitive way.To obtain a more expressive language for multi-agent reasoning and a better naming scheme for agents, we introduce a family of logics called term-modal logics. A main feature of our logics is the use of modal (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  2. The ground-negative fragment of first-order logic is πp2-complete.Andrei Voronkov - 1999 - Journal of Symbolic Logic 64 (3):984 - 990.
    We prove that for a natural class of first-order formulas the validity problem is Π p 2 -complete.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  3.  14
    Translating regular expression matching into transducers.Yuto Sakuma, Yasuhiko Minamide & Andrei Voronkov - 2012 - Journal of Applied Logic 10 (1):32-51.
  4.  12
    Complexity of some problems in modal and superintuitionistic logics.Larisa Maksimova & Andrei Voronkov - 2000 - Bulletin of Symbolic Logic 6:118-119.
  5.  10
    La démonologie platonicienne: histoire de la notion de daimōn de Platon aux derniers néoplatoniciens.Andrei Timotin - 2012 - Boston: Brill.
    This book, a history of a religious category of ancient philosophy, is the first synthesis on the notion of daimōn in the Platonic tradition. It focuses on the relationship between demonology and, respectively, cosmology, the philosophical hermeneutics of religion and theories of the soul. Histoire d’une catégorie religieuse de la philosophie ancienne, ce livre représente la première synthèse sur la notion de daimōn dans la tradition platonicienne. Il étudie les relations de la démonologie avec la cosmologie, l’herméneutique philosophique de la (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  68
    Alternative Concepts of God: Essays on the Metaphysics of the Divine.Andrei A. Buckareff & Yujin Nagasawa (eds.) - 2016 - Oxford, United Kingdom: Oxford University Press.
    According to traditional Judeo-Christian-Islamic theism, God is an omniscient, omnipotent, and morally perfect agent. This volume shows that philosophy of religion needs to take seriously alternative concepts of the divine, and demonstrates the considerable philosophical interest that they hold.
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  7.  2
    Detskai︠a︡ filosofii︠a︡.Andreĭ Timofeevich Bolotov - 2012 - Sankt-Peterburg: Izdatelʹskiĭ dom Petropolis. Edited by T. V. Artemʹeva & M. I. Mikeshin.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  8
    Zlo: metafizychni ta bohoslovsʹki vymiry: monohrafii︠a︡.Andreĭ Morozov - 2018 - Kyïv: Kyïvsʹkyĭ nat︠s︡ionalʹnyĭ torhovelʹno-ekonomichnyĭ universytet.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. Theological realism, divine action, and divine location.Andrei A. Buckareff - 2016 - In Andrei A. Buckareff & Yujin Nagasawa (eds.), Alternative Concepts of God: Essays on the Metaphysics of the Divine. Oxford, United Kingdom: Oxford University Press.
     
    Export citation  
     
    Bookmark   7 citations  
  10.  8
    Digital Inequality and Digital Justice: Social-philosophical Aspects of the Problem.Andrei M. Orekhov, Орехов Андрей Михайлович, Nikolai A. Chubarov & Чубаров Николай Александрович - 2024 - RUDN Journal of Philosophy 28 (1):260-272.
    Digital inequality and digital justice are pressing issues in today's world. This work examines the socio-philosophical aspects of these problems and proposes measures to achieve digital justice. The authors draw attention to the fact that digital inequality can manifest itself in various forms, such as access to information, technology and resources, as well as opportunities to participate in the digital economy. This can lead to increased social inequalities and limited opportunities for the development of individuals and society as a whole. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  8
    Avangard kak non-konformizm: ėsse, statʹi, ret︠s︡enzii, intervʹi︠u︡.Andreĭ Bychkov - 2017 - Sankt-Peterburg: Aleteĭi︠a︡.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  11
    Complexifying Religion.Andrei-Razvan Coltea - 2023 - Springer Nature Singapore.
    This book provides an original and challenging perspective of religions as abstract complex adaptive systems, using an interdisciplinary approach to try to understand what religions are and how they function, two fundamental issues which, despite an intense struggle from several fields, have not yet been resolved. What is the source of religious belief? How do religions work and what are they made of? Why is religion so important for us that it has survived centuries of scientific progress and secularization? Why (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. Dialekticheskoe otnoshenie prostranstva-vremeni k materialʹ-nomu dvizhenii︠u︡.Andreĭ Andreevich Egorov - 1976
     
    Export citation  
     
    Bookmark  
  14. Programma kursa Osnovy marksistsko-leninskoĭ ėstetiki: dli︠a︡ vysshikh uchebnykh zavedeniĭ: 72 chasa.Andreĭ Ivanovich Gusev & Lidii︠a︡ Georgievna Barulina (eds.) - 1977 - Moskva: Vysshai︠a︡ shkola.
     
    Export citation  
     
    Bookmark  
  15. Herbert Marcuse: studiu critic.Andrei Marga - 1980 - Cluj-Napoca: "Dacia".
    No categories
     
    Export citation  
     
    Bookmark  
  16.  11
    Introducere în filosofia contemporană.Andrei Marga - 1988 - București: Editura Științifică și Enciclopedică.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  3
    Filosofii︠a︡ nauki, tekhniki i tekhnologiĭ: monografii︠a︡.Andreĭ Mironov - 2014 - Moskva: Maks Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. Kurze bibliographie der neuen tschechoslowakischen philosophie.Andreĭ Pavlov - 1935 - Prag,: Edited by I︠A︡kovenko, Boris Valentinovich & [From Old Catalog].
    No categories
     
    Export citation  
     
    Bookmark  
  19. Routledge Companion to the Philosophy of Law.Andrei Marmor (ed.) - 2012 - Routledge.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  20. Marksistko-leninskai︠a︡ filosofii︠a︡.Andreĭ Vasilʹevich Vostrikov (ed.) - 1967 - Moskva,:
     
    Export citation  
     
    Bookmark  
  21. Introduction : Alternative conceptions of divinity and contemporary analytic philosophy of religion.Andrei A. Buckareff & Yujin Nagasawa - 2016 - In Andrei A. Buckareff & Yujin Nagasawa (eds.), Alternative Concepts of God: Essays on the Metaphysics of the Divine. Oxford, United Kingdom: Oxford University Press.
     
    Export citation  
     
    Bookmark   2 citations  
  22. An outline of aspectuality in English within a Compromise linguistic model.Andrei Dancheν - 1992 - In Maksim Stamenov (ed.), Current Advances in Semantic Theory. John Benjamins. pp. 73--321.
     
    Export citation  
     
    Bookmark  
  23. Predstavlenii︠a︡ o prirode zla v Drevneĭ Rusi.Andreĭ Shcheglov - 2023 - Sankt-Peterburg: Aleteĭi︠a︡.
    No categories
     
    Export citation  
     
    Bookmark  
  24.  4
    Cunoaștere și sens: perspective critice asupra pozitivismului.Andrei Marga - 1984 - București: Editura Politică.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  7
    Pitoresc și melancolie: o analiză a sentimentului naturii în cultura europeană.Andrei Pleșu - 1980 - București: "Univers".
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. Sovestʹ: razmyshlenii︠a︡ publit︠s︡ista o vere i neverii, o dobre i zle, o sovesti i besstydstve i o nekotorykh drugikh "neponi︠a︡tnosti︠a︡kh dushi".Andreĭ Aleksandrovich Tarasov - 1985 - Moskva: Moskovskiĭ rabochiĭ.
     
    Export citation  
     
    Bookmark  
  27.  25
    Research Ethics in the Context of Transition: Gaps in Policies and Programs on the Protection of Research Participants in the Selected Countries of Central and Eastern Europe.Andrei Famenka - 2016 - Science and Engineering Ethics 22 (6):1689-1706.
    This paper examines the ability of countries in Central and Eastern Europe to ensure appropriate protection of research participants in the field of increasingly globalizing biomedical research. By applying an analytical framework for identifying gaps in policies and programs for human subjects protection to four countries of CEE—Belarus, Latvia, Lithuania, and Poland, substantial gaps in the scope and content of relevant policies and major impediments to program performance have been revealed. In these countries, public policies on the protection of research (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  2
    General Systems Theory and Creative Artificial Intelligence.Andrei Armovich Gribkov & Aleksandr Aleksandrovich Zelenskii - forthcoming - Philosophy and Culture (Russian Journal).
    The article analyzes the possibilities and limitations of artificial intelligence. The article considers the subjectivity of artificial intelligence, determines its necessity for solving intellectual problems depending on the possibility of representing the real world as a deterministic system. Methodological limitations of artificial intelligence, which is based on the use of big data technologies, are stated. These limitations cause the impossibility of forming a holistic representation of the objects of cognition and the world as a whole. As a tool for deterministic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Importance of general systems theory for scientific training.Andrei Armovich Gribkov & Aleksandr Aleksandrovich Zelenskii - forthcoming - Philosophy and Culture (Russian Journal).
    The article investigates the possibility of formation of creative competencies of students within the framework of scientific personnel training. It is noted that the available training courses within the framework of general training of scientific personnel allow to prepare a specialist who is able to use existing knowledge, but such a specialist is not trained in creativity. For the formation of creative competences it is necessary to take a training course of the general theory of systems, the purpose of which (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  6
    Geopoliticheskie aspekty filosofii kulʹtury slavi︠a︡nofilov: monografii︠a︡.Andreĭ Vasilʹevich Gvozdev - 2012 - Moskva: Prometeĭ.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  3
    The pragmatic reconstruction of philosophy.Andrei Marga - 2012 - Cluj-Napoca: Presa Universitară Clujeană.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  3
    Istoricheski paraleli.Andreĭ Lazarov Pantev - 2011 - Sofii︠a︡: Anubis.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  9
    Despre frumusețea uitată a vieții.Andrei Pleșu - 2011 - București: Humanitas.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. Generic Statements Require Little Evidence for Acceptance but Have Powerful Implications.Andrei Cimpian, Amanda C. Brandone & Susan A. Gelman - 2010 - Cognitive Science 34 (8):1452-1482.
    Generic statements (e.g., “Birds lay eggs”) express generalizations about categories. In this paper, we hypothesized that there is a paradoxical asymmetry at the core of generic meaning, such that these sentences have extremely strong implications but require little evidence to be judged true. Four experiments confirmed the hypothesized asymmetry: Participants interpreted novel generics such as “Lorches have purple feathers” as referring to nearly all lorches, but they judged the same novel generics to be true given a wide range of prevalence (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   54 citations  
  35. Transformation of the role of healthcare ethics committees and the concept of clinical ethics in Belarus : implications for medical professionalism.Andrei Famenka - 2016 - In Sabine Salloch & Verena Sandow (eds.), Ethics and Professionalism in Healthcare: Transition and Challenges. Burlington, VT: Routledge.
    No categories
     
    Export citation  
     
    Bookmark  
  36.  7
    Reprezentat︠s︡ii︠a︡subʺektivnosti v kulʹture russkoĭ intelligent︠s︡ii XIX veka: monografii︠a︡.Andreĭ Ivanov - 2016 - Komsomolʹsk-na-Amure: Komsomolʹskiĭ-na-Amure gosudarstvennyĭ tekhniIheskiĭ universitet.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  6
    Universalʹnyĭ mnogoslov: Kniga dli︠a︡ tekh, komu interesno zhitʹ osmyslenno.Andreĭ Maksimov - 2015 - Moskva: T︠S︡entrpoligraf.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38. Understanding and Conscious Experience: Philosophical and Scientific Perspectives.Andrei Ionuţ Mărăşoiu & Mircea Dumitru (eds.) - forthcoming - Routledge.
    This volume explores how understanding relates to conscious experience. In doing so, it builds bridges between different philosophical disciplines and provides a metaphysically robust characterization of understanding, both in and beyond science. The past two decades have witnessed growing interest from epistemologists, philosophers of science, philosophers of mind, and ethicists in the nature and value of intellectual understanding. This volume features original essays from leading scholars of understanding and the phenomenal experiences that underlie it. The chapters are divided into three (...)
     
    Export citation  
     
    Bookmark  
  39.  6
    Neliniști vechi și noi.Andrei Pleşu - 2016 - București: Humanitas. Edited by Andrei Pleșu.
    Iritări cotidiene -- Actualităţi, inactualităţi -- Mici exerciţii de memorie -- Despre patosul real al interogaţiei religioase -- Neliniști (politice) -- Bazarul naţional -- Privitor ca la teatru -- Unele perplexităţi.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  5
    Blizkie mysli.Andreĭ Mikhaĭlovich Sergeev - 2020 - Sankt-Peterburg: Vladimir Dalʹ.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Ri dan nuo fu tong zhi guan yu xi fang zhe xue shi de fa yan.Andrei Aleksandrovich Zhdanov - 1948 - [China]: [Publisher Not Identified].
    No categories
     
    Export citation  
     
    Bookmark  
  42. Vystuplenie na diskussii.Andreĭ Aleksandrovich Zhdanov - 1947
     
    Export citation  
     
    Bookmark  
  43.  72
    The Inherence Heuristic: An Intuitive Means of Making Sense of the World, and a Potential Precursor to Psychological Essentialism.Andrei Cimpian & Erika Salomon - 2014 - Behavioral and Brain Sciences 37 (5):461-480.
    We propose that human reasoning relies on an inherence heuristic, an implicit cognitive process that leads people to explain observed patterns (e.g., girls wear pink) in terms of the inherent features of their constituents (e.g., pink is an inherently feminine color). We then demonstrate how this proposed heuristic can provide a unified account for a broad set of findings spanning areas of research that might at first appear unrelated (e.g., system justification, nominal realism, is–ought errors in moral reasoning). By revealing (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  44.  90
    Descriptions and Tests for Polysemy.Andrei Moldovan - 2021 - Axiomathes 31 (3):229-249.
    Viebahn (2018) has recently argued that several tests for ambiguity, such as the conjunction-reduction test, are not reliable as tests for polysemy, but only as tests for homonymy. I look at the more fine-grained distinction between regular and irregular polysemy and I argue for a more nuanced conclusion: the tests under discussion provide systematic evidence for homonymy and irregular polysemy but need to be used with more care to test for regular polysemy. I put this conclusion at work in the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  45.  39
    Against Public Reason’s Alleged Self-Defeat.Andrei Bespalov - 2021 - Law and Philosophy 40 (6):617-644.
    Mainstream political liberals hold that state coercion is legitimate only if it is justified on the grounds of reasons that all may reasonably be expected to accept. Critics argue that this public justification principle is self-defeating, because it depends on moral justifications that not all may reasonably be expected to accept. To rebut the self-defeat objection, I elaborate on the following disjunction: one either agrees or disagrees that it is wrong to impose one’s morality on others by the coercive power (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  25
    Information learned from generic language becomes central to children’s biological concepts: Evidence from their open-ended explanations.Andrei Cimpian & Ellen M. Markman - 2009 - Cognition 113 (1):14-25.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   40 citations  
  47. La science des mœurs chez Adam Ferguson. Une approche globale du problème de l'ordre social.Sonia Boussange-Andrei - 2021 - In Laurie Bréban, Séverine Denieul & Elise Sultan-Villet (eds.), La science des moeurs au siècle des Lumières: conception et expérimentations. Paris: Classiques Garnier.
    No categories
     
    Export citation  
     
    Bookmark  
  48.  7
    Otkrytostʹ russkoĭ filosofii.Andreĭ Dmitrievich Sukhov - 2021 - Moskva: Izdatelʹstvo "Kanon-pli︠u︡s".
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. Marksistskiĭ filosofskiĭ materializm.Andreĭ Vasilʹevich Vostrikov - 1954
     
    Export citation  
     
    Bookmark  
  50. Marksistsko-leninskai︠a︡ teorii︠a︡ poznanii︠a︡.Andreĭ Vasilʹevich Vostrikov - 1955
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 968