12 found
Order:
  1.  64
    Paul D. Thorn, Christian Eichhorn, Gabriele Kern-Isberner & Gerhard Schurz (2015). Qualitative Probabilistic Inference with Default Inheritance. In Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni & Frieder Stolzenburg (eds.), Proceedings of the Ki 2015 Workshop on Formal and Cognitive Reasoning. 16-28.
    There are numerous formal systems that allow inference of new conditionals based on a conditional knowledge base. Many of these systems have been analysed theoretically and some have been tested against human reasoning in psychological studies, but experiments evaluating the performance of such systems are rare. In this article, we extend the experiments in [19] in order to evaluate the inferential properties of c-representations in comparison to the well-known Systems P and Z. Since it is known that System (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  2.  19
    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)  
     
    Export citation  
     
    My bibliography   3 citations  
  3.  13
    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)  
     
    Export citation  
     
    My bibliography   2 citations  
  4.  7
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  4
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  4
    Gabriele Kern-Isberner (2001). Conditional Indifference and Conditional Preservation. Journal of Applied Non-Classical Logics 11 (1-2):85-106.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  7. Christoph Beierle & Gabriele Kern-Isberner (2010). Editorial: Dynamics of Knowledge and Belief. Logic Journal of the Igpl 18 (4):485-487.
    Direct download  
     
    Export citation  
     
    My bibliography  
  8. 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
     
    Export citation  
     
    My bibliography  
  9. Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni & Frieder Stolzenburg (eds.) (2015). Proceedings of the KI 2015 Workshop on Formal and Cognitive Reasoning.
    No categories
     
    Export citation  
     
    My bibliography  
  10. Gabriele Kern-Isberner (2001). Conditionals in Nonmonotonic Reasoning and Belief Revision Considering Conditionals as Agents.
     
    Export citation  
     
    My bibliography  
  11. Gabriele Kern-Isberner & Wilhelm Rödder (2006). Editorial. Logic Journal of the Igpl 14 (3):409-411.
    This special issue “Inferences and Information Processing in a Conditional Framework“ is dedicated to conditionals as central objects for inferencing and information processing. It presents selected revised papers of the Workshop on Conditionals, Information, and Inference, CII'04, held in Ulm, Germany, co-located with the German national conference on AI, KI'2004.Conditional statements If A then B carry a very special kind of information that can not be captured by interpreting them as material implications. Roughly speaking, the premise, A, provides a context (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  12. 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.
    Direct download  
     
    Export citation  
     
    My bibliography