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