1.  26
    A First Order Nonmonotonic Extension of Constructive Logic.David Pearce & Agustín Valverde - 2005 - Studia Logica 80 (2-3):321-346.
    Certain extensions of Nelson's constructive logic N with strong negation have recently become important in arti.cial intelligence and nonmonotonic reasoning, since they yield a logical foundation for answer set programming (ASP). In this paper we look at some extensions of Nelson's .rst-order logic as a basis for de.ning nonmonotonic inference relations that underlie the answer set programming semantics. The extensions we consider are those based on 2-element, here-and-there Kripke frames. In particular, we prove completeness for .rst-order here-and-there logics, and their (...)
    Direct download (5 more)  
    Export citation  
    Bookmark   1 citation  
  2.  12
    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  
  3.  9
    Foreword.Pedro Cabalar & Agustín Valverde - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):1-1.