1. Henrik Björklund, Martin Schuster, Thomas Schwentick and Joscha Kulbatzki.
    On optimum left-to-right strategies for active context-free games.
    In Joint 2013 EDBT/ICDT Conferences, ICDT '13 Proceedings, Genoa, Italy, March 18-22, 2013. 2013, 105–116.
    URL PDF, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/BjorklundSSK13,
    	author = {Henrik Bj{\"{o}}rklund and Martin Schuster and Thomas Schwentick and Joscha Kulbatzki},
    	title = "On optimum left-to-right strategies for active context-free games",
    	booktitle = "Joint 2013 {EDBT/ICDT} Conferences, {ICDT} '13 Proceedings, Genoa, Italy, March 18-22, 2013",
    	year = 2013,
    	pages = "105--116",
    	crossref = "DBLP:conf/icdt/2013",
    	url = "http://doi.acm.org/10.1145/2448496.2448510",
    	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/BjoerklundSSKOptimum13.pdf",
    	doi = "10.1145/2448496.2448510",
    	timestamp = "Tue, 18 Nov 2014 21:26:06 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/BjorklundSSK13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Schwentick.
    The Dynamic Complexity of the Reachability Problem on Graphs.
    In Reachability Problems - 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings. 2013, 45.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/rp/Schwentick13,
    	author = "Thomas Schwentick",
    	title = "The Dynamic Complexity of the Reachability Problem on Graphs",
    	booktitle = "Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings",
    	year = 2013,
    	pages = 45,
    	crossref = "DBLP:conf/rp/2013",
    	url = "http://dx.doi.org/10.1007/978-3-642-41036-9_5",
    	doi = "10.1007/978-3-642-41036-9_5",
    	timestamp = "Tue, 18 Nov 2014 21:26:36 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/rp/Schwentick13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Benedikt Bollig, Aiswarya Cyriac, Lo{\"ı}c Hélouët, Ahmet Kara and Thomas Schwentick.
    Dynamic Communicating Automata and Branching High-Level MSCs.
    In Language and Automata Theory and Applications - 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings. 2013, 177–189.
    URL PDF, DOI BibTeX

    @inproceedings{DBLP:conf/lata/BolligCHKS13,
    	author = {Benedikt Bollig and Aiswarya Cyriac and Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and Ahmet Kara and Thomas Schwentick},
    	title = "Dynamic Communicating Automata and Branching High-Level MSCs",
    	booktitle = "Language and Automata Theory and Applications - 7th International Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings",
    	pages = "177--189",
    	year = 2013,
    	crossref = "DBLP:conf/lata/2013",
    	url = "http://dx.doi.org/10.1007/978-3-642-37064-9_17",
    	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/BolligCHKDynamic13.pdf",
    	doi = "10.1007/978-3-642-37064-9_17",
    	timestamp = "Tue, 11 Nov 2014 16:50:37 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/lata/BolligCHKS13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Henrik Björklund, Wim Martens and Thomas Schwentick.
    Validity of Tree Pattern Queries with Respect to Schema Information.
    In Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. 2013, 171–182.
    URL PDF, DOI BibTeX

    @inproceedings{DBLP:conf/mfcs/BjorklundMS13,
    	author = {Henrik Bj{\"{o}}rklund and Wim Martens and Thomas Schwentick},
    	title = "Validity of Tree Pattern Queries with Respect to Schema Information",
    	booktitle = "Mathematical Foundations of Computer Science 2013 - 38th International Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings",
    	year = 2013,
    	pages = "171--182",
    	crossref = "DBLP:conf/mfcs/2013",
    	url = "http://dx.doi.org/10.1007/978-3-642-40313-2_17",
    	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/BjoerklundMSValidity13.pdf",
    	doi = "10.1007/978-3-642-40313-2_17",
    	timestamp = "Tue, 18 Nov 2014 21:26:24 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/mfcs/BjorklundMS13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  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