7 found
Sort by:
  1. Gerhard Brewka (2005). Answer Sets and Qualitative Decision Making. Synthese 146 (1-2):171 - 187.
    Logic programs under answer set semantics have become popular as a knowledge representation formalism in Artificial Intelligence. In this paper we investigate the possibility of using answer sets for qualitative decision making. Our approach is based on an extension of the formalism, called logic programs with ordered disjunction (LPODs). These programs contain a new connective called ordered disjunction. The new connective allows us to represent alternative, ranked options for problem solutions in the heads of rules: A × B intuitively means: (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Gerhard Brewka & Pavlos Peppas (2005). Preface. Studia Logica 79 (1):3-5.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Manuel Ojeda-Aciego, Gerhard Brewka, Inma P. de Guzmán & Luís Moniz Pereira (2002). Preface. Studia Logica 72 (1):3-5.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Gerhard Brewka (2001). Declarative Representation of Revision Strategies. Journal of Applied Non-Classical Logics 11 (1-2):151-167.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Gerhard Brewka (2001). Representing Meta-Knowledge in Poole-Systems. Studia Logica 67 (2):153-165.
    We show how Poole-systems, a simple approach to nonmonotonic reasoning, can be extended to take meta-information into account adequately. The meta-information is used to guide the choice of formulas accepted by the reasoner as premises. Existence of a consistent set of conclusions is guaranteed by a least fixpoint construction. The proposed formalism has useful applications in defeasible reasoning, knowledge base fusion and belief revision.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  6. Gerhard Brewka (1991). Belief Revision in a Framework for Default Reasoning. In. In André Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change. Springer. 206--222.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Gerhard Brewka (1991). Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press.
    In this book the author gives a broad overview of different areas of research in nonmonotonic reasoning, and presents some new results and ideas based on his research. The guiding principles are: clarification of the different research activities in the area, which have sometimes been undertaken independently of each other; and appreciation of the fact that these research activities often represent different means to the same ends, namely sound theoretical foundations and efficient computation. The book begins with a discussion of (...)
    Direct download  
     
    My bibliography  
     
    Export citation