12 found
Sort by:
  1. Gerhard Brewka (2006). Answer Sets and Qualitative Optimization. Logic Journal of the Igpl 14 (3):413-433.
    One of the major reasons for the success of answer set programming in recent years was the shift from a theorem proving to a constraint programming view: problems are represented such that stable models, respectively answer sets, rather than theorems correspond to solutions. This shift in perspective proved extremely fruitful in many areas. We believe that going one step further from a “hard” to a “soft” constraint programming paradigm, or, in other words, to a paradigm of qualitative optimization, will prove (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. 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  
  3. Gerhard Brewka & Pavlos Peppas (2005). Preface. Studia Logica 79 (1):3-5.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Gerhard Brewka (2002). Principles of Knowledge Representation. Center for the Study of Language and Inf.
  5. 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  
  6. 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  
  7. 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  
  8. Gerhard Brewka, Jurgen Dix & Kurt Konolige (1997). Nonmonotonic Reasoning: An Overview. Center for the Study of Language and Inf.
     
    My bibliography  
     
    Export citation  
  9. Gerhard Brewka, K. P. Jantke, P. H. Schmitt & International Workshop on Nonmonotonic and Inductive Logic (1993). Nonmonotonic and Inductive Logic Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : Proceedings. [REVIEW]
     
    My bibliography  
     
    Export citation  
  10. Gerhard Brewka (1991). Belief Revision in a Framework for Default Reasoning. In André Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change. Springer. 206--222.
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. 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  
  12. Gerhard Brewka (1989). Nonmonotonic Reasoning From Theoretical Foundation Towards Efficient Computation. [S.N.
     
    My bibliography  
     
    Export citation