1. Thomas Schwentick and Thomas Zeume.
    Two-Variable Logic with Two Order Relations - (Extended Abstract).
    In Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings. 2010, 499–513.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/csl/SchwentickZ10,
    	author = "Thomas Schwentick and Thomas Zeume",
    	title = "Two-Variable Logic with Two Order Relations - (Extended Abstract)",
    	booktitle = "Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings",
    	year = 2010,
    	pages = "499--513",
    	crossref = "DBLP:conf/csl/2010",
    	url = "http://dx.doi.org/10.1007/978-3-642-15205-4_38",
    	doi = "10.1007/978-3-642-15205-4_38",
    	timestamp = "Tue, 18 Nov 2014 21:30:36 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/csl/SchwentickZ10",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Geert Jan Bex, Frank Neven, Thomas Schwentick and Stijn Vansummeren.
    Inference of concise regular expressions and DTDs.
    ACM Trans. Database Syst. 35(2), 2010.
    URL, DOI BibTeX

    @article{DBLP:journals/tods/BexNSV10,
    	author = "Geert Jan Bex and Frank Neven and Thomas Schwentick and Stijn Vansummeren",
    	title = "Inference of concise regular expressions and DTDs",
    	journal = "{ACM} Trans. Database Syst.",
    	year = 2010,
    	volume = 35,
    	number = 2,
    	url = "http://doi.acm.org/10.1145/1735886.1735890",
    	doi = "10.1145/1735886.1735890",
    	timestamp = "Tue, 18 Nov 2014 21:30:24 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/tods/BexNSV10",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

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

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

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

  1. Thomas Schwentick and Henrik Björklund.
    Volker Weber.
    Journal of Logic, Language and Information 18(4):433, 2009.
    URL, DOI BibTeX

    @article{DBLP:journals/jolli/SchwentickB09,
    	author = {Thomas Schwentick and Henrik Bj{\"{o}}rklund},
    	title = "Volker Weber",
    	journal = "Journal of Logic, Language and Information",
    	year = 2009,
    	volume = 18,
    	number = 4,
    	pages = 433,
    	url = "http://dx.doi.org/10.1007/s10849-009-9097-6",
    	doi = "10.1007/s10849-009-9097-6",
    	timestamp = "Tue, 18 Nov 2014 21:31:26 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/jolli/SchwentickB09",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Schwentick and Dan Suciu.
    Foreword.
    Theory Comput. Syst. 44(4):501–502, 2009.
    URL, DOI BibTeX

    @article{DBLP:journals/mst/SchwentickS09,
    	author = "Thomas Schwentick and Dan Suciu",
    	title = "Foreword",
    	journal = "Theory Comput. Syst.",
    	year = 2009,
    	volume = 44,
    	number = 4,
    	pages = "501--502",
    	url = "http://dx.doi.org/10.1007/s00224-008-9156-4",
    	doi = "10.1007/s00224-008-9156-4",
    	timestamp = "Tue, 18 Nov 2014 21:31:31 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/mst/SchwentickS09",
    	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. Ahmet Kara, Martin Lange, Thomas Schwentick and Volker Weber.
    On the Hybrid Extension of CTL and CTL+.
    CoRR abs/0906.2541, 2009.
    URL BibTeX

    @article{DBLP:journals/corr/abs-0906-2541,
    	author = "Ahmet Kara and Martin Lange and Thomas Schwentick and Volker Weber",
    	title = "On the Hybrid Extension of {CTL} and {CTL+}",
    	journal = "CoRR",
    	year = 2009,
    	volume = "abs/0906.2541",
    	url = "http://arxiv.org/abs/0906.2541",
    	timestamp = "Tue, 18 Nov 2014 21:31:55 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/abs-0906-2541",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Wouter Gelade, Marcel Marquardt and Thomas Schwentick.
    The Dynamic Complexity of Formal Languages.
    In 26th International Symposium on Theoretical Aspects of Computer Science, STACS 2009, February 26-28, 2009, Freiburg, Germany, Proceedings. 2009, 481–492.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/stacs/GeladeMS09,
    	author = "Wouter Gelade and Marcel Marquardt and Thomas Schwentick",
    	title = "The Dynamic Complexity of Formal Languages",
    	booktitle = "26th International Symposium on Theoretical Aspects of Computer Science, {STACS} 2009, February 26-28, 2009, Freiburg, Germany, Proceedings",
    	year = 2009,
    	pages = "481--492",
    	crossref = "DBLP:conf/stacs/2009",
    	url = "http://dx.doi.org/10.4230/LIPIcs.STACS.2009.1829",
    	doi = "10.4230/LIPIcs.STACS.2009.1829",
    	timestamp = "Tue, 18 Nov 2014 21:31:51 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/stacs/GeladeMS09",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

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

 

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