1. Christoph Dürr and Thomas Schwentick.
    Preface of Special Issue on Theoretical Aspects of Computer Science.
    Theory Comput. Syst. 53(2):123–125, 2013.
    URL, DOI BibTeX

    @article{DBLP:journals/mst/DurrS13,
	author = {Christoph D{\"{u}}rr and Thomas Schwentick},
	title = "Preface of Special Issue on Theoretical Aspects of Computer Science",
	journal = "Theory Comput. Syst.",
	year = 2013,
	volume = 53,
	number = 2,
	pages = "123--125",
	url = "http://dx.doi.org/10.1007/s00224-013-9467-y",
	doi = "10.1007/s00224-013-9467-y",
	timestamp = "Tue, 18 Nov 2014 21:26:01 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/journals/mst/DurrS13",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

2012

  1. Luciano H Tamargo, Alejandro J Garcia, Matthias Thimm and Patrick Krümpelmann.
    Argumentative Credibility-based Revision in Multi-Agent Systems.
    In Proceedings of the 13th Argentine Symposium on Artificial Intelligence (ASAI'12). 2012.
    BibTeX

    @inproceedings{tamargo2012asai,
	author = {Tamargo, Luciano H. and Garcia, Alejandro J. and Thimm, Matthias and Kr\"umpelmann, Patrick},
	booktitle = "Proceedings of the 13th Argentine Symposium on Artificial Intelligence ({ASAI}'12)",
	date-added = "2014-11-18 12:00:31 +0000",
	date-modified = "2014-11-18 12:00:31 +0000",
	keywords = "own, 2012, proalar",
	publisher = "to appear",
	title = "Argumentative Credibility-based Revision in Multi-Agent Systems",
	year = 2012
}

  1. Thomas Schwentick and Thomas Zeume.
    Two-Variable Logic with Two Order Relations.
    Logical Methods in Computer Science 8(1), 2012.
    URL, DOI BibTeX

    @article{DBLP:journals/corr/abs-1110-1439,
	author = "Thomas Schwentick and Thomas Zeume",
	title = "Two-Variable Logic with Two Order Relations",
	journal = "Logical Methods in Computer Science",
	year = 2012,
	volume = 8,
	number = 1,
	url = "http://dx.doi.org/10.2168/LMCS-8(1:15)2012",
	doi = "10.2168/LMCS-8(1:15)2012",
	timestamp = "Tue, 18 Nov 2014 21:27:20 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1110-1439",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

  1. Jean-Yves Marion and Thomas Schwentick.
    Theoretical Aspects of Computer Science.
    Theory Comput. Syst. 51(2):123–124, 2012.
    URL, DOI BibTeX

    @article{DBLP:journals/mst/MarionS12,
	author = "Jean{-}Yves Marion and Thomas Schwentick",
	title = "Theoretical Aspects of Computer Science",
	journal = "Theory Comput. Syst.",
	year = 2012,
	volume = 51,
	number = 2,
	pages = "123--124",
	url = "http://dx.doi.org/10.1007/s00224-012-9401-8",
	doi = "10.1007/s00224-012-9401-8",
	timestamp = "Tue, 18 Nov 2014 21:27:24 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/journals/mst/MarionS12",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

  1. Wim Martens, Frank Neven, Matthias Niewerth and Thomas Schwentick.
    Developing and Analyzing XSDs through BonXai.
    PVLDB 5(12):1994–1997, 2012.
    URL BibTeX

    @article{DBLP:journals/pvldb/MartensNNS12,
	author = "Wim Martens and Frank Neven and Matthias Niewerth and Thomas Schwentick",
	title = "Developing and Analyzing XSDs through BonXai",
	journal = "{PVLDB}",
	year = 2012,
	volume = 5,
	number = 12,
	pages = "1994--1997",
	url = "http://vldb.org/pvldb/vol5/p1994_wimmartens_vldb2012.pdf",
	timestamp = "Tue, 18 Nov 2014 21:27:29 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/journals/pvldb/MartensNNS12",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

  1. Wouter Gelade, Marcel Marquardt and Thomas Schwentick.
    The dynamic complexity of formal languages.
    ACM Trans. Comput. Log. 13(3):19, 2012.
    URL, DOI BibTeX

    @article{DBLP:journals/tocl/GeladeMS12,
	author = "Wouter Gelade and Marcel Marquardt and Thomas Schwentick",
	title = "The dynamic complexity of formal languages",
	journal = "{ACM} Trans. Comput. Log.",
	year = 2012,
	volume = 13,
	number = 3,
	pages = 19,
	url = "http://doi.acm.org/10.1145/2287718.2287719",
	doi = "10.1145/2287718.2287719",
	timestamp = "Tue, 18 Nov 2014 21:27:45 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/journals/tocl/GeladeMS12",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

  1. Thomas Schwentick.
    Foundations of XML Based on Logic and Automata: A Snapshot.
    In Foundations of Information and Knowledge Systems - 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings. 2012, 23–33.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/foiks/Schwentick12,
	author = "Thomas Schwentick",
	title = "Foundations of {XML} Based on Logic and Automata: {A} Snapshot",
	booktitle = "Foundations of Information and Knowledge Systems - 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings",
	year = 2012,
	pages = "23--33",
	crossref = "DBLP:conf/foiks/2012",
	url = "http://dx.doi.org/10.1007/978-3-642-28472-4_2",
	doi = "10.1007/978-3-642-28472-4_2",
	timestamp = "Tue, 18 Nov 2014 21:27:53 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/foiks/Schwentick12",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

  1. Georg Gottlob and Thomas Schwentick.
    Rewriting Ontological Queries into Small Nonrecursive Datalog Programs.
    In Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012. 2012.
    URL BibTeX

    @inproceedings{DBLP:conf/kr/GottlobS12,
	author = "Georg Gottlob and Thomas Schwentick",
	title = "Rewriting Ontological Queries into Small Nonrecursive Datalog Programs",
	booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, {KR} 2012, Rome, Italy, June 10-14, 2012",
	year = 2012,
	crossref = "DBLP:conf/kr/2012",
	url = "http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4510",
	timestamp = "Tue, 18 Nov 2014 21:28:02 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/kr/GottlobS12",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

  1. Ahmet Kara, Thomas Schwentick and Tony Tan.
    Feasible Automata for Two-Variable Logic with Successor on Data Words.
    In Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. 2012, 351–362.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/lata/KaraST12,
	author = "Ahmet Kara and Thomas Schwentick and Tony Tan",
	title = "Feasible Automata for Two-Variable Logic with Successor on Data Words",
	booktitle = "Language and Automata Theory and Applications - 6th International Conference, {LATA} 2012, {A} Coru{\~{n}}a, Spain, March 5-9, 2012. Proceedings",
	year = 2012,
	pages = "351--362",
	crossref = "DBLP:conf/lata/2012",
	url = "http://dx.doi.org/10.1007/978-3-642-28332-1_30",
	doi = "10.1007/978-3-642-28332-1_30",
	timestamp = "Tue, 18 Nov 2014 21:28:37 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/lata/KaraST12",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

  1. Christoph Beierle and Gabriele Kern-Isberner.
    Semantical investigations into nonmonotonic and probabilistic logics.
    Ann. Math. Artif. Intell. 65(2-3):123–158, 2012.
    URL, DOI BibTeX

    @article{Beierle2012c,
	title = "Semantical investigations into nonmonotonic and probabilistic logics",
	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
	journal = "Ann. Math. Artif. Intell.",
	year = 2012,
	number = "2-3",
	pages = "123--158",
	volume = 65,
	doi = "10.1007/s10472-012-9310-1",
	url = "http://dx.doi.org/10.1007/s10472-012-9310-1"
}

  1. Patrick Krümpelmann and Gabriele Kern-Isberner.
    Belief Base Change Operations for Answer Set Programming.
    In Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA'12) 7519. 2012.
    BibTeX

    @inproceedings{krumpelmann2012jelia,
	author = {Patrick Kr{\"u}mpelmann and Gabriele Kern-Isberner},
	booktitle = "Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA'12)",
	date-added = "2014-11-18 12:00:31 +0000",
	date-modified = "2014-11-18 12:00:31 +0000",
	keywords = "own, asp, revision",
	publisher = "Springer",
	series = "Lecture Notes in Artificial Intelligence",
	title = "Belief Base Change Operations for Answer Set Programming",
	volume = 7519,
	year = 2012,
	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YW8QZQAuAC4ALwAuAC4ALwAuAC4ALwAuAC4ALwBzAHYAbgBzAC8AYQBuAGcAZQByAG8AbgBhAC8AZABvAGMAdQBtAGUAbgB0AGEAdABpAG8AbgAvAGIAaQBiAGwAaQBvAGcAcgBhAHAAaAB5AC8AYgBpAGIAZABlAHMAawAtAHAAYQBwAGUAcgAvAGsAcgB1AwgAbQBwAGUAbABtAGEAbgBuAC8AawByAHUDCABtAHAAZQBsAG0AYQBuAG4AMgAwADEAMgBkAC4AcABkAGbSFwsYGVdOUy5kYXRhTxECVAAAAAACVAACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAykEGDEgrAAAAuMUlFGtyn21wZWxtYW5uMjAxMmQucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAC4xTDPn+lOAAAAAAAAAAAABAAHAAAJIAAAAAAAAAAAAAAAAAAAAAtrcp9tcGVsbWFubgAAEAAIAADKQOnsAAAAEQAIAADPn80uAAAAAQAoALjFJQC4xBgAt6WbAHUQzABwFJMAcBRkAAVe3AAFFdIABRTMAAC+7AACAItNYWNpbnRvc2ggSEQ6VXNlcnM6AHBhdHM6AERvY3VtZW50czoAbXlTdHVmZjoAc3ZuczoAYW5nZXJvbmE6AGRvY3VtZW50YXRpb246AGJpYmxpb2dyYXBoeToAYmliZGVzay1wYXBlcjoAa3KfbXBlbG1hbm46AGtyn21wZWxtYW5uMjAxMmQucGRmAAAOACwAFQBrAHIAdQMIAG0AcABlAGwAbQBhAG4AbgAyADAAMQAyAGQALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAHhVc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rcnXMiG1wZWxtYW5uL2tydcyIbXBlbG1hbm4yMDEyZC5wZGYAEwABLwAAFQACAAv//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgFbAWABaAPAA8IDxwPSA9sD6QPtA/QD/QQCBA8EEgQkBCcELAAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAQu"
}

  1. Gabriele Kern-Isberner and Christian Eichhorn.
    A structural base for conditional reasoning.
    In Human Reasoning and Automated Deduction – KI 2012 Workshop Proceedings. 2012.
    PDF BibTeX

    @inproceedings{kern-isberner_eichhorn2012,
	author = "Gabriele Kern-Isberner AND Christian Eichhorn",
	title = "A structural base for conditional reasoning",
	booktitle = "Human Reasoning and Automated Deduction -- KI 2012 Workshop Proceedings",
	year = 2012,
	pdf = "http://fss.plone.uni-giessen.de/fss/fbz/fb06/psychologie/abt/kognition/spp1516/map/pub/ki2012/file/ki2012.pdf"
}

  1. Christoph Beierle and Gabriele Kern-Isberner.
    Aspects of Universitarian Distance Teaching and Online Learning.
    KI 26(3):305–306, 2012.
    URL, DOI BibTeX

    @article{Beierle2012a,
	title = "Aspects of Universitarian Distance Teaching and Online Learning",
	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
	journal = "{KI}",
	year = 2012,
	number = 3,
	pages = "305--306",
	volume = 26,
	doi = "10.1007/s13218-012-0203-6",
	url = "http://dx.doi.org/10.1007/s13218-012-0203-6"
}

  1. Christoph Beierle and Gabriele Kern-Isberner.
    Semantical investigations into nonmonotonic and probabilistic logics.
    Ann. Math. Artif. Intell. 65(2-3):123–158, 2012.
    URL, DOI BibTeX

    @article{Beierle2012c,
	title = "Semantical investigations into nonmonotonic and probabilistic logics",
	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
	journal = "Ann. Math. Artif. Intell.",
	year = 2012,
	number = "2-3",
	pages = "123--158",
	volume = 65,
	doi = "10.1007/s10472-012-9310-1",
	url = "http://dx.doi.org/10.1007/s10472-012-9310-1"
}

 

  1. Christoph Beierle and Gabriele Kern-Isberner.
    Conditional Objects Revisited: Variants and Model Translations.
    In Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, Marco Island, Florida. May 23-25, 2012. 2012.
    URL BibTeX

    @inproceedings{Beierle2012,
	title = "Conditional Objects Revisited: Variants and Model Translations",
	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
	booktitle = "Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, Marco Island, Florida. May 23-25, 2012",
	year = 2012,
	url = "http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS12/paper/view/4370"
}

  1. Christoph Beierle and Gabriele Kern-Isberner.
    Editorial: Relational approaches to knowledge representation and learning.
    Logic Journal of the IGPL 20(5):771–773, 2012.
    URL, DOI BibTeX

    @article{Beierle2012b,
	title = "Editorial: Relational approaches to knowledge representation and learning",
	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
	journal = "Logic Journal of the {IGPL}",
	year = 2012,
	number = 5,
	pages = "771--773",
	volume = 20,
	doi = "10.1093/jigpal/jzs006",
	url = "http://dx.doi.org/10.1093/jigpal/jzs006"
}

2011

  1. Nicole Schweikardt and Thomas Schwentick.
    A note on the expressive power of linear orders.
    Logical Methods in Computer Science 7(4), 2011.
    URL, DOI BibTeX

    @article{DBLP:journals/corr/abs-1111-5901,
	author = "Nicole Schweikardt and Thomas Schwentick",
	title = "A note on the expressive power of linear orders",
	journal = "Logical Methods in Computer Science",
	year = 2011,
	volume = 7,
	number = 4,
	url = "http://dx.doi.org/10.2168/LMCS-7(4:7)2011",
	doi = "10.2168/LMCS-7(4:7)2011",
	timestamp = "Tue, 18 Nov 2014 21:28:48 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1111-5901",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

  1. Ahmet Kara and Thomas Schwentick.
    Expressiveness of Hybrid Temporal Logic on Data Words.
    Electr. Notes Theor. Comput. Sci. 278:115–128, 2011.
    URL, DOI BibTeX

    @article{DBLP:journals/entcs/KaraS11,
	author = "Ahmet Kara and Thomas Schwentick",
	title = "Expressiveness of Hybrid Temporal Logic on Data Words",
	journal = "Electr. Notes Theor. Comput. Sci.",
	year = 2011,
	volume = 278,
	pages = "115--128",
	url = "http://dx.doi.org/10.1016/j.entcs.2011.10.010",
	doi = "10.1016/j.entcs.2011.10.010",
	timestamp = "Tue, 18 Nov 2014 21:28:54 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/journals/entcs/KaraS11",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}