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