7 found
Sort by:
  1. Gabriele Kern-Isberner & Christian Eichhorn (2014). Structural Inference From Conditional Knowledge Bases. Studia Logica 102 (4):751-769.
    There are several approaches implementing reasoning based on conditional knowledge bases, one of the most popular being System Z (Pearl, Proceedings of the 3rd conference on theoretical aspects of reasoning about knowledge, TARK ’90, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, pp. 121–135, 1990). We look at ranking functions (Spohn, The Laws of Belief: Ranking Theory and Its Philosophical Applications, Oxford University Press, Oxford, 2012) in general, conditional structures and c-representations (Kern-Isberner, Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Christoph Beierle & Gabriele Kern-Isberner (eds.) (2013). Proceedings of the 4th Workshop on Dynamics of Knowledge and Belief (DKB-2013). Fakultät für Mathematik und Informatik, FernUniversität in Hagen.
    No categories
     
    My bibliography  
     
    Export citation  
  3. Marcelo Alejandro Falappa, Alejandro Javier García, Gabriele Kern-Isberner & Guillermo Ricardo Simari (2013). Stratified Belief Bases Revision with Argumentative Inference. Journal of Philosophical Logic 42 (1):161-193.
    We propose a revision operator on a stratified belief base, i.e., a belief base that stores beliefs in different strata corresponding to the value an agent assigns to these beliefs. Furthermore, the operator will be defined as to perform the revision in such a way that information is never lost upon revision but stored in a stratum or layer containing information perceived as having a lower value. In this manner, if the revision of one layer leads to the rejection of (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. Marcelo A. Falappa, Gabriele Kern-Isberner, Maurício D. L. Reis & Guillermo R. Simari (2012). Prioritized and Non-Prioritized Multiple Change on Belief Bases. Journal of Philosophical Logic 41 (1):77-113.
    In this article we explore multiple change operators, i.e., operators in which the epistemic input is a set of sentences instead of a single sentence. We propose two types of change: prioritized change, in which the input set is fully accepted, and symmetric change, where both the epistemic state and the epistemic input are equally treated. In both kinds of operators we propose a set of postulates and we present different constructions: kernel changes and partial meet changes.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  5. Patrick Krümpelmann & Gabriele Kern-Isberner (2012). Belief Base Change Operations for Answer Set Programming. In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. 294--306.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Gabriele Kern-Isberner (2002). Handling Conditionals Adequately in Uncertain Reasoning and Belief Revision. Journal of Applied Non-Classical Logics 12 (2):215-237.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. Gabriele Kern-Isberner (2001). Conditional Indifference and Conditional Preservation. Journal of Applied Non-Classical Logics 11 (1-2):85-106.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation