7 found
Order:
  1.  5
    Forgetting auxiliary atoms in forks.Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez & Concepción Vidal - 2019 - Artificial Intelligence 275 (C):575-601.
  2.  38
    Temporal equilibrium logic: a survey.Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez & Concepción Vidal - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):2-24.
    This paper contains a survey of the main definitions and results obtained to date related to Temporal Equilibrium Logic, a nonmonotonic hybrid approach that combines Equilibrium Logic (the best-known logical characterisation for the stable models semantics of logic programs) with Linear-Time Temporal Logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  40
    Temporal Equilibrium Logic with past operators.Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez & Concepción Vidal - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):161-177.
    In this paper, we study the introduction of modal past temporal operators in Temporal Equilibrium Logic, an hybrid formalism that mixes linear-time modalities and logic programs interpreted under stable models and their characterisation in terms of Equilibrium Logic. We show that Kamp’s translation can also be used to translate the new extension of TEL with past operators into Quantified Equilibrium Logic. Additionally, we provide a method for removing past operators that consists in replacing past-time subformulas by fresh auxiliary atoms, obtaining (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  11
    Syntactic ASP forgetting with forks.Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez & Concepción Vidal - 2024 - Artificial Intelligence 326 (C):104033.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  7
    A polynomial reduction of forks into logic programs.Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez & Concepción Vidal - 2022 - Artificial Intelligence 308 (C):103712.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  8
    The eloquent screen: a rhetoric of film.Gilberto Perez - 2019 - Minneapolis: University of Minnesota Press.
    Cinema is commonly hailed as "the universal language," but how does it communicate so effortlessly across cultural and linguistic borders? Drawing on a lifetime's worth of viewing an reviewing, influential critic Gilberto Perez invokes a dizzying array of masters past and present includin Chaplin, Ford, Kiarostami, Eisenstein, Malick, Mizoguchi, Haneke, Hitchcock, and Godard--to explore the transaction between filmmaker and audience. The Eloquent Screen shows how cinema, as the consummate contemporary art form, establishes a thoroughly modern rhetoric in which different points (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  58
    The material ghost: films and their medium.Gilberto Perez - 1998 - Baltimore: Johns Hopkins University Press.
    "Tough, smart, superbly engaging, The Material Ghost is a terrific book." -- Edward W. Said In The Material Ghost , Gilberto Perez draws on his lifelong love of the movies as well as his work as a film scholar to write a lively, wide-ranging, penetrating study of films and filmmakers and the nature of the art form. For Perez, film is complex and richly contradictory, lifelike and dreamlike at once, a peculiar mix of reality and imagination. "The images on the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation