1. Patrick Krümpelmann and Gabriele Kern-Isberner.
    On belief dynamics of dependency relations for extended logic programs.
    In Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR'10). 2010.
    BibTeX

    @inproceedings{kruempelmann2010nmra,
    	author = {Kr{\"u}mpelmann, Patrick and Kern-Isberner, Gabriele},
    	booktitle = "Proceedings of the 13th International Workshop on Non-Monotonic Reasoning ({NMR}'10)",
    	date-added = "2014-11-18 12:00:31 +0000",
    	date-modified = "2014-11-18 12:00:31 +0000",
    	keywords = "own",
    	title = "On belief dynamics of dependency relations for extended logic programs",
    	year = 2010,
    	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YW8QZAAuAC4ALwAuAC4ALwAuAC4ALwAuAC4ALwBzAHYAbgBzAC8AYQBuAGcAZQByAG8AbgBhAC8AZABvAGMAdQBtAGUAbgB0AGEAdABpAG8AbgAvAGIAaQBiAGwAaQBvAGcAcgBhAHAAaAB5AC8AYgBpAGIAZABlAHMAawAtAHAAYQBwAGUAcgAvAGsAcgB1AwgAbQBwAGUAbABtAGEAbgBuAC8AawByAHUDCABtAHAAZQBsAG0AYQBuAG4AMgAwADEAMAAuAHAAZABm0hcLGBlXTlMuZGF0YU8RAlAAAAAAAlAAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMpBBgxIKwAAALjFJRNrcp9tcGVsbWFubjIwMTAucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAuMUqz5/pTgAAAAAAAAAAAAQABwAACSAAAAAAAAAAAAAAAAAAAAALa3KfbXBlbG1hbm4AABAACAAAykDp7AAAABEACAAAz5/NLgAAAAEAKAC4xSUAuMQYALelmwB1EMwAcBSTAHAUZAAFXtwABRXSAAUUzAAAvuwAAgCKTWFjaW50b3NoIEhEOlVzZXJzOgBwYXRzOgBEb2N1bWVudHM6AG15U3R1ZmY6AHN2bnM6AGFuZ2Vyb25hOgBkb2N1bWVudGF0aW9uOgBiaWJsaW9ncmFwaHk6AGJpYmRlc2stcGFwZXI6AGtyn21wZWxtYW5uOgBrcp9tcGVsbWFubjIwMTAucGRmAA4AKgAUAGsAcgB1AwgAbQBwAGUAbABtAGEAbgBuADIAMAAxADAALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAHdVc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rcnXMiG1wZWxtYW5uL2tydcyIbXBlbG1hbm4yMDEwLnBkZgAAEwABLwAAFQACAAv//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgFZAV4BZgO6A7wDwQPMA9UD4wPnA+4D9wP8BAkEDAQeBCEEJgAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAQo"
    }
    

  1. Sven Hartrumpf, Tim vor der Brück and Christian Eichhorn.
    Semantic Duplicate Identification with Parsing and Machine Learning.
    In Petr Sojka, Ale\v Hor\ak, Ivan Kope\v cek and Karel Pala (eds.). Proceedings of the 13th International Conference on Text, Speech and Dialogue (TSD 2010) 6231. 2010, 84–92.
    BibTeX

    @inproceedings{hartrumpf_etal10b,
    	author = {Sven Hartrumpf and Tim {vor der Br{\"u}ck} and Christian Eichhorn},
    	title = "Semantic Duplicate Identification with Parsing and Machine Learning",
    	editor = "Petr Sojka and Ale{\v s} Hor{\a}k and Ivan Kope{\v c}ek and Karel Pala",
    	booktitle = "Proceedings of the 13th International Conference on Text, Speech and Dialogue (TSD 2010)",
    	year = 2010,
    	series = "Lecture Notes in Artificial Intelligence",
    	volume = 6231,
    	pages = "84--92",
    	address = "Brno, Czech Republic",
    	month = ""
    }
    

  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. Patrick Krümpelmann.
    Towards Dependency Semantics for Conflict Handling in Logic Programs.
    In Christoph Beierle and Gabriele Kern-Isberner (eds.). Proceedings of the 1st Workshop on Relational Approaches to Knowledge Representation and Learning. September 2009, 79–93.
    BibTeX

    @inproceedings{kruempelmann2009ki,
    	address = "Paderborn, Germany",
    	author = {Patrick Kr{\"u}mpelmann},
    	booktitle = "Proceedings of the 1st Workshop on Relational Approaches to Knowledge Representation and Learning",
    	date-added = "2014-11-18 12:00:31 +0000",
    	date-modified = "2014-11-18 12:00:31 +0000",
    	editor = "Christoph Beierle and Gabriele Kern-Isberner",
    	keywords = "own",
    	month = "September",
    	pages = "79--93",
    	title = "Towards Dependency Semantics for Conflict Handling in Logic Programs",
    	year = 2009,
    	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YW8QZQAuAC4ALwAuAC4ALwAuAC4ALwAuAC4ALwBzAHYAbgBzAC8AYQBuAGcAZQByAG8AbgBhAC8AZABvAGMAdQBtAGUAbgB0AGEAdABpAG8AbgAvAGIAaQBiAGwAaQBvAGcAcgBhAHAAaAB5AC8AYgBpAGIAZABlAHMAawAtAHAAYQBwAGUAcgAvAGsAcgB1AwgAbQBwAGUAbABtAGEAbgBuAC8AawByAHUDCABtAHAAZQBsAG0AYQBuAG4AMgAwADAAOQBhAC4AcABkAGbSFwsYGVdOUy5kYXRhTxECVAAAAAACVAACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAykEGDEgrAAAAuMUlFGtyn21wZWxtYW5uMjAwOWEucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAC4xSjPn+lOAAAAAAAAAAAABAAHAAAJIAAAAAAAAAAAAAAAAAAAAAtrcp9tcGVsbWFubgAAEAAIAADKQOnsAAAAEQAIAADPn80uAAAAAQAoALjFJQC4xBgAt6WbAHUQzABwFJMAcBRkAAVe3AAFFdIABRTMAAC+7AACAItNYWNpbnRvc2ggSEQ6VXNlcnM6AHBhdHM6AERvY3VtZW50czoAbXlTdHVmZjoAc3ZuczoAYW5nZXJvbmE6AGRvY3VtZW50YXRpb246AGJpYmxpb2dyYXBoeToAYmliZGVzay1wYXBlcjoAa3KfbXBlbG1hbm46AGtyn21wZWxtYW5uMjAwOWEucGRmAAAOACwAFQBrAHIAdQMIAG0AcABlAGwAbQBhAG4AbgAyADAAMAA5AGEALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAHhVc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rcnXMiG1wZWxtYW5uL2tydcyIbXBlbG1hbm4yMDA5YS5wZGYAEwABLwAAFQACAAv//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgFbAWABaAPAA8IDxwPSA9sD6QPtA/QD/QQCBA8EEgQkBCcELAAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAQu"
    }
    

  1. Christian Eichhorn.
    Automatische Duplikatserkennung: Ähnliche Texte entdecken und erkennen
    .
    Der Andere Verlag, 2009.
    URL BibTeX

    @book{eichhorn2009,
    	author = "Christian Eichhorn",
    	title = {Automatische {D}uplikatserkennung: {\"A}hnliche {T}exte entdecken und erkennen},
    	publisher = "Der {A}ndere {V}erlag",
    	address = {T\"onning},
    	url = "http://www.amazon.de/Automatische-Duplikatserkennung-Ähnliche-entdecken-erkennen/dp/389959925X/",
    	year = 2009
    }
    

  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"
    }
    

  1. Matthias Thimm and Patrick Krümpelmann.
    Know-How for Motivated BDI Agents (Extended Abstract).
    In Decker, Sichman, Sierra and Castelfranchi (eds.). Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'09). 2009.
    BibTeX

    @inproceedings{Thimm:2009,
    	author = {Matthias Thimm and Patrick Kr{\"u}mpelmann},
    	booktitle = "Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems ({AAMAS}'09)",
    	date-added = "2014-11-18 12:00:31 +0000",
    	date-modified = "2014-11-18 12:00:31 +0000",
    	editor = "Decker and Sichman and Sierra and Castelfranchi",
    	keywords = "own",
    	month = "May, 10--15",
    	title = "Know-How for Motivated {BDI} Agents (Extended Abstract)",
    	year = 2009,
    	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QVi4uLy4uLy4uLy4uL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci90aGltbS90aGltbTIwMDkucGRm0hcLGBlXTlMuZGF0YU8RAiAAAAAAAiAAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMpBBgxIKwAAALjFtQ10aGltbTIwMDkucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAuMW2z5/pVAAAAAAAAAAAAAQABwAACSAAAAAAAAAAAAAAAAAAAAAFdGhpbW0AABAACAAAykDp7AAAABEACAAAz5/NNAAAAAEAKAC4xbUAuMQYALelmwB1EMwAcBSTAHAUZAAFXtwABRXSAAUUzAAAvuwAAgB+TWFjaW50b3NoIEhEOlVzZXJzOgBwYXRzOgBEb2N1bWVudHM6AG15U3R1ZmY6AHN2bnM6AGFuZ2Vyb25hOgBkb2N1bWVudGF0aW9uOgBiaWJsaW9ncmFwaHk6AGJpYmRlc2stcGFwZXI6AHRoaW1tOgB0aGltbTIwMDkucGRmAA4AHAANAHQAaABpAG0AbQAyADAAMAA5AC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgBnVXNlcnMvcGF0cy9Eb2N1bWVudHMvbXlTdHVmZi9zdm5zL2FuZ2Vyb25hL2RvY3VtZW50YXRpb24vYmlibGlvZ3JhcGh5L2JpYmRlc2stcGFwZXIvdGhpbW0vdGhpbW0yMDA5LnBkZgAAEwABLwAAFQACAAv//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgDnAOwA9AMYAxoDHwMqAzMDQQNFA0wDVQNaA2cDagN8A38DhAAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAOG"
    }
    

  1. Matthias Thimm and Patrick Krümpelmann.
    Know-How for Motivated BDI Agents (Extended Version).
    Number 822, Technische Universität Dortmund, Department of Computer Science, Februar 2009.
    BibTeX

    @techreport{Thimm:2009a,
    	author = {Matthias Thimm and Patrick Kr{\"u}mpelmann},
    	date-added = "2014-11-18 12:00:31 +0000",
    	date-modified = "2014-11-18 12:00:31 +0000",
    	institution = {Technische Universit{\"a}t Dortmund, Department of Computer Science},
    	keywords = "own",
    	month = "February",
    	number = 822,
    	title = "Know-How for Motivated {BDI} Agents (Extended Version)",
    	year = 2009,
    	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QVy4uLy4uLy4uLy4uL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci90aGltbS90aGltbTIwMDlhLnBkZtIXCxgZV05TLmRhdGFPEQIkAAAAAAIkAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAADKQQYMSCsAAAC4xbUOdGhpbW0yMDA5YS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAALjFt8+f6VQAAAAAAAAAAAAEAAcAAAkgAAAAAAAAAAAAAAAAAAAABXRoaW1tAAAQAAgAAMpA6ewAAAARAAgAAM+fzTQAAAABACgAuMW1ALjEGAC3pZsAdRDMAHAUkwBwFGQABV7cAAUV0gAFFMwAAL7sAAIAf01hY2ludG9zaCBIRDpVc2VyczoAcGF0czoARG9jdW1lbnRzOgBteVN0dWZmOgBzdm5zOgBhbmdlcm9uYToAZG9jdW1lbnRhdGlvbjoAYmlibGlvZ3JhcGh5OgBiaWJkZXNrLXBhcGVyOgB0aGltbToAdGhpbW0yMDA5YS5wZGYAAA4AHgAOAHQAaABpAG0AbQAyADAAMAA5AGEALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAGhVc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci90aGltbS90aGltbTIwMDlhLnBkZgATAAEvAAAVAAIAC///AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOAOgA7QD1Ax0DHwMkAy8DOANGA0oDUQNaA18DbANvA4EDhAOJAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAA4s="
    }
    

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. Holger Danielsiek, Christian Eichhorn, Tobias Hein, Edina Kurtic, Georg Neugebauer, Nico Piatkowski, Jan Quadflieg, Sebastian Schnelker, Raphael Stüer, Andreas Thom and Simon Wessing.
    PG511 - CI in Games - Final Report.
    Technische Universität Dortmund, 2008.
    PDF BibTeX

    @techreport{pg511_2008,
    	author = {Danielsiek, Holger AND Eichhorn, Christian AND Hein, Tobias AND Kurtic, Edina AND Neugebauer, Georg AND Piatkowski, Nico AND Quadflieg, Jan AND Schnelker, Sebastian AND St\"uer, Raphael AND Thom, Andreas AND Wessing, Simon},
    	title = "PG511 - CI in Games - Final Report",
    	institution = {Technische Universit\"at Dortmund},
    	year = 2008,
    	address = "Dortmund",
    	series = "CI 252/08, SFB 531",
    	pdf = "http://sfbci.uni-dortmund.de/Publications/Reference/Downloads/25208.pdf"
    }
    

  1. N Beume, H Danielsiek, C Eichhorn, B Naujoks, M Preuss, K Stiller and S Wessing.
    Measuring flow as concept for detecting game fun in the Pac-Man game.
    In Evolutionary Computation, 2008. CEC 2008. (IEEE World Congress on Computational Intelligence). IEEE Congress on. Juni 2008, 3448 -3455.
    URL BibTeX

    @inproceedings{pg511_pacman_2008,
    	author = "Beume, N. and Danielsiek, H. and Eichhorn, C. and Naujoks, B. and Preuss, M. and Stiller, K. and Wessing, S.",
    	booktitle = "Evolutionary Computation, 2008. CEC 2008. (IEEE World Congress on Computational Intelligence). IEEE Congress on",
    	title = "Measuring flow as concept for detecting game fun in the Pac-Man game",
    	year = 2008,
    	month = "june",
    	pages = "3448 -3455",
    	url = "http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=4631264"
    }
    

  1. Patrick Krümpelmann and Gabriele Kern-Isberner.
    Propagating Credibility in Answer Set Programs.
    In Sibylle Schwarz (ed.). Proceedings of the 22nd Workshop on (Constraint) Logic Programming (WLP'08). 2008.
    BibTeX

    @inproceedings{kruempelmann2008wlp,
    	author = {Patrick Kr{\"u}mpelmann and Gabriele Kern-Isberner},
    	booktitle = "Proceedings of the 22nd Workshop on (Constraint) Logic Programming ({WLP}'08)",
    	date-added = "2014-11-18 12:00:31 +0000",
    	date-modified = "2014-11-18 12:00:31 +0000",
    	editor = "Sibylle Schwarz",
    	keywords = "logic programming, update, own, daad_ppp2010_ger5",
    	organization = {Martin-Luther-Universit{\"a}t Halle-Wittenberg, Germany},
    	read = "Yes",
    	series = "Technische Berichte",
    	title = "Propagating Credibility in Answer Set Programs",
    	year = 2008,
    	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YW8QZQAuAC4ALwAuAC4ALwAuAC4ALwAuAC4ALwBzAHYAbgBzAC8AYQBuAGcAZQByAG8AbgBhAC8AZABvAGMAdQBtAGUAbgB0AGEAdABpAG8AbgAvAGIAaQBiAGwAaQBvAGcAcgBhAHAAaAB5AC8AYgBpAGIAZABlAHMAawAtAHAAYQBwAGUAcgAvAGsAcgB1AwgAbQBwAGUAbABtAGEAbgBuAC8AawByAHUDCABtAHAAZQBsAG0AYQBuAG4AMgAwADAAOABiAC4AcABkAGbSFwsYGVdOUy5kYXRhTxECVAAAAAACVAACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAykEGDEgrAAAAuMUlFGtyn21wZWxtYW5uMjAwOGIucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAC4xSfPn+lOAAAAAAAAAAAABAAHAAAJIAAAAAAAAAAAAAAAAAAAAAtrcp9tcGVsbWFubgAAEAAIAADKQOnsAAAAEQAIAADPn80uAAAAAQAoALjFJQC4xBgAt6WbAHUQzABwFJMAcBRkAAVe3AAFFdIABRTMAAC+7AACAItNYWNpbnRvc2ggSEQ6VXNlcnM6AHBhdHM6AERvY3VtZW50czoAbXlTdHVmZjoAc3ZuczoAYW5nZXJvbmE6AGRvY3VtZW50YXRpb246AGJpYmxpb2dyYXBoeToAYmliZGVzay1wYXBlcjoAa3KfbXBlbG1hbm46AGtyn21wZWxtYW5uMjAwOGIucGRmAAAOACwAFQBrAHIAdQMIAG0AcABlAGwAbQBhAG4AbgAyADAAMAA4AGIALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAHhVc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rcnXMiG1wZWxtYW5uL2tydcyIbXBlbG1hbm4yMDA4Yi5wZGYAEwABLwAAFQACAAv//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgFbAWABaAPAA8IDxwPSA9sD6QPtA/QD/QQCBA8EEgQkBCcELAAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAQu"
    }
    

  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"
    }
    

  1. Patrick Krümpelmann, Matthias Thimm, Manuela Ritterskamp and Gabriele Kern-Isberner.
    Belief Operations for Motivated BDI Agents.
    In Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems 2008 (AAMAS '08). 2008.
    BibTeX

    @inproceedings{kruempelmann08,
    	author = {Patrick Kr{\"u}mpelmann and Matthias Thimm and Manuela Ritterskamp and Gabriele Kern-Isberner},
    	booktitle = "Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems 2008 (AAMAS '08)",
    	date-added = "2014-11-18 12:00:31 +0000",
    	date-modified = "2014-11-18 12:00:31 +0000",
    	keywords = "mas, logic programming, bdi, motivation, own",
    	title = "Belief Operations for Motivated {BDI} Agents",
    	year = 2008,
    	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YW8QZAAuAC4ALwAuAC4ALwAuAC4ALwAuAC4ALwBzAHYAbgBzAC8AYQBuAGcAZQByAG8AbgBhAC8AZABvAGMAdQBtAGUAbgB0AGEAdABpAG8AbgAvAGIAaQBiAGwAaQBvAGcAcgBhAHAAaAB5AC8AYgBpAGIAZABlAHMAawAtAHAAYQBwAGUAcgAvAGsAcgB1AwgAbQBwAGUAbABtAGEAbgBuAC8AawByAHUDCABtAHAAZQBsAG0AYQBuAG4AMgAwADAAOAAuAHAAZABm0hcLGBlXTlMuZGF0YU8RAlAAAAAAAlAAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMpBBgxIKwAAALjFJRNrcp9tcGVsbWFubjIwMDgucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAxUGtz/aZ3gAAAAAAAAAAAAQABwAACSAAAAAAAAAAAAAAAAAAAAALa3KfbXBlbG1hbm4AABAACAAAykDp7AAAABEACAAAz/Z9vgAAAAEAKAC4xSUAuMQYALelmwB1EMwAcBSTAHAUZAAFXtwABRXSAAUUzAAAvuwAAgCKTWFjaW50b3NoIEhEOlVzZXJzOgBwYXRzOgBEb2N1bWVudHM6AG15U3R1ZmY6AHN2bnM6AGFuZ2Vyb25hOgBkb2N1bWVudGF0aW9uOgBiaWJsaW9ncmFwaHk6AGJpYmRlc2stcGFwZXI6AGtyn21wZWxtYW5uOgBrcp9tcGVsbWFubjIwMDgucGRmAA4AKgAUAGsAcgB1AwgAbQBwAGUAbABtAGEAbgBuADIAMAAwADgALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAHdVc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rcnXMiG1wZWxtYW5uL2tydcyIbXBlbG1hbm4yMDA4LnBkZgAAEwABLwAAFQACAAv//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgFZAV4BZgO6A7wDwQPMA9UD4wPnA+4D9wP8BAkEDAQeBCEEJgAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAQo"
    }
    

2007

  1. Holger Danielsiek, Christian Eichhorn, Tobias Hein, Edina Kurtic, Georg Neugebauer, Nico Piatkowski, Michael Puchowezki, Jan Quadflieg, Sebastian Schnelker, Raphael Stüer, Andreas Thom and Simon Wessing.
    PG511 - CI in Games - Zwischenbericht.
    Technische Universität Dortmund, 2008.
    PDF BibTeX

    @techreport{pg511_2007,
    	author = {Danielsiek, Holger AND Eichhorn, Christian AND Hein, Tobias AND Kurtic, Edina AND Neugebauer, Georg AND Piatkowski, Nico AND Puchowezki, Michael AND Quadflieg, Jan AND Schnelker, Sebastian AND St\"uer, Raphael AND Thom, Andreas AND Wessing, Simon},
    	title = "PG511 - CI in Games - Zwischenbericht",
    	institution = {Technische Universit\"at Dortmund},
    	year = 2008,
    	address = "Dortmund",
    	series = "CI 236/07, SFB 531",
    	pdf = "http://sfbci.uni-dortmund.de/Publications/Reference/Downloads/23607.pdf"
    }