Results for 'Yiannis Kiouvrekis'

70 found
Order:
  1.  16
    On the Transformations of the Square of Opposition from the Point of View of Institution Model Theory.Ioannis M. Vandoulakis, Yiannis Kiouvrekis & Petros Stefaneas - 2022 - In Jean-Yves Beziau & Ioannis Vandoulakis (eds.), The Exoteric Square of Opposition. Birkhauser. pp. 277-302.
    In recent decades, research in the square of opposition has increased. New interpretations, extensions, and generalizations have been suggested, both Aristotelian and non-Aristotelian ones. The paper attempts to compare different versions of the square of opposition. For this reason, we appeal to the wider categorical model-theoretic framework of the theory of institutions.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  18
    [Omnibus Review].Yiannis N. Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):471-472.
  3.  46
    Elementary induction on abstract structures.Yiannis Nicholas Moschovakis - 1974 - Mineola, N.Y.: Dover Publications.
    Hailed by the Bulletin of the American Mathematical Society as "easy to use and a pleasure to read," this research monograph is recommended for students and professionals interested in model theory and definability theory. The sole prerequisite is a familiarity with the basics of logic, model theory, and set theory. 1974 edition.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   83 citations  
  4. A logical calculus of meaning and synonymy.Yiannis Nicholas Moschovakis - 2006 - Linguistics and Philosophy 29:27-89.
  5.  10
    Justifying Deviant Behavior: The Role of Attributions and Moral Emotions.Yiannis Gabriel, Deanna Geddes & Dirk Lindebaum - 2017 - Journal of Business Ethics 141 (4):779-795.
    We present two studies investigating the impact of causal perceptions and the moral emotions of anger, shame, and guilt on the justification of deviant workplace behavior. Study 1 tests our conceptual framework using a sample of undergraduate business students; Study 2 examines a population of practicing physicians. Results varied significantly between the two samples, suggesting that individual and contextual factors play an important role in shaping the perceptual and emotional processes by which individuals form reactions to undesirable affective workplace events. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  39
    Aces High: My Control Trumps Your Care.Chris Yianni - 2009 - Ethics and Social Welfare 3 (3):337-343.
    Drawing from my previous experiences as an Approved Social Worker and my current experiences as a social work educator, this paper will explore the issues that mental health professionals, and specifically social workers, will face when confronted with the requirement to make decisions that are contrary to the emancipatory values that may have been inculcated in them during their period of training. The controlling nature of statutory social work in particular will be investigated and an assessment of its impact will (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  47
    Kleene's amazing second recursion theorem.Yiannis N. Moschovakis - 2010 - Bulletin of Symbolic Logic 16 (2):189 - 239.
    This little gem is stated unbilled and proved in the last two lines of §2 of the short note Kleene [1938]. In modern notation, with all the hypotheses stated explicitly and in a strong form, it reads as follows:Second Recursion Theorem. Fix a set V ⊆ ℕ, and suppose that for each natural number n ϵ ℕ = {0, 1, 2, …}, φn: ℕ1+n ⇀ V is a recursive partial function of arguments with values in V so that the standard (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  8. Hyperarithmetical Sets.Yiannis Moschovakis - 2016 - In Alberto Policriti & Eugenio Omodeo (eds.), Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Cham, Switzerland: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  9.  49
    On founding the theory of algorithms.Yiannis N. Moschovakis - 1998 - In Harold Garth Dales & Gianluigi Oliveri (eds.), Truth in mathematics. New York: Oxford University Press, Usa. pp. 71--104.
  10.  44
    Information technology in the service of peacebuilding: The case of cyprus.Yiannis Laouris - 2004 - World Futures 60 (1 & 2):67 – 79.
    Cyprus, an island in the Eastern Mediterranean, has been divided by force since 1974. Citizens of the two partitions have not been allowed to cross the cease-fire line, controlled by the United Nations Force, or to have any kind of communication between them. This article describes the innovative use of information technology to break the communication barrier between the two geographically isolated communities and to facilitate the creation of a shared vision and a concrete strategy toward achieving this vision.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  8
    Abstract recursion and intrinsic complexity.Yiannis N. Moschovakis - 2018 - New York, NY: Cambridge University Press.
    Presents a new framework for the complexity of algorithms, for all readers interested in the theory of computation.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. A panentheist reading of John Milbank.Yiannis E. Spanos & Spyros Lioukas - forthcoming - Modern Theology.
     
    Export citation  
     
    Bookmark  
  13.  46
    The formal language of recursion.Yiannis N. Moschovakis - 1989 - Journal of Symbolic Logic 54 (4):1216-1252.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  14.  56
    Manos Hadjidakis: The Story of an Anarchic Youth and a "Magnus Eroticus".Yiannis Miralis - 2004 - Philosophy of Music Education Review 12 (1):43-54.
    In lieu of an abstract, here is a brief excerpt of the content:Manos HadjidakisThe Story of an Anarchic Youth and a "Magnus Eroticus"Yiannis MiralisThe name of Manos Hadjidakis is probably unknown to contemporary musicians and music educators. After all, the Greek composer achieved his international fame back in 1961 when he won an Oscar for his soundtrack of the movie, "Never on Sunday." Numerous other awards followed from England, France, Germany, and of course, Greece. After his six years in (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  15.  53
    Visual space is not cognitively impenetrable.Yiannis Aloimonos & Cornelia Fermüller - 1999 - Behavioral and Brain Sciences 22 (3):366-367.
    Cognitive impenetrability (CI) of a large part of visual perception is taken for granted by those of us in the field of computational vision who attempt to recover descriptions of space using geometry and statistics as tools. These tools clearly point out, however, that CI cannot extend to the level of structured descriptions of object surfaces, as Pylyshyn suggests. The reason is that visual space – the description of the world inside our heads – is a nonEuclidean curved space. As (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  16. Document preparation for asl publications.Yiannis N. Moschovakis - unknown
    of L ATEX2 and essentially1 all commands of the AMS-L ATEX documentclass amsart are recognized by the documentclass asl, and so manuscripts prepared for those versions of TEX can be processed by the ASL Typesetting Office practically as-they-are.2 This brief guide is aimed at those authors who are reasonably..
    No categories
     
    Export citation  
     
    Bookmark  
  17.  30
    Gustav Hensel and Hilary Putnam. On the notational independence of various hierarchies of degrees of unsolvability. The journal of symbolic logic, vol. 30 , pp. 69–86.Yiannis N. Moschovakis - 1967 - Journal of Symbolic Logic 32 (1):124-125.
  18.  36
    A direct proof of the Feferman-Vaught theorem and other preservation theorems in products.Yiannis Vourtsanis - 1991 - Journal of Symbolic Logic 56 (2):632-636.
  19.  81
    Abstract computability and invariant definability.Yiannis N. Moschovakis - 1969 - Journal of Symbolic Logic 34 (4):605-633.
    By language we understand a lower predicate calculus with identity and (perhaps) relation and function symbols. It is convenient to allow for more than one sort of variable. Now each individual constant (if there are any) is of a specified sort, the formal expressions R(t1, … tn), f(t1,…, tn) are well formed only if the terms t1, …, tn are of specified sorts determined by the relation symbol R and the function symbol f, and the term f(t1, …, tn) (if (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  15
    L’avortement chez Aristote : un acte mè hosion.Yiannis Panidis - 2015 - Revue de Philosophie Ancienne 1:3-38.
    Dans le septième livre des Politiques, Aristote défend la thèse selon laquelle le recours à l’avortement devrait être interdit dès lors que l’embryon a acquis sensation et vie vu que dépassé ce stade de la gestation, l’avortement constitue un acte impie ( mè hosion ). Le présent article se propose d’examiner cette position défavorable du Stagirite en matière de pratique abortive. Pour ce faire, sera reconstitué dans un premier temps, pour l’essentiel à partir de ses œuvres biologiques, le statut que (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  34
    The Palmer House Hilton Hotel, Chicago, Illinois April 19–21, 2007.Yiannis Moschovakis, Richmond H. Thomason, Steffen Lempp, Steve Awodey, Jean-Pierre Marquis & William Tait - 2007 - Bulletin of Symbolic Logic 13 (4).
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  26
    Content-based control of goal-directed attention during human action perception.Yiannis Demiris & Bassam Khadhouri - 2008 - Interaction Studies. Social Behaviour and Communication in Biological and Artificial Systemsinteraction Studies / Social Behaviour and Communication in Biological and Artificial Systemsinteraction Studies 9 (2):353-376.
    During the perception of human actions by robotic assistants, the robotic assistant needs to direct its computational and sensor resources to relevant parts of the human action. In previous work we have introduced HAMMER, a computational architecture that forms multiple hypotheses with respect to what the demonstrated task is, and multiple predictions with respect to the forthcoming states of the human action. To confirm their predictions, the hypotheses request information from an attentional mechanism, which allocates the robot’s resources as a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  71
    Can information and mobile technologies serve to close the economic, educational, digital, and social gaps and accelerate development?Yiannis Laouris & Romina Laouri - 2008 - World Futures 64 (4):254 – 275.
    The emergence of information, and more recently, mobile broadband telecommunication technologies, was accompanied by the hype that they could serve to close the economic, educational, digital, and social gaps of our planet among the rich and the poor regions. The hopes, which were based on a number of assumptions, were partly dismissed at the dawn of the new millennium for a number of reasons exemplified in this article. The authors propose a repertoire of pathways through which technology may still serve (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  58
    Classical descriptive set theory as a refinement of effective descriptive set theory.Yiannis N. Moschovakis - 2010 - Annals of Pure and Applied Logic 162 (3):243-255.
    The Suslin–Kleene Theorem is obtained as a corollary of a standard proof of the classical Suslin Theorem, by noticing that it is mostly constructive and applying to it a naive realizability interpretation.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  47
    In Memoriam: Robin Oliver Gandy 1919–1995.Yiannis Moschovakis & Mike Yates - 1996 - Bulletin of Symbolic Logic 2 (3):367-370.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  68
    Meeting of the association for symbolic logic.Yiannis N. Moschovakis - 1969 - Journal of Symbolic Logic 34 (1):152-160.
  27.  50
    (1 other version)Strategic partnerships, social capital and innovation: accounting for social alliance innovation.Dima Jamali, Mary Yianni & Hanin Abdallah - 2011 - Business Ethics, the Environment and Responsibility 20 (4):375-391.
    This paper focuses on innovation in the context of business–non-governmental organization (NGO) partnerships for corporate social responsibility (CSR). While different aspects of business–NGO partnerships have been studied, the role of innovation and its potential implications for partnership outcomes have so far not been systematically explored. The paper defines innovation in simple and concrete terms and synthesizes from the literature what can be considered as critical ingredients to foster social alliance innovation. The paper posits in turn that these ingredients correspond closely (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  28.  96
    Global inductive definability.Jon Barwise & Yiannis N. Moschovakis - 1978 - Journal of Symbolic Logic 43 (3):521-534.
    We show that several theorems on ordinal bounds in different parts of logic are simple consequences of a basic result in the theory of global inductive definitions.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  29.  12
    Review of Meltzoff & Prinz (): The Imitative Mind: Development, Evolution and Brain Bases. [REVIEW]Yiannis Demiris - 2004 - Interaction Studies. Social Behaviour and Communication in Biological and Artificial Systemsinteraction Studies / Social Behaviour and Communication in Biological and Artificial Systemsinteraction Studies 5 (1):147-153.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  37
    Review of “The Imitative Mind: Development, Evolution and Brain Bases” by Andrew N. Meltzoff and Wolfgang Prinz. [REVIEW]Yiannis Demiris - 2004 - Interaction Studiesinteraction Studies Social Behaviour and Communication in Biological and Artificial Systems 5 (1):147-153.
  31.  50
    Kreisel G.. Analysis of Cantor-Bendixson theorem by means of the analytic hierarchy. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 , pp. 621–626. [REVIEW]Yiannis N. Moschovakis - 1970 - Journal of Symbolic Logic 35 (2):334-334.
  32.  40
    Porte Jean. Quelques pseudo-paradoxes de la “calculabilité effective.” 2e Congrès Internationale de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur 1960, pp. 332–334.Kalmár László. An argument against the plausibility of Church's thesis. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 72–80.Peter Rózsa. Rekursivität und Konstruktivität. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 226–233.Mendelson Elliott. On some recent criticism of Church's thesis. Notre Dame journal of formal logic, vol. 4 no. 3 , pp. 201–205. [REVIEW]Yiannis N. Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):471-472.
  33.  21
    Preface.Joan Bagaria, Yiannis Moschovakis, Margarita Otero & Ivan Soskov - 2011 - Annals of Pure and Applied Logic 162 (7):489.
  34.  38
    Kreisel G.. The axiom of choice and the class of hyperarithmetic functions. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 65 , pp. 307–319; also Indagationes mathematicae, vol. 24 , pp. 307–319. [REVIEW]Yiannis N. Moschovakis - 1970 - Journal of Symbolic Logic 35 (2):333-334.
  35.  48
    Joseph Harrison. Recursive pseudo-well-orderings. Transactions of the American Mathematical Society, vol. 131 , pp. 526–543. [REVIEW]Yiannis N. Moschovakis - 1972 - Journal of Symbolic Logic 37 (1):197-198.
  36.  83
    Yoemon Sampei. A proof of Mansfield's theorem by forcing method. Commentarii mathematici Universitatis Sancti Pauli, vol. 17 no. 2 , pp. 99–103. [REVIEW]Yiannis N. Moschovakis - 1975 - Journal of Symbolic Logic 40 (3):462.
  37.  74
    Peter G. Hinman. Hierarchies of effective descriptive set theory. Transactions of the American Mathematical Society, vol. 142 , pp. 111–140. [REVIEW]Yiannis N. Moschovakis - 1972 - Journal of Symbolic Logic 37 (4):758-759.
  38.  42
    (1 other version)Kreisel G., Lacombe D., and Shoenfield J.. Effective operations and partial recursive functionals. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 364–365.Kreisel G., Lacombe D., and Shoenfield J. R.. Partial recursive functionals and effective operations. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North Holland Publishing Company, Amsterdam 1959, pp. 290–297. [REVIEW]Yiannis N. Moschovakis - 1966 - Journal of Symbolic Logic 31 (2):261-262.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  39
    Georg Kreisel and Daniel Lacombe. Ensembles récursivement mesurables et ensembles récursivement ouverts ou fermés. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 245 , pp. 1106–1109. [REVIEW]Yiannis N. Moschovakis - 1966 - Journal of Symbolic Logic 31 (1):133-133.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  40. A coffee with Jacques Rancière beneath the Acropolis.Alexandros Schismenos, Yiannis Ktenas & Yavor Tarinski (eds.) - 2017 - 2017: Babylonia Journal.
    We met Jacques Rancière on Saturday, May 27, 2017, at the School of Fine Arts shortly before his speech at the B-Fest 6 International Anti-Authoritarian Festival, organized by Babylonia Journal, with a central slogan “We are ungovernable”. Rancière is among the most important European philosophers alive and his work does not need further introductions. In the cloudy morning of Sunday 28 May, we sat beneath the Acropolis to have a coffee with the philosopher. The transcript of our conversation reflects the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  14
    Similarity Learning and Generalization with Limited Data: A Reservoir Computing Approach.Sanjukta Krishnagopal, Yiannis Aloimonos & Michelle Girvan - 2018 - Complexity 2018:1-15.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Is the euclidean algorithm optimal among its Peers?Louden Dries & Yiannis N. Moschovakis - 2004 - Bulletin of Symbolic Logic 10 (3):390 - 418.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  23
    An Embodied Tutoring System for Literal vs. Metaphorical Concepts.Marietta Sionti, Thomas Schack & Yiannis Aloimonos - 2018 - Frontiers in Psychology 9:365590.
    • In this paper we combine motion captured data with linguistic notions in a game-like intelligent tutoring system, in order to help elementary school students to better differentiate literal from metaphorical uses of motion verbs, based on embodied information. In addition to the thematic goal, we intend to improve young students’ attention and spatiotemporal memory, by presenting sensorimotor data experimentally collected from thirty two participants in our motion capturing labs. Furthermore, we examine the accomplishment of game’s goals and compare them (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  61
    Το τέλος της πολιτικής Ένας οδηγός για τη σκέψη του Προυντόν.Georges Faraklas, Kostas Galanopoulos, Yiannis Ktenas, Alexandros Schismenos, Vana Karafoulidou, Georgios Dritsas, Dionysios Drakos, Lefteris Chountoulidis, Georgios Sagriotis, Dimitris Foufoulas, Giannis Flytzanis, Giannis Mitrou & Edward Castleton (eds.) - 2024 - Athens:
    Μολονότι ο Προυντόν δεν κατέχει πλέον τη θέση αυτή, τον 19ο αιώνα θεωρούνταν, και πιθανόν να ήταν, ο επιδραστικότερος θεωρητικός της δημοκρατικής και σοσιαλιστικής παράταξης. Η επανεμφάνιση στον σύγχρονο θεωρητικό αλλά και τον δημόσιο λόγο μιας σειράς εννοιών και ιδεών, όπως φεντεραλισμός, αμοιβαιότητα, αποκέντρωση, πλουραλισμός, εξισορρόπηση και ριζοσπαστική μεταρρύθμιση, κάνουν απαραίτητη την εκ νέου εξέταση και αξιολόγηση του έργου αυτού του σπουδαίου, αλλά και αντιφατικού, στοχαστή. Τα κείμενα του τόμου συνθέτουν ένα μωσαϊκό το οποίο προσφέρει στον αναγνώστη μια εισαγωγή στο (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  13
    Governance and Sustainability of Responsible Research and Innovation Processes: Cases and Experiences.Fernando Ferri, Ned Dwyer, Saša Raicevich, Patrizia Grifoni, Husne Altiok, Hans Thor Andersen, Yiannis Laouris & Cecilia Silvestri (eds.) - 2018 - Cham: Springer Verlag.
    This book provides methods and practical cases and experiences with the aim of stimulating Responsible Research and Innovation through the direct engagement of researchers, Civil Society Organisations, citizens, industry stakeholders, policy and decision makers, research funders and communicators. The book furthermore aims to advance debate on Responsible Research and Innovation and also to reinforce the RRI community identity. With chapters covering governance, public engagement and inclusion in responsible R&D and innovation processes; RRI actions in science education and communication; gender and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  17
    Responsible Research and Innovation Actions in Science Education, Gender and Ethics: Cases and Experiences.Fernando Ferri, Ned Dwyer, Saša Raicevich, Patrizia Grifoni, Husne Altiok, Hans Thor Andersen, Yiannis Laouris & Cecilia Silvestri (eds.) - 2018 - Cham: Springer Verlag.
    This book gathers case studies presented at the International Conference on Responsible Research and Innovation in Science, Innovation and Society. It highlights European initiatives and projects in various domains and contexts, each of which explores how to create guidelines and good practices for Responsible Research and Innovation and how to promote them among citizens, industry stakeholders, policy and decision makers, research funders and educational institutions to foster their adoption as a potential benchmark in establishing RRI processes. Further, the book discusses (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  19
    Report On The Season In Firan – Sinaï.Peter Grossmann, Michael Jones & Yiannis Meimaris - 1998 - Byzantinische Zeitschrift 91 (2):345-358.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  23
    Scales on Σ 1 1 Sets.John R. Steel, A. S. Kechris, D. A. Martin, Y. N. Moschovakis, Yiannis N. Moschovakis & Donald A. Martin - 1992 - Journal of Symbolic Logic 57 (1):261-262.
  49.  87
    The Kleene symposium and the summer meeting of the Association for Symbolic Logic, Madison 1978.John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen & Yiannis N. Moschovakis - 1979 - Journal of Symbolic Logic 44 (3):469-480.
  50.  14
    The relevance of stretch intensity and position—a systematic review.Nikos Apostolopoulos, George S. Metsios, Andreas D. Flouris, Yiannis Koutedakis & Matthew A. Wyon - 2015 - Frontiers in Psychology 6.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 70