7 found
Order:
Disambiguations
Julian Gutierrez [6]Juliana Gutiérrez [2]
See also
Juliana Gutiérrez
Universidad de Los Andes
Juliana Gutiérrez
Universitat Autonoma de Barcelona
  1.  1
    From Model Checking to Equilibrium Checking: Reactive Modules for Rational Verification.Julian Gutierrez, Paul Harrenstein & Michael Wooldridge - 2017 - Artificial Intelligence 248:123-157.
  2.  15
    Reasoning About Equilibria in Game-Like Concurrent Systems.Julian Gutierrez, Paul Harrenstein & Michael Wooldridge - 2017 - Annals of Pure and Applied Logic 168 (2):373-403.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  27
    Partial-Order Boolean Games: Informational Independence in a Logic-Based Model of Strategic Interaction.Julian Bradfield, Julian Gutierrez & Michael Wooldridge - 2016 - Synthese 193 (3):781-811.
    As they are conventionally formulated, Boolean games assume that players make their choices in ignorance of the choices being made by other players – they are games of simultaneous moves. For many settings, this is clearly unrealistic. In this paper, we show how Boolean games can be enriched by dependency graphs which explicitly represent the informational dependencies between variables in a game. More precisely, dependency graphs play two roles. First, when we say that variable x depends on variable y, then (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  7
    Hermann Von Helmholtz, Ewald Hering and Color Vision: A Controversy Over Styles of Reasoning?Juliana Gutiérrez - 2021 - Manuscrito 44 (1):37-97.
    During the second half of the 19th century, in the field of physiological optics, there was a strong controversy between Hermann von Helmholtz and Ewald Hering. This controversy has been usually characterized as “empiricism” vs. “nativism”. In the field of physiology of visual perception, several subjects demanded attention, among them, color vision. Helmholtz and Hering suggested different theories for the physiological correlate of color sensation and different color spaces to give an account of the relationships between colors. In this article, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  11
    Davide Sangiorgi. Introduction to Bisimulation and Coinduction. Cambridge University Press, 2012, 247 Pp. - Advanced Topics in Bisimulation and Coinduction, Edited by Davide Sangiorgi and Jan Rutten, Cambridge Tracts in Theoretical Computer Science, Vol. 52. Cambridge University Press, 2012, 326 Pp. [REVIEW]Julian Gutierrez - 2013 - Bulletin of Symbolic Logic 19 (1):108-110.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  19
    Reviewed Work(S): Introduction to Bisimulation and Coinduction by Davide Sangiorgi; Advanced Topics in Bisimulation and Coinduction by Davide Sangiorgi; Jan Rutten.Julian Gutierrez - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
    Review by: Julian Gutierrez The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 108-110, March 2013.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  2
    Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games.Julian Gutierrez, Muhammad Najib, Giuseppe Perelli & Michael Wooldridge - 2020 - Artificial Intelligence 287:103353.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark