Thomas Zeume and Thomas Schwentick.
On the Quantifier-Free Dynamic Complexity of Reachability.
In Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. 2013, 837–848.
URL PDF, DOI BibTeX

@inproceedings{DBLP:conf/mfcs/ZeumeS13,
	author = "Thomas Zeume and Thomas Schwentick",
	title = "On the Quantifier-Free Dynamic Complexity of Reachability",
	booktitle = "Mathematical Foundations of Computer Science 2013 - 38th International Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings",
	year = 2013,
	pages = "837--848",
	crossref = "DBLP:conf/mfcs/2013",
	url = "http://dx.doi.org/10.1007/978-3-642-40313-2_73",
	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/ZeumeSQuantifier13.pdf",
	doi = "10.1007/978-3-642-40313-2_73",
	timestamp = "Tue, 18 Nov 2014 21:26:31 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/mfcs/ZeumeS13",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Thomas Schwentick.
Perspectives of Dynamic Complexity.
In Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings. 2013, 33.
URL, DOI BibTeX

@inproceedings{DBLP:conf/wollic/Schwentick13,
	author = "Thomas Schwentick",
	title = "Perspectives of Dynamic Complexity",
	booktitle = "Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings",
	year = 2013,
	pages = 33,
	crossref = "DBLP:conf/wollic/2013",
	url = "http://dx.doi.org/10.1007/978-3-642-39992-3_6",
	doi = "10.1007/978-3-642-39992-3_6",
	timestamp = "Tue, 18 Nov 2014 21:26:51 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/wollic/Schwentick13",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

@inproceedings{DBLP:conf/wollic/Schwentick13,
	author = "Thomas Schwentick",
	title = "Perspectives of Dynamic Complexity",
	booktitle = "Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings",
	year = 2013,
	pages = 33,
	crossref = "DBLP:conf/wollic/2013",
	url = "http://dx.doi.org/10.1007/978-3-642-39992-3_6",
	doi = "10.1007/978-3-642-39992-3_6",
	timestamp = "Wed, 19 Nov 2014 21:46:37 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/wollic/Schwentick13",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Thomas Zeume and Thomas Schwentick.
On the quantifier-free dynamic complexity of Reachability.
CoRR abs/1306.3056, 2013.
URL BibTeX

@article{DBLP:journals/corr/ZeumeS13,
	author = "Thomas Zeume and Thomas Schwentick",
	title = "On the quantifier-free dynamic complexity of Reachability",
	journal = "CoRR",
	year = 2013,
	volume = "abs/1306.3056",
	url = "http://arxiv.org/abs/1306.3056",
	timestamp = "Tue, 18 Nov 2014 21:27:03 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/ZeumeS13",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Amaldev Manuel, Thomas Schwentick and Thomas Zeume.
A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor.
CoRR abs/1306.3418, 2013.
URL BibTeX

@article{DBLP:journals/corr/ManuelSZ13,
	author = "Amaldev Manuel and Thomas Schwentick and Thomas Zeume",
	title = "A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor",
	journal = "CoRR",
	year = 2013,
	volume = "abs/1306.3418",
	url = "http://arxiv.org/abs/1306.3418",
	timestamp = "Tue, 18 Nov 2014 21:27:13 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/ManuelSZ13",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Amaldev Manuel and Thomas Zeume.
Two-Variable Logic on 2-Dimensional Structures.
In Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy. 2013, 484–499.
URL, DOI BibTeX

@inproceedings{DBLP:conf/csl/ManuelZ13,
	author = "Amaldev Manuel and Thomas Zeume",
	title = "Two-Variable Logic on 2-Dimensional Structures",
	booktitle = "Computer Science Logic 2013 {(CSL} 2013), {CSL} 2013, September 2-5, 2013, Torino, Italy",
	pages = "484--499",
	year = 2013,
	url = "http://dx.doi.org/10.4230/LIPIcs.CSL.2013.484",
	doi = "10.4230/LIPIcs.CSL.2013.484",
	timestamp = "Wed, 04 Sep 2013 20:26:36 +0200",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/csl/ManuelZ13",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Patrick Krümpelmann and Gabriele Kern-Isberner.
Secrecy preserving BDI Agents based on Answerset Programming.
In Proceedings of the 11th German Conference on Multi-Agent System Technologies (MATES'13) 8076. 2013, 124–137.
BibTeX

@inproceedings{kruempelmann2013mates,
	author = {Kr\"umpelmann, Patrick and Kern-Isberner, Gabriele},
	booktitle = "Proceedings of the 11th German Conference on Multi-Agent System Technologies (MATES'13)",
	date-added = "2014-11-18 12:00:31 +0000",
	date-modified = "2014-11-18 12:00:31 +0000",
	keywords = "own, agents, a5, secrecy, secrecy preserving agents, a5miss",
	pages = "124--137",
	publisher = "Springer",
	series = "Lecture Notes in Computer Science",
	title = "Secrecy preserving {BDI} {A}gents based on {A}nswerset {P}rogramming",
	volume = 8076,
	year = 2013,
	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QZi4uLy4uLy4uLy4uL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rclwidW1wZWxtYW5uL2tyXCJ1bXBlbG1hbm4yMDEzLnBkZtIXCxgZV05TLmRhdGFPEQJYAAAAAAJYAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAADKQQYMSCsAAAC4xSEVa3JcInVtcGVsbWFubjIwMTMucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMVBrM/2md4AAAAAAAAAAAAEAAcAAAkgAAAAAAAAAAAAAAAAAAAADWtyXCJ1bXBlbG1hbm4AABAACAAAykDp7AAAABEACAAAz/Z9vgAAAAEAKAC4xSEAuMQYALelmwB1EMwAcBSTAHAUZAAFXtwABRXSAAUUzAAAvuwAAgCOTWFjaW50b3NoIEhEOlVzZXJzOgBwYXRzOgBEb2N1bWVudHM6AG15U3R1ZmY6AHN2bnM6AGFuZ2Vyb25hOgBkb2N1bWVudGF0aW9uOgBiaWJsaW9ncmFwaHk6AGJpYmRlc2stcGFwZXI6AGtyXCJ1bXBlbG1hbm46AGtyXCJ1bXBlbG1hbm4yMDEzLnBkZgAOACwAFQBrAHIAXAAiAHUAbQBwAGUAbABtAGEAbgBuADIAMAAxADMALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAHdVc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rclwidW1wZWxtYW5uL2tyXCJ1bXBlbG1hbm4yMDEzLnBkZgAAEwABLwAAFQACAAv//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgD3APwBBANgA2IDZwNyA3sDiQONA5QDnQOiA68DsgPEA8cDzAAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAPO"
}

Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese and Gabriele Kern-Isberner.
A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery.
In Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings. 2013, 49–60.
URL, DOI BibTeX

@inproceedings{Beierle2013,
	title = "A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery",
	author = "Christoph Beierle and Marc Finthammer and Nico Potyka and Julian Varghese and Gabriele Kern{-}Isberner",
	booktitle = "Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 12th European Conference, {ECSQARU} 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings",
	year = 2013,
	pages = "49--60",
	doi = "10.1007/978-3-642-39091-3_5",
	url = "http://dx.doi.org/10.1007/978-3-642-39091-3_5"
}

@inproceedings{Beierle2013,
	title = "A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery",
	author = "Christoph Beierle and Marc Finthammer and Nico Potyka and Julian Varghese and Gabriele Kern{-}Isberner",
	booktitle = "Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 12th European Conference, {ECSQARU} 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings",
	year = 2013,
	pages = "49--60",
	doi = "10.1007/978-3-642-39091-3_5",
	url = "http://dx.doi.org/10.1007/978-3-642-39091-3_5"
}

Ella Albrecht, Patrick Krümpelmann and Gabriele Kern-Isberner.
Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs.
In Michael Hanus and Ricardo Rocha (eds.). Post-proceedings of the 27th Workshop on Functional and Logic Programming (WFLP 2013). 0.
BibTeX

@inproceedings{albrecht2013fk,
	author = {Ella Albrecht and Patrick Kr{\"u}mpelmann and Gabriele Kern-Isberner},
	booktitle = "Post-proceedings of the 27th Workshop on Functional and Logic Programming (WFLP 2013)",
	date-added = "2014-11-18 12:00:31 +0000",
	date-modified = "2014-11-18 12:00:31 +0000",
	editor = "Hanus, Michael and Rocha, Ricardo",
	keywords = "own, a5miss",
	publisher = "Springer",
	series = "Lecture Notes in Computer Science",
	title = "Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs",
	year = "to appear",
	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QXC4uLy4uLy4uLy4uL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9hbGJyZWNodC9hbGJyZWNodDIwMTQucGRm0hcLGBlXTlMuZGF0YU8RAjQAAAAAAjQAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMpBBgxIKwAAANDemRBhbGJyZWNodDIwMTQucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAwargz+AUlQAAAAAAAAAAAAQABwAACSAAAAAAAAAAAAAAAAAAAAAIYWxicmVjaHQAEAAIAADKQOnsAAAAEQAIAADP3/h1AAAAAQAoANDemQC4xBgAt6WbAHUQzABwFJMAcBRkAAVe3AAFFdIABRTMAAC+7AACAIRNYWNpbnRvc2ggSEQ6VXNlcnM6AHBhdHM6AERvY3VtZW50czoAbXlTdHVmZjoAc3ZuczoAYW5nZXJvbmE6AGRvY3VtZW50YXRpb246AGJpYmxpb2dyYXBoeToAYmliZGVzay1wYXBlcjoAYWxicmVjaHQ6AGFsYnJlY2h0MjAxNC5wZGYADgAiABAAYQBsAGIAcgBlAGMAaAB0ADIAMAAxADQALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAG1Vc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9hbGJyZWNodC9hbGJyZWNodDIwMTQucGRmAAATAAEvAAAVAAIAC///AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOAO0A8gD6AzIDNAM5A0QDTQNbA18DZgNvA3QDgQOEA5YDmQOeAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAA6A="
}

Gabriele Kern-Isberner and Christian Eichhorn.
Intensional combination of rankings for OCF-networks.
In Chutima Boonthum-Denecke and Michael Youngblood (eds.). Proceedings of the 26th International FLAIRS Conference FLAIRS-2013. 2013, 615–620.
PDF BibTeX

@inproceedings{KernIsbernerEichhorn2013,
	title = "Intensional combination of rankings for {OCF}-networks",
	author = "Gabriele Kern-Isberner and Christian Eichhorn",
	booktitle = "Proceedings of the 26th International FLAIRS Conference {FLAIRS}-2013",
	editor = "Chutima Boonthum-Denecke and Youngblood, Michael",
	publisher = "{AAAI} Press",
	pages = "615--620",
	pdf = "http://ls1-www.cs.uni-dortmund.de/~eichhorn/flairs_2013_gki_ce.pdf",
	year = 2013
}

Patrick Krümpelmann and Gabriele Kern-Isberner.
On Agent-based Epistemic Secrecy.
In Riccardo Rossi and Stefan Woltran (eds.). Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR'12). 2012.
BibTeX

@inproceedings{krumpelmann2012,
	author = {Kr{\"u}mpelmann, Patrick and Kern-Isberner, Gabriele},
	booktitle = "Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR'12)",
	date-added = "2014-11-18 12:00:31 +0000",
	date-modified = "2014-11-18 12:00:31 +0000",
	editor = "Riccardo Rossi and Stefan Woltran",
	keywords = "own",
	title = "On Agent-based Epistemic Secrecy",
	year = 2012,
	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YW8QZQAuAC4ALwAuAC4ALwAuAC4ALwAuAC4ALwBzAHYAbgBzAC8AYQBuAGcAZQByAG8AbgBhAC8AZABvAGMAdQBtAGUAbgB0AGEAdABpAG8AbgAvAGIAaQBiAGwAaQBvAGcAcgBhAHAAaAB5AC8AYgBpAGIAZABlAHMAawAtAHAAYQBwAGUAcgAvAGsAcgB1AwgAbQBwAGUAbABtAGEAbgBuAC8AawByAHUDCABtAHAAZQBsAG0AYQBuAG4AMgAwADEAMgBjAC4AcABkAGbSFwsYGVdOUy5kYXRhTxECVAAAAAACVAACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAykEGDEgrAAAAuMUlFGtyn21wZWxtYW5uMjAxMmMucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAC4xS/Pn+lOAAAAAAAAAAAABAAHAAAJIAAAAAAAAAAAAAAAAAAAAAtrcp9tcGVsbWFubgAAEAAIAADKQOnsAAAAEQAIAADPn80uAAAAAQAoALjFJQC4xBgAt6WbAHUQzABwFJMAcBRkAAVe3AAFFdIABRTMAAC+7AACAItNYWNpbnRvc2ggSEQ6VXNlcnM6AHBhdHM6AERvY3VtZW50czoAbXlTdHVmZjoAc3ZuczoAYW5nZXJvbmE6AGRvY3VtZW50YXRpb246AGJpYmxpb2dyYXBoeToAYmliZGVzay1wYXBlcjoAa3KfbXBlbG1hbm46AGtyn21wZWxtYW5uMjAxMmMucGRmAAAOACwAFQBrAHIAdQMIAG0AcABlAGwAbQBhAG4AbgAyADAAMQAyAGMALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAHhVc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rcnXMiG1wZWxtYW5uL2tydcyIbXBlbG1hbm4yMDEyYy5wZGYAEwABLwAAFQACAAv//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgFbAWABaAPAA8IDxwPSA9sD6QPtA/QD/QQCBA8EEgQkBCcELAAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAQu"
}

Gabriele Kern-Isberner and Christian Eichhorn.
OCF-Networks with missing values.
In Christoph Beierle and Gabriele Kern-Isberner (eds.). Proceedings of th 4th Workshop on Dynamics of Knowledge and Belief (DBK-2013). 2013, 46–60.
PDF BibTeX

@inproceedings{KernIsbernerEichhorn2013b,
	title = "OCF-Networks with missing values",
	author = "Gabriele Kern-Isberner and Christian Eichhorn",
	booktitle = "Proceedings of th 4th Workshop on Dynamics of Knowledge and Belief (DBK-2013)",
	editor = "Christoph Beierle AND Gabriele Kern-Isberner",
	publisher = {{FernUniversit\"{a}t in Hagen}},
	pages = "46--60",
	pdf = "http://ls1-www.cs.uni-dortmund.de/~eichhorn/dkb_2013_gki_ce.pdf",
	year = 2013
}

Gabriele Kern-Isberner and Christian Eichhorn.
Structural Inference from Conditional Knowledge Bases.
In Matthias Unterhuber and Gerhard Schurz (eds.). Studia Logica Special Issue Logic and Probability: Reasoning in Uncertain Environments. Number 102 (4), Springer Science+Business Media, August 2014, pages 751–769.
URL, DOI BibTeX

@incollection{KernIsbernerEichhorn2013c,
	title = "Structural Inference from Conditional Knowledge Bases",
	author = "Gabriele Kern-Isberner and Christian Eichhorn",
	booktitle = "Studia Logica Special Issue Logic and Probability: Reasoning in Uncertain Environments",
	editor = "Matthias Unterhuber AND Gerhard Schurz",
	publisher = "Springer Science+Business Media",
	address = "Dordrecht, NL",
	month = "August",
	number = "102 (4)",
	doi = "10.1007/s11225-013-9503-6",
	pages = "751--769",
	url = "http://link.springer.com/article/10.1007/2Fs11225-013-9503-6",
	year = 2014
}

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

Seite 10 von 16