1. Gabriele Kern-Isberner and Patrick Krümpelmann.
    A constructive approach to independent and evidence retaining belief revision by general information sets.
    In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI'11). 2011.
    BibTeX

    @inproceedings{kern-isberner2011ijcai,
    	author = {Kern-Isberner, Gabriele and Kr{\"u}mpelmann, Patrick},
    	booktitle = "Proceedings of the 22nd International Joint Conference on Artificial Intelligence ({IJCAI}'11)",
    	date-added = "2014-11-18 12:00:31 +0000",
    	date-modified = "2014-11-18 12:00:31 +0000",
    	keywords = "own, revision, iterated, seminar1112",
    	title = "A constructive approach to independent and evidence retaining belief revision by general information sets",
    	year = 2011,
    	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QZi4uLy4uLy4uLy4uL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rZXJuLWlzYmVybmVyL2tlcm4taXNiZXJuZXIyMDExLnBkZtIXCxgZV05TLmRhdGFPEQJYAAAAAAJYAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAADKQQYMSCsAAAC4xREVa2Vybi1pc2Jlcm5lcjIwMTEucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAALjFE8+f6U0AAAAAAAAAAAAEAAcAAAkgAAAAAAAAAAAAAAAAAAAADWtlcm4taXNiZXJuZXIAABAACAAAykDp7AAAABEACAAAz5/NLQAAAAEAKAC4xREAuMQYALelmwB1EMwAcBSTAHAUZAAFXtwABRXSAAUUzAAAvuwAAgCOTWFjaW50b3NoIEhEOlVzZXJzOgBwYXRzOgBEb2N1bWVudHM6AG15U3R1ZmY6AHN2bnM6AGFuZ2Vyb25hOgBkb2N1bWVudGF0aW9uOgBiaWJsaW9ncmFwaHk6AGJpYmRlc2stcGFwZXI6AGtlcm4taXNiZXJuZXI6AGtlcm4taXNiZXJuZXIyMDExLnBkZgAOACwAFQBrAGUAcgBuAC0AaQBzAGIAZQByAG4AZQByADIAMAAxADEALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAHdVc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rZXJuLWlzYmVybmVyL2tlcm4taXNiZXJuZXIyMDExLnBkZgAAEwABLwAAFQACAAv//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgD3APwBBANgA2IDZwNyA3sDiQONA5QDnQOiA68DsgPEA8cDzAAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAPO"
    }
    

  1. Daniel Hölzgen, Thomas Vengels, Patrick Krümpelmann, Matthias Thimm and Gabriele Kern-Isberner.
    Argonauts: a working system for motivated cooperative agents.
    Annals of Mathematics and Artificial Intelligence 61:309–332, 2011.
    URL BibTeX

    @article{Hoelzgen2011,
    	affiliation = {Information Engineering Group, Department of Computer Science, Technische Universit{\"a}t Dortmund, Dortmund, Germany},
    	author = {H{\"o}lzgen, Daniel and Vengels, Thomas and Kr{\"u}mpelmann, Patrick and Thimm, Matthias and Kern-Isberner, Gabriele},
    	date-added = "2014-11-18 12:03:15 +0000",
    	date-modified = "2014-11-18 12:03:15 +0000",
    	issn = "1012-2443",
    	issue = 4,
    	journal = "Annals of Mathematics and Artificial Intelligence",
    	keyword = "own, mas",
    	note = "10.1007/s10472-011-9226-1",
    	pages = "309--332",
    	publisher = "Springer Netherlands",
    	title = "Argonauts: a working system for motivated cooperative agents",
    	url = "http://dx.doi.org/10.1007/s10472-011-9226-1",
    	volume = 61,
    	year = 2011,
    	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YW8QXAAuAC4ALwAuAC4ALwAuAC4ALwAuAC4ALwBzAHYAbgBzAC8AYQBuAGcAZQByAG8AbgBhAC8AZABvAGMAdQBtAGUAbgB0AGEAdABpAG8AbgAvAGIAaQBiAGwAaQBvAGcAcgBhAHAAaAB5AC8AYgBpAGIAZABlAHMAawAtAHAAYQBwAGUAcgAvAGgAbwMIAGwAegBnAGUAbgAvAGgAbwMIAGwAegBnAGUAbgAyADAAMQAxAC4AcABkAGbSFwsYGVdOUy5kYXRhTxECNAAAAAACNAACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAykEGDEgrAAAAuMT9D2iabHpnZW4yMDExLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAC4xP7Pn+lNAAAAAAAAAAAABAAHAAAJIAAAAAAAAAAAAAAAAAAAAAdommx6Z2VuAAAQAAgAAMpA6ewAAAARAAgAAM+fzS0AAAABACgAuMT9ALjEGAC3pZsAdRDMAHAUkwBwFGQABV7cAAUV0gAFFMwAAL7sAAIAgk1hY2ludG9zaCBIRDpVc2VyczoAcGF0czoARG9jdW1lbnRzOgBteVN0dWZmOgBzdm5zOgBhbmdlcm9uYToAZG9jdW1lbnRhdGlvbjoAYmlibGlvZ3JhcGh5OgBiaWJkZXNrLXBhcGVyOgBommx6Z2VuOgBommx6Z2VuMjAxMS5wZGYADgAiABAAaABvAwgAbAB6AGcAZQBuADIAMAAxADEALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAG9Vc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9ob8yIbHpnZW4vaG/MiGx6Z2VuMjAxMS5wZGYAABMAAS8AABUAAgAL//8AAIAG0hscHR5aJGNsYXNzbmFtZVgkY2xhc3Nlc11OU011dGFibGVEYXRhox0fIFZOU0RhdGFYTlNPYmplY3TSGxwiI1xOU0RpY3Rpb25hcnmiIiBfEA9OU0tleWVkQXJjaGl2ZXLRJidUcm9vdIABAAgAEQAaACMALQAyADcAQABGAE0AVQBgAGcAagBsAG4AcQBzAHUAdwCEAI4BSQFOAVYDjgOQA5UDoAOpA7cDuwPCA8sD0APdA+AD8gP1A/oAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAD/A==",
    	bdsk-url-1 = "http://dx.doi.org/10.1007/s10472-011-9226-1"
    }
    

  1. Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner and Regina Fritsch.
    Motivating Agents in Unreliable Environments: A Computational Model.
    In Franziska Klügl and Sascha Ossowski (eds.). Multiagent System Technologies - 9th German Conference, (MATES 2011), Berlin, Germany, October 6-7, 2011. Proceedings 6973. 2011, 65-76.
    BibTeX

    @inproceedings{Kruempelmann2011MATES,
    	author = {Kr{\"u}mpelmann, Patrick and Thimm, Matthias and Kern-Isberner, Gabriele and Fritsch, Regina},
    	booktitle = "Multiagent System Technologies - 9th German Conference, (MATES 2011), Berlin, Germany, October 6-7, 2011. Proceedings",
    	date-added = "2014-11-18 12:00:31 +0000",
    	date-modified = "2014-11-18 12:00:31 +0000",
    	editor = {Franziska Kl{\"u}gl and Sascha Ossowski},
    	isbn = "978-3-642-24602-9",
    	keywords = "own",
    	pages = "65-76",
    	publisher = "Springer",
    	series = "Lecture Notes in Computer Science",
    	title = "Motivating Agents in Unreliable Environments: A Computational Model",
    	volume = 6973,
    	year = 2011,
    	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YW8QZAAuAC4ALwAuAC4ALwAuAC4ALwAuAC4ALwBzAHYAbgBzAC8AYQBuAGcAZQByAG8AbgBhAC8AZABvAGMAdQBtAGUAbgB0AGEAdABpAG8AbgAvAGIAaQBiAGwAaQBvAGcAcgBhAHAAaAB5AC8AYgBpAGIAZABlAHMAawAtAHAAYQBwAGUAcgAvAGsAcgB1AwgAbQBwAGUAbABtAGEAbgBuAC8AawByAHUDCABtAHAAZQBsAG0AYQBuAG4AMgAwADEAMQAuAHAAZABm0hcLGBlXTlMuZGF0YU8RAlAAAAAAAlAAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMpBBgxIKwAAALjFJRNrcp9tcGVsbWFubjIwMTEucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAuMUsz5/pTgAAAAAAAAAAAAQABwAACSAAAAAAAAAAAAAAAAAAAAALa3KfbXBlbG1hbm4AABAACAAAykDp7AAAABEACAAAz5/NLgAAAAEAKAC4xSUAuMQYALelmwB1EMwAcBSTAHAUZAAFXtwABRXSAAUUzAAAvuwAAgCKTWFjaW50b3NoIEhEOlVzZXJzOgBwYXRzOgBEb2N1bWVudHM6AG15U3R1ZmY6AHN2bnM6AGFuZ2Vyb25hOgBkb2N1bWVudGF0aW9uOgBiaWJsaW9ncmFwaHk6AGJpYmRlc2stcGFwZXI6AGtyn21wZWxtYW5uOgBrcp9tcGVsbWFubjIwMTEucGRmAA4AKgAUAGsAcgB1AwgAbQBwAGUAbABtAGEAbgBuADIAMAAxADEALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAHdVc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rcnXMiG1wZWxtYW5uL2tydcyIbXBlbG1hbm4yMDExLnBkZgAAEwABLwAAFQACAAv//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgFZAV4BZgO6A7wDwQPMA9UD4wPnA+4D9wP8BAkEDAQeBCEEJgAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAQo"
    }
    

  1. Diego R Garc\'ıa, Sebastian Gottifredi, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A Falappa and Alejandro J Garc\'ıa.
    On Influence and Contractions in Defeasible Logic Programming.
    In Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11). 2011.
    BibTeX

    @inproceedings{garcia2011lpnmr,
    	author = {Diego R. Garc{\'\i}a and Sebastian Gottifredi and Patrick Kr{\"u}mpelmann and Matthias Thimm and Gabriele Kern-Isberner and Marcelo A. Falappa and Alejandro J. Garc{\'\i}a},
    	booktitle = "Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11)",
    	date-added = "2014-11-18 12:00:31 +0000",
    	date-modified = "2014-11-18 12:00:31 +0000",
    	keywords = "own",
    	title = "On Influence and Contractions in Defeasible Logic Programming",
    	year = 2011,
    	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YW8QWgAuAC4ALwAuAC4ALwAuAC4ALwAuAC4ALwBzAHYAbgBzAC8AYQBuAGcAZQByAG8AbgBhAC8AZABvAGMAdQBtAGUAbgB0AGEAdABpAG8AbgAvAGIAaQBiAGwAaQBvAGcAcgBhAHAAaAB5AC8AYgBpAGIAZABlAHMAawAtAHAAYQBwAGUAcgAvAGcAYQByAGMAaQMBAGEALwBnAGEAcgBjAGkDAQBhADIAMAAxADEALgBwAGQAZtIXCxgZV05TLmRhdGFPEQIsAAAAAAIsAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAADKQQYMSCsAAAC4xNcOZ2FyY5JhMjAxMS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAALjE2c+f6UsAAAAAAAAAAAAEAAcAAAkgAAAAAAAAAAAAAAAAAAAABmdhcmOSYQAQAAgAAMpA6ewAAAARAAgAAM+fzSsAAAABACgAuMTXALjEGAC3pZsAdRDMAHAUkwBwFGQABV7cAAUV0gAFFMwAAL7sAAIAgE1hY2ludG9zaCBIRDpVc2VyczoAcGF0czoARG9jdW1lbnRzOgBteVN0dWZmOgBzdm5zOgBhbmdlcm9uYToAZG9jdW1lbnRhdGlvbjoAYmlibGlvZ3JhcGh5OgBiaWJkZXNrLXBhcGVyOgBnYXJjkmE6AGdhcmOSYTIwMTEucGRmAA4AIAAPAGcAYQByAGMAaQMBAGEAMgAwADEAMQAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIAbVVzZXJzL3BhdHMvRG9jdW1lbnRzL215U3R1ZmYvc3Zucy9hbmdlcm9uYS9kb2N1bWVudGF0aW9uL2JpYmxpb2dyYXBoeS9iaWJkZXNrLXBhcGVyL2dhcmNpzIFhL2dhcmNpzIFhMjAxMS5wZGYAABMAAS8AABUAAgAL//8AAIAG0hscHR5aJGNsYXNzbmFtZVgkY2xhc3Nlc11OU011dGFibGVEYXRhox0fIFZOU0RhdGFYTlNPYmplY3TSGxwiI1xOU0RpY3Rpb25hcnmiIiBfEA9OU0tleWVkQXJjaGl2ZXLRJidUcm9vdIABAAgAEQAaACMALQAyADcAQABGAE0AVQBgAGcAagBsAG4AcQBzAHUAdwCEAI4BRQFKAVIDggOEA4kDlAOdA6sDrwO2A78DxAPRA9QD5gPpA+4AAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAD8A=="
    }
    

  1. Patrick Krümpelmann, Matthias Thimm, Marcelo A Falappa, Alejandro J Garcia, Gabriele Kern-Isberner and Guillermo R Simari.
    Selective Revision by Deductive Argumentation.
    In Sanjay Modgil, Nir Oren and Francesca Toni (eds.). Formal Argumentation - First International Workshop on Theory and Application, (TAFA'11), Barcelona, Spain, July 16-17, 2011, Revised Selected Papers 7132. 2012, 281.
    BibTeX

    @inproceedings{kruempelmann:2011TAFA,
    	author = {Kr{\"u}mpelmann, Patrick and Thimm, Matthias and Falappa, Marcelo A. and Garcia, Alejandro J. and Kern-Isberner, Gabriele and Simari, Guillermo R.},
    	booktitle = "Formal Argumentation - First International Workshop on Theory and Application, (TAFA'11), Barcelona, Spain, July 16-17, 2011, Revised Selected Papers",
    	date-added = "2014-11-18 12:00:31 +0000",
    	date-modified = "2014-11-18 12:00:31 +0000",
    	editor = "Modgil, Sanjay and Oren, Nir and Toni, Francesca",
    	keywords = "own, postmax, argumentation, revision",
    	pages = 281,
    	publisher = "Springer",
    	series = "Lecture Notes in Computer Science",
    	title = "Selective Revision by Deductive Argumentation",
    	volume = 7132,
    	year = 2012,
    	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YW8QZAAuAC4ALwAuAC4ALwAuAC4ALwAuAC4ALwBzAHYAbgBzAC8AYQBuAGcAZQByAG8AbgBhAC8AZABvAGMAdQBtAGUAbgB0AGEAdABpAG8AbgAvAGIAaQBiAGwAaQBvAGcAcgBhAHAAaAB5AC8AYgBpAGIAZABlAHMAawAtAHAAYQBwAGUAcgAvAGsAcgB1AwgAbQBwAGUAbABtAGEAbgBuAC8AawByAHUDCABtAHAAZQBsAG0AYQBuAG4AMgAwADEAMgAuAHAAZABm0hcLGBlXTlMuZGF0YU8RAlAAAAAAAlAAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMpBBgxIKwAAALjFJRNrcp9tcGVsbWFubjIwMTIucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAuMUtz5/pTgAAAAAAAAAAAAQABwAACSAAAAAAAAAAAAAAAAAAAAALa3KfbXBlbG1hbm4AABAACAAAykDp7AAAABEACAAAz5/NLgAAAAEAKAC4xSUAuMQYALelmwB1EMwAcBSTAHAUZAAFXtwABRXSAAUUzAAAvuwAAgCKTWFjaW50b3NoIEhEOlVzZXJzOgBwYXRzOgBEb2N1bWVudHM6AG15U3R1ZmY6AHN2bnM6AGFuZ2Vyb25hOgBkb2N1bWVudGF0aW9uOgBiaWJsaW9ncmFwaHk6AGJpYmRlc2stcGFwZXI6AGtyn21wZWxtYW5uOgBrcp9tcGVsbWFubjIwMTIucGRmAA4AKgAUAGsAcgB1AwgAbQBwAGUAbABtAGEAbgBuADIAMAAxADIALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAHdVc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rcnXMiG1wZWxtYW5uL2tydcyIbXBlbG1hbm4yMDEyLnBkZgAAEwABLwAAFQACAAv//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgFZAV4BZgO6A7wDwQPMA9UD4wPnA+4D9wP8BAkEDAQeBCEEJgAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAQo"
    }
    

  1. Matthias Niewerth and Thomas Schwentick.
    Two-variable logic and key constraints on data words.
    In Database Theory - ICDT 2011, 14th International Conference, Uppsala, Sweden, March 21-24, 2011, Proceedings. 2011, 138–149.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/NiewerthS11,
    	author = "Matthias Niewerth and Thomas Schwentick",
    	title = "Two-variable logic and key constraints on data words",
    	booktitle = "Database Theory - {ICDT} 2011, 14th International Conference, Uppsala, Sweden, March 21-24, 2011, Proceedings",
    	year = 2011,
    	pages = "138--149",
    	crossref = "DBLP:conf/icdt/2011",
    	url = "http://doi.acm.org/10.1145/1938551.1938571",
    	doi = "10.1145/1938551.1938571",
    	timestamp = "Tue, 18 Nov 2014 21:29:24 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/NiewerthS11",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Sven Hartrumpf, Hermann Helbig, Tim vor der Brück and Christian Eichhorn.
    SemDupl: Semantic-based Duplicate Identification.
    Number 359–07/2011, FernUniversität in Hagen, 2011.
    PDF BibTeX

    @techreport{hartrumpf_etal11,
    	author = {Sven Hartrumpf and Hermann Helbig and Tim {vor der Br{\"u}ck} and Christian Eichhorn},
    	title = "SemDupl: Semantic-based Duplicate Identification",
    	year = 2011,
    	institution = {FernUniversit{\"a}t in Hagen},
    	number = "359--07/2011",
    	pdf = "http://www.fernuni-hagen.de/imperia/md/content/fakultaetfuermathematikundinformatik/forschung/berichte/bericht_359.pdf"
    }
    

2010

  1. Martin Mundhenk, Thomas Schneider, Thomas Schwentick and Volker Weber.
    Complexity of hybrid logics over transitive frames.
    J. Applied Logic 8(4):422–440, 2010.
    URL, DOI BibTeX

    @article{DBLP:journals/japll/MundhenkSSW10,
    	author = "Martin Mundhenk and Thomas Schneider and Thomas Schwentick and Volker Weber",
    	title = "Complexity of hybrid logics over transitive frames",
    	journal = "J. Applied Logic",
    	year = 2010,
    	volume = 8,
    	number = 4,
    	pages = "422--440",
    	url = "http://dx.doi.org/10.1016/j.jal.2010.08.004",
    	doi = "10.1016/j.jal.2010.08.004",
    	timestamp = "Tue, 18 Nov 2014 21:30:13 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/japll/MundhenkSSW10",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Ahmet Kara, Thomas Schwentick and Thomas Zeume.
    Temporal Logics on Words with Multiple Data Values.
    CoRR abs/1010.1139, 2010.
    URL BibTeX

    @article{DBLP:journals/corr/abs-1010-1139,
    	author = "Ahmet Kara and Thomas Schwentick and Thomas Zeume",
    	title = "Temporal Logics on Words with Multiple Data Values",
    	journal = "CoRR",
    	year = 2010,
    	volume = "abs/1010.1139",
    	url = "http://arxiv.org/abs/1010.1139",
    	timestamp = "Tue, 18 Nov 2014 21:31:09 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1010-1139",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Ahmet Kara, Thomas Schwentick and Thomas Zeume.
    Temporal Logics on Words with Multiple Data Values.
    In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India. 2010, 481–492.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/fsttcs/KaraSZ10,
    	author = "Ahmet Kara and Thomas Schwentick and Thomas Zeume",
    	title = "Temporal Logics on Words with Multiple Data Values",
    	booktitle = "{IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010, Chennai, India",
    	year = 2010,
    	pages = "481--492",
    	crossref = "DBLP:conf/fsttcs/2010",
    	url = "http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2010.481",
    	doi = "10.4230/LIPIcs.FSTTCS.2010.481",
    	timestamp = "Tue, 18 Nov 2014 21:30:41 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/fsttcs/KaraSZ10",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Wim Martens, Matthias Niewerth and Thomas Schwentick.
    Schema design for XML repositories: complexity and tractability.
    In Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2010, June 6-11, 2010, Indianapolis, Indiana, USA. 2010, 239–250.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/pods/MartensNS10,
    	author = "Wim Martens and Matthias Niewerth and Thomas Schwentick",
    	title = "Schema design for {XML} repositories: complexity and tractability",
    	booktitle = "Proceedings of the Twenty-Ninth {ACM} {SIGMOD-SIGACT-SIGART} Symposium on Principles of Database Systems, {PODS} 2010, June 6-11, 2010, Indianapolis, Indiana, {USA}",
    	year = 2010,
    	pages = "239--250",
    	crossref = "DBLP:conf/pods/2010",
    	url = "http://doi.acm.org/10.1145/1807085.1807117",
    	doi = "10.1145/1807085.1807117",
    	timestamp = "Tue, 18 Nov 2014 21:30:47 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/pods/MartensNS10",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Jean-Yves Marion and Thomas Schwentick.
    Foreword – 27th International Symposium on Theoretical Aspects of Computer Science.
    In 27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, March 4-6, 2010, Nancy, France. 2010, 1–6.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/stacs/MarionS10,
    	author = "Jean{-}Yves Marion and Thomas Schwentick",
    	title = "Foreword -- 27th International Symposium on Theoretical Aspects of Computer Science",
    	booktitle = "27th International Symposium on Theoretical Aspects of Computer Science, {STACS} 2010, March 4-6, 2010, Nancy, France",
    	year = 2010,
    	pages = "1--6",
    	crossref = "DBLP:conf/stacs/2010",
    	url = "http://dx.doi.org/10.4230/LIPIcs.STACS.2010.2439",
    	doi = "10.4230/LIPIcs.STACS.2010.2439",
    	timestamp = "Tue, 18 Nov 2014 21:30:54 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/stacs/MarionS10",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Jean-Yves Marion and Thomas Schwentick.
    Table of Contents - 27th International Symposium on Theoretical Aspects of Computer Science.
    In 27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, March 4-6, 2010, Nancy, France. 2010, 7–10.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/stacs/MarionS10a,
    	author = "Jean{-}Yves Marion and Thomas Schwentick",
    	title = "Table of Contents - 27th International Symposium on Theoretical Aspects of Computer Science",
    	booktitle = "27th International Symposium on Theoretical Aspects of Computer Science, {STACS} 2010, March 4-6, 2010, Nancy, France",
    	year = 2010,
    	pages = "7--10",
    	crossref = "DBLP:conf/stacs/2010",
    	url = "http://dx.doi.org/10.4230/LIPIcs.STACS.2010.2505",
    	doi = "10.4230/LIPIcs.STACS.2010.2505",
    	timestamp = "Tue, 18 Nov 2014 21:30:59 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/stacs/MarionS10a",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Jean-Yves Marion and Thomas Schwentick (eds.).
    27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, March 4-6, 2010, Nancy, France

    5. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010.
    BibTeX

    @proceedings{DBLP:conf/stacs/2010,
    	editor = "Jean{-}Yves Marion and Thomas Schwentick",
    	title = "27th International Symposium on Theoretical Aspects of Computer Science, {STACS} 2010, March 4-6, 2010, Nancy, France",
    	series = "LIPIcs",
    	year = 2010,
    	volume = 5,
    	publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
    	isbn = "978-3-939897-16-3",
    	timestamp = "Tue, 18 Nov 2014 21:31:04 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/stacs/2010",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Sven Hartrumpf, Tim Brück and Christian Eichhorn.
    Detecting Duplicates with Shallow and Parser-based Methods.
    In Proceedings of the 6th International Conference on Natural Language Processing and Knowledge Engineering (NLPKE). 2010, 142–149.
    BibTeX

    @inproceedings{hartrumpf_etal10,
    	author = {Sven Hartrumpf and Tim vor der Br{\"u}ck and Christian Eichhorn},
    	title = "Detecting Duplicates with Shallow and Parser-based Methods",
    	booktitle = "Proceedings of the 6th International Conference on Natural Language Processing and Knowledge Engineering (NLPKE)",
    	year = 2010,
    	pages = "142--149",
    	address = "Beijing, China} url={http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5587838"
    }
    

  1. Thomas Eiter, Georg Gottlob and Thomas Schwentick.
    The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey.
    In Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. 2010, 227–250.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/birthday/EiterGS10,
    	author = "Thomas Eiter and Georg Gottlob and Thomas Schwentick",
    	title = "The Model Checking Problem for Prefix Classes of Second-Order Logic: {A} Survey",
    	booktitle = "Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday",
    	year = 2010,
    	pages = "227--250",
    	crossref = "DBLP:conf/birthday/2010gurevich",
    	url = "http://dx.doi.org/10.1007/978-3-642-15025-8_13",
    	doi = "10.1007/978-3-642-15025-8_13",
    	timestamp = "Tue, 18 Nov 2014 21:30:30 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/birthday/EiterGS10",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  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. Henrik Björklund, Wim Martens, Nicole Schweikardt and Thomas Schwentick.
    Logik und Automaten: ein echtes Dreamteam.
    Informatik Spektrum 33(5):452–461, 2010.
    URL, DOI BibTeX

    @article{DBLP:journals/insk/BjorklundMSS10,
    	author = {Henrik Bj{\"{o}}rklund and Wim Martens and Nicole Schweikardt and Thomas Schwentick},
    	title = "Logik und Automaten: ein echtes Dreamteam",
    	journal = "Informatik Spektrum",
    	year = 2010,
    	volume = 33,
    	number = 5,
    	pages = "452--461",
    	url = "http://dx.doi.org/10.1007/s00287-010-0465-z",
    	doi = "10.1007/s00287-010-0465-z",
    	timestamp = "Tue, 18 Nov 2014 21:30:08 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/insk/BjorklundMSS10",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }