1. Christoph Benzmüller, Christine L Lisetti and Martin Theobald (eds.).
    GCAI 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017

    50. EasyChair, 2017.
    URL BibTeX

    @proceedings{DBLP:conf/gcai/2017,
    	editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald},
    	title = "{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017",
    	series = "EPiC Series in Computing",
    	volume = 50,
    	publisher = "EasyChair",
    	year = 2017,
    	url = "http://www.easychair.org/publications/volume/GCAI\_2017",
    	timestamp = "Mon, 08 Jan 2018 17:55:44 +0100",
    	biburl = "https://dblp.org/rec/bib/conf/gcai/2017",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Marco Wilhelm, Gabriele Kern-Isberner and Andreas Ecke.
    Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals.
    In GCAI 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017.. 2017, 36–50.
    URL BibTeX

    @inproceedings{DBLP:conf/gcai/WilhelmKE17,
    	author = "Marco Wilhelm and Gabriele Kern{-}Isberner and Andreas Ecke",
    	title = "Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals",
    	booktitle = "{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017.",
    	pages = "36--50",
    	year = 2017,
    	crossref = "DBLP:conf/gcai/2017",
    	url = "http://www.easychair.org/publications/paper/jzdz",
    	timestamp = "Mon, 08 Jan 2018 17:55:44 +0100",
    	biburl = "https://dblp.org/rec/bib/conf/gcai/WilhelmKE17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Seraf{\'ı}n Moral, Olivier Pivert, Daniel Sánchez and Nicolás Mar{\'ı}n (eds.).
    Scalable Uncertainty Management - 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

    10564. Springer, 2017.
    URL, DOI BibTeX

    @proceedings{DBLP:conf/sum/2017,
    	editor = "Seraf{\'{\i}}n Moral and Olivier Pivert and Daniel S{\'{a}}nchez and Nicol{\'{a}}s Mar{\'{\i}}n",
    	title = "Scalable Uncertainty Management - 11th International Conference, {SUM} 2017, Granada, Spain, October 4-6, 2017, Proceedings",
    	series = "Lecture Notes in Computer Science",
    	volume = 10564,
    	publisher = "Springer",
    	year = 2017,
    	url = "https://doi.org/10.1007/978-3-319-67582-4",
    	doi = "10.1007/978-3-319-67582-4",
    	isbn = "978-3-319-67581-7",
    	timestamp = "Wed, 20 Sep 2017 13:54:42 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/sum/2017",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Marco Wilhelm, Marc Finthammer, Gabriele Kern-Isberner and Christoph Beierle.
    First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy.
    In Scalable Uncertainty Management - 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings. 2017, 266–279.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/sum/WilhelmFKB17,
    	author = "Marco Wilhelm and Marc Finthammer and Gabriele Kern{-}Isberner and Christoph Beierle",
    	title = "First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy",
    	booktitle = "Scalable Uncertainty Management - 11th International Conference, {SUM} 2017, Granada, Spain, October 4-6, 2017, Proceedings",
    	pages = "266--279",
    	year = 2017,
    	crossref = "DBLP:conf/sum/2017",
    	url = "https://doi.org/10.1007/978-3-319-67582-4\_19",
    	doi = "10.1007/978-3-319-67582-4\_19",
    	timestamp = "Wed, 20 Sep 2017 14:08:19 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/sum/WilhelmFKB17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Marco Ragni, Christian Eichhorn, Tanja Bock, Gabriele Kern-Isberner and Alice Ping Ping Tse.
    Formal Nonmonotonic Theories and Properties of Human Defeasible Reasoning.
    Minds and Machines Volume 27, Number 1:79–117, 2017.
    BibTeX

    @article{RagniEichhornBockKernIsbernerTse2017,
    	author = "Ragni, Marco and Eichhorn, Christian and Bock, Tanja and Kern-Isberner, Gabriele and Tse, Alice Ping Ping",
    	title = "Formal Nonmonotonic Theories and Properties of Human Defeasible Reasoning",
    	journal = "Minds and Machines",
    	editor = "Mariarosaria Taddeo",
    	volume = "Volume 27, Number 1",
    	issue = "Special Issue: Reasoning with Imperfect Information and Knowledge",
    	year = 2017,
    	pages = "79--117",
    	publisher = "Springer Science+Business Media",
    	address = "Dordrecht, NL"
    }
    

  1. Carles Sierra (ed.).
    Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017

    . ijcai.org, 2017.
    URL BibTeX

    @proceedings{DBLP:conf/ijcai/2017,
    	editor = "Carles Sierra",
    	title = "Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017",
    	publisher = "ijcai.org",
    	year = 2017,
    	url = "http://www.ijcai.org/Proceedings/2017/",
    	isbn = "978-0-9992411-0-3",
    	timestamp = "Wed, 27 Jun 2018 12:24:11 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/ijcai/2017",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Gabriele Kern-Isberner and Gerhard Brewka.
    Strong Syntax Splitting for Iterated Belief Revision.
    In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. 2017, 1131–1137.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ijcai/Kern-IsbernerB17,
    	author = "Gabriele Kern{-}Isberner and Gerhard Brewka",
    	title = "Strong Syntax Splitting for Iterated Belief Revision",
    	booktitle = "Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017",
    	pages = "1131--1137",
    	year = 2017,
    	crossref = "DBLP:conf/ijcai/2017",
    	url = "https://doi.org/10.24963/ijcai.2017/157",
    	doi = "10.24963/ijcai.2017/157",
    	timestamp = "Wed, 27 Jun 2018 12:24:11 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/ijcai/Kern-IsbernerB17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Christophe Sabourin, Juan Juli{'a}n {Merelo Guerv 'o}s, Una-May O'Reilly, Kurosh Madani and Kevin Warwick (eds.).
    Proceedings of the 9th International Joint Conference on Computational Intelligence, IJCCI 2017, Funchal, Madeira, Portugal, November 1-3, 2017

    . SciTePress, 2017.
    URL BibTeX

    @proceedings{DBLP:conf/ijcci/2017,
    	editor = "Christophe Sabourin and Juan Juli{'{a}}n {Merelo Guerv{'{o}}s} and Una{-}May O'Reilly and Kurosh Madani and Kevin Warwick",
    	title = "Proceedings of the 9th International Joint Conference on Computational Intelligence, {IJCCI} 2017, Funchal, Madeira, Portugal, November 1-3, 2017",
    	publisher = "SciTePress",
    	year = 2017,
    	url = "http://www.scitepress.org/DigitalLibrary/ProceedingsDetails.aspx?ID=cC2jSedaYNw=",
    	isbn = "978-989-758-274-5",
    	timestamp = "Fri, 29 Dec 2017 13:39:48 +0100",
    	biburl = "https://dblp.org/rec/bib/conf/ijcci/2017",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Steffen Schieweck, Gabriele Kern-Isberner and Michael Hompel.
    Various Approaches to the Application of Answer Set Programming in Order-picking Systems with Intelligent Vehicles.
    In Proceedings of the 9th International Joint Conference on Computational Intelligence, IJCCI 2017, Funchal, Madeira, Portugal, November 1-3, 2017.. 2017, 25–34.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ijcci/SchieweckKH17,
    	author = "Steffen Schieweck and Gabriele Kern{-}Isberner and Michael {ten Hompel}",
    	title = "Various Approaches to the Application of Answer Set Programming in Order-picking Systems with Intelligent Vehicles",
    	booktitle = "Proceedings of the 9th International Joint Conference on Computational Intelligence, {IJCCI} 2017, Funchal, Madeira, Portugal, November 1-3, 2017.",
    	pages = "25--34",
    	year = 2017,
    	crossref = "DBLP:conf/ijcci/2017",
    	url = "https://doi.org/10.5220/0006489300250034",
    	doi = "10.5220/0006489300250034",
    	timestamp = "Fri, 29 Dec 2017 13:45:38 +0100",
    	biburl = "https://dblp.org/rec/bib/conf/ijcci/SchieweckKH17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

2016

  1. Tom J Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven and Thomas Schwentick.
    Data partitioning for single-round multi-join evaluation in massively parallel systems.
    SIGMOD Record 45(1):33–40, 2016.
    URL, DOI BibTeX

    @article{DBLP:journals/sigmod/AmelootGKNS16,
    	author = "Tom J. Ameloot and Gaetano Geck and Bas Ketsman and Frank Neven and Thomas Schwentick",
    	title = "Data partitioning for single-round multi-join evaluation in massively parallel systems",
    	journal = "{SIGMOD} Record",
    	volume = 45,
    	number = 1,
    	pages = "33--40",
    	year = 2016,
    	url = "https://doi.org/10.1145/2949741.2949750",
    	doi = "10.1145/2949741.2949750",
    	timestamp = "Tue, 06 Nov 2018 12:51:23 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/sigmod/AmelootGKNS16",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Thomas Schwentick and Thomas Zeume.
    Dynamic complexity: recent updates.
    SIGLOG News 3(2):30–52, 2016.
    URL BibTeX

    @article{DBLP:journals/siglog/SchwentickZ16,
    	author = "Thomas Schwentick and Thomas Zeume",
    	title = "Dynamic complexity: recent updates",
    	journal = "{SIGLOG} News",
    	volume = 3,
    	number = 2,
    	pages = "30--52",
    	year = 2016,
    	url = "https://dl.acm.org/citation.cfm?id=2948899",
    	timestamp = "Wed, 05 Dec 2018 15:20:23 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/siglog/SchwentickZ16",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu and Ke Yi.
    Research Directions for Principles of Data Management (Abridged).
    SIGMOD Record 45(4):5–17, 2016.
    URL, DOI BibTeX

    @article{DBLP:journals/sigmod/AbiteboulABBCDH16,
    	author = {Serge Abiteboul and Marcelo Arenas and Pablo Barcel{\'{o}} and Meghyn Bienvenu and Diego Calvanese and Claire David and Richard Hull and Eyke H{\"{u}}llermeier and Benny Kimelfeld and Leonid Libkin and Wim Martens and Tova Milo and Filip Murlak and Frank Neven and Magdalena Ortiz and Thomas Schwentick and Julia Stoyanovich and Jianwen Su and Dan Suciu and Victor Vianu and Ke Yi},
    	title = "Research Directions for Principles of Data Management (Abridged)",
    	journal = "{SIGMOD} Record",
    	volume = 45,
    	number = 4,
    	pages = "5--17",
    	year = 2016,
    	url = "https://doi.org/10.1145/3092931.3092933",
    	doi = "10.1145/3092931.3092933",
    	timestamp = "Tue, 06 Nov 2018 12:51:22 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/sigmod/AbiteboulABBCDH16",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Daan Apeldoorn and Gabriele Kern-Isberner.
    When Should Learning Agents Switch to Explicit Knowledge?.
    In Christoph Benzmüller, Geoff Sutcliffe and Raul Rojas (eds.). GCAI 2016. 2nd Global Conference on Artificial Intelligence 41. 2016, 174–186.
    URL BibTeX

    @inproceedings{ApeldoornKernIsberner2015b,
    	author = "Apeldoorn, Daan and Kern-Isberner, Gabriele",
    	title = "When Should Learning Agents Switch to Explicit Knowledge?",
    	booktitle = "GCAI 2016. 2nd Global Conference on Artificial Intelligence",
    	pages = "174--186",
    	year = 2016,
    	editor = {Benzm\"uller, Christoph and Sutcliffe, Geoff and Rojas, Raul},
    	volume = 41,
    	series = "EPiC Series in Computing",
    	publisher = "EasyChair Publications",
    	url = "http://easychair.org/publications/download/When_Should_Learning_Agents_Switch_to_Explicit_Knowledge"
    }
    

  1. Christoph Beierle, Christian Eichhorn and Steven Kutsch.
    A Practical Comparison of Qualitative Inferences with Preferred Ranking Models.
    KI - Künstliche Intelligenz Volume 31, Issue 1:41–52, 2016.
    BibTeX

    @article{BeierleEichhornKutsch2017,
    	author = "Beierle, Christoph AND Eichhorn, Christian AND Kutsch, Steven",
    	title = "A Practical Comparison of Qualitative Inferences with Preferred Ranking Models",
    	journal = {KI - K{\"u}nstliche Intelligenz},
    	volume = "Volume 31, Issue 1",
    	year = 2016,
    	pages = "41--52",
    	publisher = "Springer Science+Business Media",
    	address = "Berlin, DE"
    }
    

  1. Marco Ragni, Christian Eichhorn and Gabriele Kern-Isberner.
    Simulating Human Inferences in the Light of New Information: A Formal Analysis (Extended Abstract).
    In Gerhard Friedrich, Malte Helmert and Franz Wotawa (eds.). KI 2016: Advances in Artificial Intelligence – 39th Annual German Conference on AI (Proceedings) (LNAI) 9904. 2016, 297-302.
    BibTeX

    @inproceedings{RagniEichhornKernIsberner2016b,
    	author = "Ragni, Marco AND Eichhorn, Christian AND Kern-Isberner, Gabriele",
    	title = "Simulating Human Inferences in the Light of New Information: A Formal Analysis (Extended Abstract)",
    	booktitle = "KI 2016: Advances in Artificial Intelligence -- 39th Annual German Conference on AI (Proceedings)",
    	series = "Lecture Notes in Computer Science",
    	volume = "(LNAI) 9904",
    	year = 2016,
    	editor = "Friedrich, Gerhard AND Helmert, Malte AND Wotawa, Franz",
    	pages = "297-302",
    	address = "Cham, CH",
    	publisher = "Springer International Publishing"
    }
    

  1. Christoph Beierle, Christian Eichhorn and Gabriele Kern-Isberner.
    Skeptical Inference Based on C-representations and its Characterization as a Constraint Satisfaction Problem.
    In Proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2016) 9616. 2016, 65–82.
    BibTeX

    @inproceedings{BeierleEichhornKernIsberner2016,
    	address = "Berlin, DE",
    	author = "Beierle, Christoph AND Eichhorn, Christian AND Kern-Isberner, Gabriele",
    	booktitle = "Proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2016)",
    	date-modified = "2017-06-07 14:27:12 +0200",
    	editors = "Simari, Guillermo Ricardo AND Gyssens, Marc",
    	pages = "65--82",
    	publisher = "Springer Science+Business Media",
    	series = "Lecture Notes of Computer Science",
    	title = "{Skeptical Inference Based on C-representations and its Characterization as a Constraint Satisfaction Problem}",
    	volume = 9616,
    	year = 2016
    }
    

  1. Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner and Steven Kutsch.
    Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions.
    In Gal A Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum and Frank Harmelen (eds.). Frontiers in Artificial Intelligence and Applications Volume 285: ECAI 2016. 2016, 1149–1157.
    BibTeX

    @inproceedings{BeierleEichhornKernIsbernerKutsch2016,
    	author = "Beierle, Christoph AND Eichhorn, Christian AND Kern-Isberner, Gabriele AND Kutsch, Steven",
    	title = "Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions",
    	booktitle = "Frontiers in Artificial Intelligence and Applications",
    	volume = "Volume 285: ECAI 2016",
    	year = 2016,
    	editor = "Kaminka, Gal A. AND Fox, Maria AND Bouquet, Paolo AND Hüllermeier, Eyke AND Dignum, Virginia AND Dignum, Frank AND {van Harmelen}, Frank",
    	pages = "1149--1157",
    	address = "Amsterdam, NL",
    	publisher = "IOS Press"
    }
    

    1. Rudolf Seising and Héctor Allende-Cid (eds.).
      Using Background Knowledge for AGM Belief Revision
      .
      pages 275–294, Springer International Publishing, 2017.
      BibTeX

      @inbook{EichhornKernIsbernerBehring2017,
      	author = "Eichhorn, Christian AND Kern-Isberner, Gabriele AND Behring, Katharina",
      	editor = "Seising, Rudolf AND Allende-Cid, H{\'e}ctor",
      	title = "Using Background Knowledge for AGM Belief Revision",
      	booktitle = "Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing",
      	year = 2017,
      	publisher = "Springer International Publishing",
      	address = "Cham",
      	pages = "275--294"
      }
      

    1. Gaetano Geck, Bas Ketsman, Frank Neven and Thomas Schwentick.
      Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation.
      In 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016. 2016, 9:1–9:17.
      URL, DOI BibTeX

      @inproceedings{DBLP:conf/icdt/GeckKNS16,
      	author = "Gaetano Geck and Bas Ketsman and Frank Neven and Thomas Schwentick",
      	bibsource = "dblp computer science bibliography, http://dblp.org",
      	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/GeckKNS16",
      	booktitle = "19th International Conference on Database Theory, {ICDT} 2016, Bordeaux, France, March 15-18, 2016",
      	crossref = "DBLP:conf/icdt/2016",
      	doi = "10.4230/LIPIcs.ICDT.2016.9",
      	pages = "9:1--9:17",
      	timestamp = "Wed, 23 Mar 2016 10:12:09 +0100",
      	title = "Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation",
      	url = "http://dx.doi.org/10.4230/LIPIcs.ICDT.2016.9",
      	year = 2016,
      	bdsk-url-1 = "http://dx.doi.org/10.4230/LIPIcs.ICDT.2016.9"
      }
      

    1. Marco Ragni, Christian Eichhorn and Gabriele Kern-Isberner.
      Simulating Human Inferences in the Light of New Information: A Formal Analysis.
      In Subbarao Kambhampati (ed.). Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI'16). 2016, 2604–2610.
      BibTeX

      @inproceedings{RagniEichhornKernIsberner2016,
      	author = "Ragni, Marco AND Eichhorn, Christian AND Kern-Isberner, Gabriele",
      	title = "Simulating Human Inferences in the Light of New Information: A Formal Analysis",
      	booktitle = "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI'16)",
      	year = 2016,
      	editor = "Kambhampati, Subbarao",
      	pages = "2604--2610",
      	address = "Palo Alto, CA, USA",
      	publisher = "AAAI Press"
      }
      

    1. Christian Eichhorn, Matthias Fey and Gabriele Kern-Isberner.
      CP- and OCF-networks – a comparison.
      Fuzzy Sets and Systems 298():109 - 127, 2016.
      Abstract Abstract Network approaches are used to structure, partition and display formalisms in the area of knowledge representation as well as decision making. Known approaches are, for instance, OCF-networks, Bayesian style networks where every variable is annotated with a conditional ranking table, and CP-networks, directed acyclic networks with local preferences annotated at each vertex. The structures of these networks are similar, but their semantics seem to be quite different. In this paper we discuss if OCF-networks can be used to model the information of CP-networks and vice versa. To answer this question we investigate which restrictions and conditions have to be presupposed to either of the approaches such that one structure can be used to generate the other.
      URL, DOI BibTeX

      @article{Eichhorn2016109,
      	title = "CP- and OCF-networks – a comparison",
      	journal = "Fuzzy Sets and Systems",
      	volume = 298,
      	number = "",
      	pages = "109 - 127",
      	year = 2016,
      	note = "Special Issue on Graded Logical Approaches and Their Applications",
      	issn = "0165-0114",
      	doi = "http://dx.doi.org/10.1016/j.fss.2016.04.006",
      	url = "http://www.sciencedirect.com/science/article/pii/S0165011416300999",
      	author = "Christian Eichhorn and Matthias Fey and Gabriele Kern-Isberner",
      	keywords = "Preferential models",
      	abstract = "Abstract Network approaches are used to structure, partition and display formalisms in the area of knowledge representation as well as decision making. Known approaches are, for instance, OCF-networks, Bayesian style networks where every variable is annotated with a conditional ranking table, and CP-networks, directed acyclic networks with local preferences annotated at each vertex. The structures of these networks are similar, but their semantics seem to be quite different. In this paper we discuss if OCF-networks can be used to model the information of CP-networks and vice versa. To answer this question we investigate which restrictions and conditions have to be presupposed to either of the approaches such that one structure can be used to generate the other."
      }