1. Christoph Beierle and Gabriele Kern-Isberner.
    The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics.
    In Foundations of Information and Knowledge Systems, 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings. 2010, 191–210.
    URL, DOI BibTeX

    @inproceedings{Beierle2010a,
    	title = "The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics",
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
    	booktitle = "Foundations of Information and Knowledge Systems, 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings",
    	year = 2010,
    	pages = "191--210",
    	doi = "10.1007/978-3-642-11829-6_14",
    	url = "http://dx.doi.org/10.1007/978-3-642-11829-6_14"
    }
    

  1. Christoph Beierle and Gabriele Kern-Isberner.
    A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations.
    In KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings. 2009, 273–280.
    URL, DOI BibTeX

    @inproceedings{Beierle2009,
    	title = "A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations",
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
    	booktitle = "{KI} 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings",
    	year = 2009,
    	pages = "273--280",
    	doi = "10.1007/978-3-642-04617-9_35",
    	url = "http://dx.doi.org/10.1007/978-3-642-04617-9_35"
    }
    

  1. Christoph Beierle and Gabriele Kern-Isberner.
    Formal similarities and differences among qualitative conditional semantics.
    Int. J. Approx. Reasoning 50(9):1333–1346, 2009.
    URL, DOI BibTeX

    @article{Beierle2009a,
    	title = "Formal similarities and differences among qualitative conditional semantics",
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
    	journal = "Int. J. Approx. Reasoning",
    	year = 2009,
    	number = 9,
    	pages = "1333--1346",
    	volume = 50,
    	doi = "10.1016/j.ijar.2009.04.006",
    	url = "http://dx.doi.org/10.1016/j.ijar.2009.04.006"
    }
    

2009

2008

  1. Christoph Beierle and Gabriele Kern-Isberner.
    Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen (4. Aufl.)
    .
    Vieweg, 2008.
    URL BibTeX

    @book{Beierle2008b,
    	title = "Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen {(4.} Aufl.)",
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
    	publisher = "Vieweg",
    	year = 2008,
    	isbn = "978-3-8348-0504-1",
    	url = "http://www.viewegteubner.de/index.php;do=show/sid=ed580693f2c3bf44840f358450092436/site=v/book_id=16313"
    }
    

  1. Christoph Beierle and Gabriele Kern-Isberner.
    On the Modelling of an Agent's Epistemic State and its Dynamic Changes.
    ECEASST 12, 2008.
    URL BibTeX

    @article{Beierle2008,
    	title = "On the Modelling of an Agent's Epistemic State and its Dynamic Changes",
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
    	journal = "{ECEASST}",
    	year = 2008,
    	volume = 12,
    	url = "http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/234"
    }
    

  1. Christoph Beierle and Gabriele Kern-Isberner.
    A Verified AsmL Implementation of Belief Revision.
    In Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings. 2008, 98–111.
    URL, DOI BibTeX

    @inproceedings{Beierle2008a,
    	title = "A Verified AsmL Implementation of Belief Revision",
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
    	booktitle = "Abstract State Machines, {B} and Z, First International Conference, {ABZ} 2008, London, UK, September 16-18, 2008. Proceedings",
    	year = 2008,
    	pages = "98--111",
    	doi = "10.1007/978-3-540-87603-8_9",
    	url = "http://dx.doi.org/10.1007/978-3-540-87603-8_9"
    }
    

2007

2006

2005