1. Georg Gottlob, Gianluigi Greco, Zoltán Miklós, Francesco Scarcello and Thomas Schwentick.
    Tree Projections: Game Characterization and Computational Aspects.
    In Graph Theory, Computational Intelligence and Thought, Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday. 2009, 217–226.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/birthday/GottlobGMSS09,
    	author = "Georg Gottlob and Gianluigi Greco and Zolt{\'{a}}n Mikl{\'{o}}s and Francesco Scarcello and Thomas Schwentick",
    	title = "Tree Projections: Game Characterization and Computational Aspects",
    	booktitle = "Graph Theory, Computational Intelligence and Thought, Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday",
    	year = 2009,
    	pages = "217--226",
    	crossref = "DBLP:conf/birthday/2009golumbic",
    	url = "http://dx.doi.org/10.1007/978-3-642-02029-2_21",
    	doi = "10.1007/978-3-642-02029-2_21",
    	timestamp = "Tue, 18 Nov 2014 21:31:41 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/birthday/GottlobGMSS09",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

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

  1. Henrik Björklund, Wim Martens and Thomas Schwentick.
    Conjunctive query containment over trees.
    J. Comput. Syst. Sci. 77(3):450–472, 2011.
    URL, DOI BibTeX

    @article{DBLP:journals/jcss/BjorklundMS11,
    	author = {Henrik Bj{\"{o}}rklund and Wim Martens and Thomas Schwentick},
    	title = "Conjunctive query containment over trees",
    	journal = "J. Comput. Syst. Sci.",
    	year = 2011,
    	volume = 77,
    	number = 3,
    	pages = "450--472",
    	url = "http://dx.doi.org/10.1016/j.jcss.2010.04.005",
    	doi = "10.1016/j.jcss.2010.04.005",
    	timestamp = "Tue, 18 Nov 2014 21:29:00 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/jcss/BjorklundMS11",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Henrik Björklund and Thomas Schwentick.
    On notions of regularity for data languages.
    Theor. Comput. Sci. 411(4-5):702–715, 2010.
    URL, DOI BibTeX

    @article{DBLP:journals/tcs/BjorklundS10,
    	author = {Henrik Bj{\"{o}}rklund and Thomas Schwentick},
    	title = "On notions of regularity for data languages",
    	journal = "Theor. Comput. Sci.",
    	year = 2010,
    	volume = 411,
    	number = "4-5",
    	pages = "702--715",
    	url = "http://dx.doi.org/10.1016/j.tcs.2009.10.009",
    	doi = "10.1016/j.tcs.2009.10.009",
    	timestamp = "Tue, 18 Nov 2014 21:30:19 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/tcs/BjorklundS10",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Georg Gottlob, Zoltán Miklós and Thomas Schwentick.
    Generalized hypertree decompositions: NP-hardness and tractable variants.
    J. ACM 56(6), 2009.
    URL, DOI BibTeX

    @article{DBLP:journals/jacm/GottlobMS09,
    	author = "Georg Gottlob and Zolt{\'{a}}n Mikl{\'{o}}s and Thomas Schwentick",
    	title = "Generalized hypertree decompositions: NP-hardness and tractable variants",
    	journal = "J. {ACM}",
    	year = 2009,
    	volume = 56,
    	number = 6,
    	url = "http://doi.acm.org/10.1145/1568318.1568320",
    	doi = "10.1145/1568318.1568320",
    	timestamp = "Tue, 18 Nov 2014 21:31:20 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/jacm/GottlobMS09",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick and Luc Segoufin.
    Two-variable logic on data trees and XML reasoning.
    J. ACM 56(3), 2009.
    URL, DOI BibTeX

    @article{DBLP:journals/jacm/BojanczykMSS09,
    	author = "Mikolaj Bojanczyk and Anca Muscholl and Thomas Schwentick and Luc Segoufin",
    	title = "Two-variable logic on data trees and {XML} reasoning",
    	journal = "J. {ACM}",
    	year = 2009,
    	volume = 56,
    	number = 3,
    	url = "http://doi.acm.org/10.1145/1516512.1516515",
    	doi = "10.1145/1516512.1516515",
    	timestamp = "Tue, 18 Nov 2014 21:31:15 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/jacm/BojanczykMSS09",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Rainer Lütticke, Herrman Helbig and Christian Eichhorn.
    Das Virtuelle Informatik-Labor VILAB - Konzeption, technische Realisierung und Einsatz in der Lehre.
    FernUniversität in Hagen, 2005.
    PDF BibTeX

    @techreport{luetticke_helbig_eichhorn05,
    	author = {L{\"{u}}tticke, Rainer and Helbig, Herrman and Eichhorn, Christian},
    	institution = {FernUniversit{\"{a}}t in Hagen},
    	series = "Informatik-Berichte",
    	title = "Das {V}irtuelle {I}nformatik-{L}abor {VILAB} - {K}onzeption, technische {R}ealisierung und {E}insatz in der {L}ehre",
    	volume = 321,
    	year = 2005,
    	pdf = "http://pi7.fernuni-hagen.de/papers/luetticke-helbig-eichhorn-2005-hagen.pdf"
    }