1. Christoph Beierle and Gabriele Kern-Isberner.
    Editorial: Dynamics of knowledge and belief.
    Logic Journal of the IGPL 18(4):485–487, 2010.
    URL, DOI BibTeX

    @article{Beierle2010,
    	title = "Editorial: Dynamics of knowledge and belief",
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
    	journal = "Logic Journal of the {IGPL}",
    	year = 2010,
    	number = 4,
    	pages = "485--487",
    	volume = 18,
    	doi = "10.1093/jigpal/jzp034",
    	url = "http://dx.doi.org/10.1093/jigpal/jzp034"
    }
    

  1. Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner and Matthias Thimm.
    Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law.
    In Computational Models of Argument: Proceedings of COMMA 2010, Desenzano del Garda, Italy, September 8-10, 2010.. 2010, 87–98.
    URL, DOI BibTeX

    @inproceedings{Beierle2010b,
    	title = "Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law",
    	author = "Christoph Beierle and Bernhard Freund and Gabriele Kern{-}Isberner and Matthias Thimm",
    	booktitle = "Computational Models of Argument: Proceedings of {COMMA} 2010, Desenzano del Garda, Italy, September 8-10, 2010.",
    	year = 2010,
    	pages = "87--98",
    	doi = "10.3233/978-1-60750-619-5-87",
    	url = "http://dx.doi.org/10.3233/978-1-60750-619-5-87"
    }
    

  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