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

 

Veranstaltungsnummer 041241
Modulnummer INF-MA-242
Titel Komplexitätstheorie
Veranstalter Thomas Zeume
Übungsleiter Thomas Zeume
Klassifikation

Basismodul im Masterstudiengang
Wahlpflichtveranstaltung im Diplomstudiengang
Spezialvorlesung im Diplomstudiengang (SPG 4)

Semester Sommersemester 2019
SWS 6 (4V+2Ü)
Kreditpunkte 8
Ort und Zeit dienstags, 10:15-12:00 Uhr, OH 12, 1.055
donnerstags, 10:15-12:00 Uhr, OH 12, 1.055
Querverbindungen Grundbegriffe der Theoretischen Informatik, Logik
Voraussetzungen Kenntnisse aus Grundbegriffe der Theoretischen Informatik
Moodle-Arbeitsraum  
  1. Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick and Victor Vianu (eds.).
    Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04. - 25.04.2008

    08171. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2008.
    URL BibTeX

    @proceedings{DBLP:conf/dagstuhl/2008P8171,
    	editor = {Anca Muscholl and Ramaswamy Ramanujam and Micha{\"{e}}l Rusinowitch and Thomas Schwentick and Victor Vianu},
    	title = "Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04. - 25.04.2008",
    	series = "Dagstuhl Seminar Proceedings",
    	volume = 08171,
    	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
    	year = 2008,
    	url = "http://drops.dagstuhl.de/portals/08171/",
    	timestamp = "Tue, 07 Apr 2015 19:23:45 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/dagstuhl/2008P8171",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  1. Henrik Björklund, Wim Martens and Thomas Schwentick.
    Optimizing Conjunctive Queries over Trees Using Schema Information.
    In Edward Ochmanski and Jerzy Tyszkiewicz (eds.). Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings 5162. 2008, 132–143.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/mfcs/BjorklundMS08,
    	author = {Henrik Bj{\"{o}}rklund and Wim Martens and Thomas Schwentick},
    	editor = "Edward Ochmanski and Jerzy Tyszkiewicz",
    	title = "Optimizing Conjunctive Queries over Trees Using Schema Information",
    	booktitle = "Mathematical Foundations of Computer Science 2008, 33rd International Symposium, {MFCS} 2008, Torun, Poland, August 25-29, 2008, Proceedings",
    	series = "Lecture Notes in Computer Science",
    	volume = 5162,
    	pages = "132--143",
    	publisher = "Springer",
    	year = 2008,
    	url = "https://doi.org/10.1007/978-3-540-85238-4\_10",
    	doi = "10.1007/978-3-540-85238-4\_10",
    	timestamp = "Tue, 14 May 2019 10:00:37 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/mfcs/BjorklundMS08",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  1. Thomas Schwentick.
    A Little Bit Infinite? On Adding Data to Finitely Labelled Structures (Abstract).
    In Susanne Albers and Pascal Weil (eds.). STACS 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings 1. 2008, 17–18.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/stacs/Schwentick08,
    	author = "Thomas Schwentick",
    	editor = "Susanne Albers and Pascal Weil",
    	title = "A Little Bit Infinite? On Adding Data to Finitely Labelled Structures (Abstract)",
    	booktitle = "{STACS} 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings",
    	series = "LIPIcs",
    	volume = 1,
    	pages = "17--18",
    	publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany",
    	year = 2008,
    	url = "https://doi.org/10.4230/LIPIcs.STACS.2008.1325",
    	doi = "10.4230/LIPIcs.STACS.2008.1325",
    	timestamp = "Thu, 23 Aug 2018 15:56:39 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/stacs/Schwentick08",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  1. Wim Martens, Frank Neven and Thomas Schwentick.
    Deterministic top-down tree automata: past, present, and future.
    In Jörg Flum, Erich Grädel and Thomas Wilke (eds.). Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]. 2. 2008, 505–530.
    BibTeX

    @inproceedings{DBLP:conf/birthday/MartensNS08,
    	author = "Wim Martens and Frank Neven and Thomas Schwentick",
    	editor = {J{\"{o}}rg Flum and Erich Gr{\"{a}}del and Thomas Wilke},
    	title = "Deterministic top-down tree automata: past, present, and future",
    	booktitle = "Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas].",
    	series = "Texts in Logic and Games",
    	volume = 2,
    	pages = "505--530",
    	publisher = "Amsterdam University Press",
    	year = 2008,
    	timestamp = "Wed, 15 Dec 2010 22:16:39 +0100",
    	biburl = "https://dblp.org/rec/bib/conf/birthday/MartensNS08",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  1. Thomas Schwentick and Dan Suciu.
    Introduction to ICDT 2007 special section.
    ACM Trans. Database Syst. 33(4):27:1, 2008.
    URL, DOI BibTeX

    @article{DBLP:journals/tods/SchwentickS08,
    	author = "Thomas Schwentick and Dan Suciu",
    	title = "Introduction to {ICDT} 2007 special section",
    	journal = "{ACM} Trans. Database Syst.",
    	volume = 33,
    	number = 4,
    	pages = "27:1",
    	year = 2008,
    	url = "https://doi.org/10.1145/1412331.1412339",
    	doi = "10.1145/1412331.1412339",
    	timestamp = "Tue, 06 Nov 2018 12:51:47 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/tods/SchwentickS08",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

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.
    In Marcelo Arenas and Michael I Schwartzbach (eds.). Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers 4797. 2007, 66–80.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/dbpl/BjorklundMS07,
    	author = {Henrik Bj{\"{o}}rklund and Wim Martens and Thomas Schwentick},
    	editor = "Marcelo Arenas and Michael I. Schwartzbach",
    	title = "Conjunctive Query Containment over Trees",
    	booktitle = "Database Programming Languages, 11th International Symposium, {DBPL} 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers",
    	series = "Lecture Notes in Computer Science",
    	volume = 4797,
    	pages = "66--80",
    	publisher = "Springer",
    	year = 2007,
    	url = "https://doi.org/10.1007/978-3-540-75987-4\_5",
    	doi = "10.1007/978-3-540-75987-4\_5",
    	timestamp = "Tue, 14 May 2019 10:00:50 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/dbpl/BjorklundMS07",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Henrik Björklund and Thomas Schwentick.
    On Notions of Regularity for Data Languages.
    In Erzsébet Csuhaj-Varjú and Zoltán Ésik (eds.). Fundamentals of Computation Theory, 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings 4639. 2007, 88–99.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/fct/BjorklundS07,
    	author = {Henrik Bj{\"{o}}rklund and Thomas Schwentick},
    	editor = "Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and Zolt{\'{a}}n {\'{E}}sik",
    	title = "On Notions of Regularity for Data Languages",
    	booktitle = "Fundamentals of Computation Theory, 16th International Symposium, {FCT} 2007, Budapest, Hungary, August 27-30, 2007, Proceedings",
    	series = "Lecture Notes in Computer Science",
    	volume = 4639,
    	pages = "88--99",
    	publisher = "Springer",
    	year = 2007,
    	url = "https://doi.org/10.1007/978-3-540-74240-1\_9",
    	doi = "10.1007/978-3-540-74240-1\_9",
    	timestamp = "Tue, 14 May 2019 10:00:53 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/fct/BjorklundS07",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Georg Gottlob, Zoltán Miklós and Thomas Schwentick.
    Generalized hypertree decompositions: np-hardness and tractable variants.
    In Leonid Libkin (ed.). Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China. 2007, 13–22.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/pods/GottlobMS07,
    	author = "Georg Gottlob and Zolt{\'{a}}n Mikl{\'{o}}s and Thomas Schwentick",
    	editor = "Leonid Libkin",
    	title = "Generalized hypertree decompositions: np-hardness and tractable variants",
    	booktitle = "Proceedings of the Twenty-Sixth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China",
    	pages = "13--22",
    	publisher = "{ACM}",
    	year = 2007,
    	url = "https://doi.org/10.1145/1265530.1265533",
    	doi = "10.1145/1265530.1265533",
    	timestamp = "Sun, 02 Jun 2019 21:25:51 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/pods/GottlobMS07",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Gjergji Kasneci and Thomas Schwentick.
    The complexity of reasoning about pattern-based XML schemas.
    In Leonid Libkin (ed.). Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China. 2007, 155–164.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/pods/KasneciS07,
    	author = "Gjergji Kasneci and Thomas Schwentick",
    	editor = "Leonid Libkin",
    	title = "The complexity of reasoning about pattern-based {XML} schemas",
    	booktitle = "Proceedings of the Twenty-Sixth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China",
    	pages = "155--164",
    	publisher = "{ACM}",
    	year = 2007,
    	url = "https://doi.org/10.1145/1265530.1265552",
    	doi = "10.1145/1265530.1265552",
    	timestamp = "Tue, 06 Nov 2018 16:58:02 +0100",
    	biburl = "https://dblp.org/rec/bib/conf/pods/KasneciS07",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  1. Thomas Schwentick and Volker Weber.
    Bounded-Variable Fragments of Hybrid Logics.
    In Wolfgang Thomas and Pascal Weil (eds.). STACS 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings 4393. 2007, 561–572.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/stacs/SchwentickW07,
    	author = "Thomas Schwentick and Volker Weber",
    	editor = "Wolfgang Thomas and Pascal Weil",
    	title = "Bounded-Variable Fragments of Hybrid Logics",
    	booktitle = "{STACS} 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings",
    	series = "Lecture Notes in Computer Science",
    	volume = 4393,
    	pages = "561--572",
    	publisher = "Springer",
    	year = 2007,
    	url = "https://doi.org/10.1007/978-3-540-70918-3\_48",
    	doi = "10.1007/978-3-540-70918-3\_48",
    	timestamp = "Tue, 14 May 2019 10:00:48 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/stacs/SchwentickW07",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  1. Thomas Schwentick, Denis Thérien and Heribert Vollmer (eds.).
    Circuits, Logic, and Games, 08.11. - 10.11.2006

    06451. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007.
    URL BibTeX

    @proceedings{DBLP:conf/dagstuhl/2006P6451,
    	editor = "Thomas Schwentick and Denis Th{\'{e}}rien and Heribert Vollmer",
    	title = "Circuits, Logic, and Games, 08.11. - 10.11.2006",
    	series = "Dagstuhl Seminar Proceedings",
    	volume = 06451,
    	publisher = "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany",
    	year = 2007,
    	url = "http://drops.dagstuhl.de/portals/06451/",
    	timestamp = "Wed, 19 Jun 2013 12:19:16 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/dagstuhl/2006P6451",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  1. Thomas Schwentick and Dan Suciu (eds.).
    Database Theory - ICDT 2007, 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings

    4353. Springer, 2007.
    URL, DOI BibTeX

    @proceedings{DBLP:conf/icdt/2007,
    	editor = "Thomas Schwentick and Dan Suciu",
    	title = "Database Theory - {ICDT} 2007, 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings",
    	series = "Lecture Notes in Computer Science",
    	volume = 4353,
    	publisher = "Springer",
    	year = 2007,
    	url = "https://doi.org/10.1007/11965893",
    	doi = "10.1007/11965893",
    	isbn = "3-540-69269-X",
    	timestamp = "Tue, 14 May 2019 10:00:54 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/icdt/2007",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  1. Wim Martens, Frank Neven and Thomas Schwentick.
    Simple off the shelf abstractions for XML schema.
    SIGMOD Record 36(3):15–22, 2007.
    URL, DOI BibTeX

    @article{DBLP:journals/sigmod/MartensNS07,
    	author = "Wim Martens and Frank Neven and Thomas Schwentick",
    	title = "Simple off the shelf abstractions for {XML} schema",
    	journal = "{SIGMOD} Record",
    	volume = 36,
    	number = 3,
    	pages = "15--22",
    	year = 2007,
    	url = "https://doi.org/10.1145/1324185.1324188",
    	doi = "10.1145/1324185.1324188",
    	timestamp = "Tue, 06 Nov 2018 12:51:22 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/sigmod/MartensNS07",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Thomas Schwentick.
    Automata for XML - A survey.
    J. Comput. Syst. Sci. 73(3):289–315, 2007.
    URL, DOI BibTeX

    @article{DBLP:journals/jcss/Schwentick07,
    	author = "Thomas Schwentick",
    	title = "Automata for {XML} - {A} survey",
    	journal = "J. Comput. Syst. Sci.",
    	volume = 73,
    	number = 3,
    	pages = "289--315",
    	year = 2007,
    	url = "https://doi.org/10.1016/j.jcss.2006.10.003",
    	doi = "10.1016/j.jcss.2006.10.003",
    	timestamp = "Sat, 20 May 2017 00:25:55 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/jcss/Schwentick07",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

2006