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. 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