13 found
Order:
  1.  11
    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.  57
    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   6 citations  
  3.  25
    Gelfond–Zhang aggregates as propositional formulas.Pedro Cabalar, Jorge Fandinno, Torsten Schaub & Sebastian Schellhorn - 2019 - Artificial Intelligence 274 (C):26-43.
  4.  58
    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  
  5.  18
    Formalising the Fisherman's Folly puzzle.Pedro Cabalar & Paulo E. Santos - 2011 - Artificial Intelligence 175 (1):346-377.
  6.  16
    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  
  7.  18
    Metric dynamic equilibrium logic.Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Farinas del Cerro, Torsten Schaub & Anna Schuhmann - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):495-519.
    1. Reasoning about action and change, or more generally reasoning about dynamic systems, is not only central to knowledge representation and reasoning but at the heart of computer science (Fisher e...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  13
    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  
  9.  14
    Autoepistemic answer set programming.Pedro Cabalar, Jorge Fandinno & Luis Fariñas del Cerro - 2020 - Artificial Intelligence 289 (C):103382.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  24
    A qualitative spatial representation of string loops as holes.Pedro Cabalar & Paulo E. Santos - 2016 - Artificial Intelligence 238 (C):1-10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  46
    A short biography of Luis Fariñas del Cerro.Pedro Cabalar, Martín Diéguez, Andreas Herzig & David Pearce - 2017 - Journal of Applied Non-Classical Logics 27 (3):153-160.
    Near the end of 2015, Luis Fariñas del Cerro officially retired as directeur de recherche in the Centre National de Recherche Scientifique (CNRS) and became an Emeritus researcher of the CNRS. The present special issue is a Festschrift in his honour to celebrate Luis’s achievements in science, both as an outstanding scholar as well as a remarkable and highly successful organiser, administrator and leader in science and technology policy and management, in particular as the founder of the Journal of Applied (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  22
    Foreword.Pedro Cabalar & Agustín Valverde - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):1-1.
  13.  29
    Stable reasoning.Pedro Cabalar, David Pearce & Agustín Valverde - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):238-254.
    We give an account of stable reasoning, a recent and novel approach to problem solving from a formal, logical point of view. We describe the underlying logic of stable reasoning and illustrate how it is used to model different domains and solve practical reasoning problems. We discuss some of the main differences with respect to reasoning in classical logic and we examine an ongoing research programme for the rational reconstruction of human knowledge that may be considered a successor to the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark