1. Keith Brawner and Vasile Rus (eds.).
    Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018, Melbourne, Florida, USA. May 21-23 2018

    . AAAI Press, 2018.
    URL BibTeX

    @proceedings{DBLP:conf/flairs/2018,
    	editor = "Keith Brawner and Vasile Rus",
    	title = "Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, {FLAIRS} 2018, Melbourne, Florida, {USA.} May 21-23 2018",
    	publisher = "{AAAI} Press",
    	year = 2018,
    	url = "http://www.aaai.org/Library/FLAIRS/flairs18contents.php",
    	timestamp = "Fri, 25 May 2018 11:43:52 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/flairs/2018",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Richard Niland, Christian Eichhorn and Gabriele Kern-Isberner.
    Comparing Approaches to Qualitative Data Mining.
    In Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018, Melbourne, Florida, USA. May 21-23 2018.. 2018, 519–524.
    URL BibTeX

    @inproceedings{DBLP:conf/flairs/NilandEK18,
    	author = "Richard Niland and Christian Eichhorn and Gabriele Kern{-}Isberner",
    	title = "Comparing Approaches to Qualitative Data Mining",
    	booktitle = "Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, {FLAIRS} 2018, Melbourne, Florida, {USA.} May 21-23 2018.",
    	pages = "519--524",
    	year = 2018,
    	crossref = "DBLP:conf/flairs/2018",
    	url = "https://aaai.org/ocs/index.php/FLAIRS/FLAIRS18/paper/view/17674",
    	timestamp = "Fri, 25 May 2018 11:43:52 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/flairs/NilandEK18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Keith Brawner and Vasile Rus (eds.).
    Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018, Melbourne, Florida, USA. May 21-23 2018

    . AAAI Press, 2018.
    URL BibTeX

    @proceedings{DBLP:conf/flairs/2018,
    	editor = "Keith Brawner and Vasile Rus",
    	title = "Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, {FLAIRS} 2018, Melbourne, Florida, {USA.} May 21-23 2018",
    	publisher = "{AAAI} Press",
    	year = 2018,
    	url = "http://www.aaai.org/Library/FLAIRS/flairs18contents.php",
    	timestamp = "Fri, 25 May 2018 11:43:52 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/flairs/2018",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Andre Thevapalan, Gabriele Kern-Isberner, Diana Howey, Christoph Beierle, Ralf Georg Meyer and Mathias Nietzke.
    Decision Support Core System for Cancer Therapies Using ASP-HEX.
    In Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018, Melbourne, Florida, USA. May 21-23 2018.. 2018, 531–536.
    URL BibTeX

    @inproceedings{DBLP:conf/flairs/ThevapalanKHBMN18,
    	author = "Andre Thevapalan and Gabriele Kern{-}Isberner and Diana Howey and Christoph Beierle and Ralf Georg Meyer and Mathias Nietzke",
    	title = "Decision Support Core System for Cancer Therapies Using {ASP-HEX}",
    	booktitle = "Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, {FLAIRS} 2018, Melbourne, Florida, {USA.} May 21-23 2018.",
    	pages = "531--536",
    	year = 2018,
    	crossref = "DBLP:conf/flairs/2018",
    	url = "https://aaai.org/ocs/index.php/FLAIRS/FLAIRS18/paper/view/17656",
    	timestamp = "Fri, 25 May 2018 11:43:52 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/flairs/ThevapalanKHBMN18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Atif Mashkoor, Qing Wang and Bernhard Thalheim (eds.).
    Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday

    . College Publications, 2018.
    BibTeX

    @proceedings{DBLP:conf/birthday/2018schewe,
    	editor = "Atif Mashkoor and Qing Wang and Bernhard Thalheim",
    	title = "Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday",
    	publisher = "College Publications",
    	year = 2018,
    	isbn = "978-1-84890-276-3",
    	timestamp = "Tue, 24 Jul 2018 17:41:25 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/birthday/2018schewe",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Christoph Beierle, Steven Kutsch and Gabriele Kern-Isberner.
    From Concepts in Non-Monotonic Reasoning to High-Level Implementations Using Abstract State Machines and Functional Programming.
    In Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday. 2018, 286–310.
    BibTeX

    @inproceedings{DBLP:conf/birthday/BeierleKK18,
    	author = "Christoph Beierle and Steven Kutsch and Gabriele Kern{-}Isberner",
    	title = "From Concepts in Non-Monotonic Reasoning to High-Level Implementations Using Abstract State Machines and Functional Programming",
    	booktitle = "Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday",
    	pages = "286--310",
    	year = 2018,
    	crossref = "DBLP:conf/birthday/2018schewe",
    	timestamp = "Tue, 24 Jul 2018 17:47:34 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/birthday/BeierleKK18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Frank Trollmann and Anni-Yasmin Turhan (eds.).
    KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings

    11117. Springer, 2018.
    URL, DOI BibTeX

    @proceedings{DBLP:conf/ki/2018,
    	editor = "Frank Trollmann and Anni{-}Yasmin Turhan",
    	title = "{KI} 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings",
    	series = "Lecture Notes in Computer Science",
    	volume = 11117,
    	publisher = "Springer",
    	year = 2018,
    	url = "https://doi.org/10.1007/978-3-030-00111-7",
    	doi = "10.1007/978-3-030-00111-7",
    	isbn = "978-3-030-00110-0",
    	timestamp = "Mon, 17 Sep 2018 15:49:43 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/ki/2018",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Ingo J Timm, Steffen Staab, Michael Siebers, Claudia Schon, Ute Schmid, Kai Sauerwald, Lukas Reuter, Marco Ragni, Claudia Niederée, Heiko Maus, Gabriele Kern-Isberner, Christian Jilek, Paulina Friemann, Thomas Eiter, Andreas Dengel, Hannah Dames, Tanja Bock, Jan Ole Berndt and Christoph Beierle.
    Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges.
    In KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings. 2018, 357–365.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ki/TimmSSSSS0RNMKJ18,
    	author = "Ingo J. Timm and Steffen Staab and Michael Siebers and Claudia Schon and Ute Schmid and Kai Sauerwald and Lukas Reuter and Marco Ragni and Claudia Nieder{\'{e}}e and Heiko Maus and Gabriele Kern{-}Isberner and Christian Jilek and Paulina Friemann and Thomas Eiter and Andreas Dengel and Hannah Dames and Tanja Bock and Jan Ole Berndt and Christoph Beierle",
    	title = "Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges",
    	booktitle = "{KI} 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings",
    	pages = "357--365",
    	year = 2018,
    	crossref = "DBLP:conf/ki/2018",
    	url = "https://doi.org/10.1007/978-3-030-00111-7\_30",
    	doi = "10.1007/978-3-030-00111-7\_30",
    	timestamp = "Mon, 17 Sep 2018 15:55:32 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/ki/TimmSSSSS0RNMKJ18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Frank Trollmann and Anni-Yasmin Turhan (eds.).
    KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings

    11117. Springer, 2018.
    URL, DOI BibTeX

    @proceedings{DBLP:conf/ki/2018,
    	editor = "Frank Trollmann and Anni{-}Yasmin Turhan",
    	title = "{KI} 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings",
    	series = "Lecture Notes in Computer Science",
    	volume = 11117,
    	publisher = "Springer",
    	year = 2018,
    	url = "https://doi.org/10.1007/978-3-030-00111-7",
    	doi = "10.1007/978-3-030-00111-7",
    	isbn = "978-3-030-00110-0",
    	timestamp = "Mon, 17 Sep 2018 15:49:43 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/ki/2018",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Christoph Beierle, Tanja Bock, Gabriele Kern-Isberner, Marco Ragni and Kai Sauerwald.
    Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management.
    In KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings. 2018, 366–373.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ki/BeierleBKRS18,
    	author = "Christoph Beierle and Tanja Bock and Gabriele Kern{-}Isberner and Marco Ragni and Kai Sauerwald",
    	title = "Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management",
    	booktitle = "{KI} 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings",
    	pages = "366--373",
    	year = 2018,
    	crossref = "DBLP:conf/ki/2018",
    	url = "https://doi.org/10.1007/978-3-030-00111-7\_31",
    	doi = "10.1007/978-3-030-00111-7\_31",
    	timestamp = "Wed, 03 Oct 2018 11:11:26 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/ki/BeierleBKRS18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Frank Trollmann and Anni-Yasmin Turhan (eds.).
    KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings

    11117. Springer, 2018.
    URL, DOI BibTeX

    @proceedings{DBLP:conf/ki/2018,
    	editor = "Frank Trollmann and Anni{-}Yasmin Turhan",
    	title = "{KI} 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings",
    	series = "Lecture Notes in Computer Science",
    	volume = 11117,
    	publisher = "Springer",
    	year = 2018,
    	url = "https://doi.org/10.1007/978-3-030-00111-7",
    	doi = "10.1007/978-3-030-00111-7",
    	isbn = "978-3-030-00110-0",
    	timestamp = "Mon, 17 Sep 2018 15:49:43 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/ki/2018",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Gavin Rens, Thomas Andreas Meyer, Gabriele Kern-Isberner and Abhaya Nayak.
    Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence.
    In KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings. 2018, 343–356.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ki/RensMKN18,
    	author = "Gavin Rens and Thomas Andreas Meyer and Gabriele Kern{-}Isberner and Abhaya Nayak",
    	title = "Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence",
    	booktitle = "{KI} 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings",
    	pages = "343--356",
    	year = 2018,
    	crossref = "DBLP:conf/ki/2018",
    	url = "https://doi.org/10.1007/978-3-030-00111-7\_29",
    	doi = "10.1007/978-3-030-00111-7\_29",
    	timestamp = "Sat, 03 Nov 2018 12:37:31 +0100",
    	biburl = "https://dblp.org/rec/bib/conf/ki/RensMKN18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner and Steven Kutsch.
    Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem.
    Ann. Math. Artif. Intell. 83(3-4):247–275, 2018.
    URL, DOI BibTeX

    @article{DBLP:journals/amai/BeierleEKK18,
    	author = "Christoph Beierle and Christian Eichhorn and Gabriele Kern{-}Isberner and Steven Kutsch",
    	title = "Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem",
    	journal = "Ann. Math. Artif. Intell.",
    	volume = 83,
    	number = "3-4",
    	pages = "247--275",
    	year = 2018,
    	url = "https://doi.org/10.1007/s10472-017-9571-9",
    	doi = "10.1007/s10472-017-9571-9",
    	timestamp = "Mon, 30 Jul 2018 15:08:06 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/amai/BeierleEKK18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Chuck Kalish, Martina A Rau, Xiaojin (Jerry) Zhu and Timothy T Rogers (eds.).
    Proceedings of the 40th Annual Meeting of the Cognitive Science Society, CogSci 2018, Madison, WI, USA, July 25-28, 2018

    . cognitivesciencesociety.org, 2018.
    URL BibTeX

    @proceedings{DBLP:conf/cogsci/2018,
    	editor = "Chuck Kalish and Martina A. Rau and Xiaojin (Jerry) Zhu and Timothy T. Rogers",
    	title = "Proceedings of the 40th Annual Meeting of the Cognitive Science Society, CogSci 2018, Madison, WI, USA, July 25-28, 2018",
    	publisher = "cognitivesciencesociety.org",
    	year = 2018,
    	url = "https://mindmodeling.org/cogsci2018/",
    	isbn = "978-0-9911967-8-4",
    	timestamp = "Tue, 16 Apr 2019 12:48:59 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/cogsci/2018",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Marco Ragni, Kai Sauerwald, Tanja Bock, Gabriele Kern-Isberner, Paulina Friemann and Christoph Beierle.
    Towards a Formal Foundation of Cognitive Architectures.
    In Proceedings of the 40th Annual Meeting of the Cognitive Science Society, CogSci 2018, Madison, WI, USA, July 25-28, 2018. 2018.
    URL BibTeX

    @inproceedings{DBLP:conf/cogsci/RagniSBKFB18,
    	author = "Marco Ragni and Kai Sauerwald and Tanja Bock and Gabriele Kern{-}Isberner and Paulina Friemann and Christoph Beierle",
    	title = "Towards a Formal Foundation of Cognitive Architectures",
    	booktitle = "Proceedings of the 40th Annual Meeting of the Cognitive Science Society, CogSci 2018, Madison, WI, USA, July 25-28, 2018",
    	year = 2018,
    	crossref = "DBLP:conf/cogsci/2018",
    	url = "https://mindmodeling.org/cogsci2018/papers/0444/index.html",
    	timestamp = "Tue, 16 Apr 2019 12:50:03 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/cogsci/RagniSBKFB18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

2017

  1. Corinna Krüger, Daan Apeldoorn and Gabriele Kern-Isberner.
    Comparing Answer Set Programming and Hierarchical Knowledge Bases Regarding Comprehensibility and Reasoning Efficiency in the Context of Agents.
    In Proceedings of the 30th International Workshop on Qualitative Reasoning (QR 2017) at International Joint Conference on Artificial Intelligence (IJCAI 2017) in Melbourne, Australia. 2017.
    URL BibTeX

    @inproceedings{KruegerApeldoornKernIsberner2017,
    	author = {Kr\"uger, Corinna and Apeldoorn, Daan and Kern-Isberner, Gabriele},
    	title = "Comparing Answer Set Programming and Hierarchical Knowledge Bases Regarding Comprehensibility and Reasoning Efficiency in the Context of Agents",
    	booktitle = "Proceedings of the 30th International Workshop on Qualitative Reasoning (QR 2017) at International Joint Conference on Artificial Intelligence (IJCAI 2017) in Melbourne, Australia",
    	year = 2017,
    	address = "Evanston, Illinois",
    	publisher = "Northwestern University",
    	url = "http://qrg.northwestern.edu/qr2017/papers/QR2017_paper_11.pdf"
    }
    

  1. Daan Apeldoorn and Vanessa Volz.
    Measuring Strategic Depth in Games Using Hierarchical Knowledge Bases.
    In 2017 IEEE Conference on Computational Intelligence and Games (CIG). 2017, 9–16.
    URL BibTeX

    @inproceedings{ApeldoornVolz2017,
    	author = "Apeldoorn, Daan and Volz, Vanessa",
    	title = "Measuring Strategic Depth in Games Using Hierarchical Knowledge Bases",
    	booktitle = "2017 IEEE Conference on Computational Intelligence and Games (CIG)",
    	pages = "9--16",
    	year = 2017,
    	address = "New York",
    	publisher = "IEEE",
    	url = "http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8080409"
    }
    

  1. Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese and Gabriele Kern-Isberner.
    A Framework for Versatile Knowledge and Belief Management Operations in a Probabilistic Conditional Logic.
    FLAP 4(7), 2017.
    URL BibTeX

    @article{DBLP:journals/flap/BeierleFPVK17,
    	author = "Christoph Beierle and Marc Finthammer and Nico Potyka and Julian Varghese and Gabriele Kern{-}Isberner",
    	title = "A Framework for Versatile Knowledge and Belief Management Operations in a Probabilistic Conditional Logic",
    	journal = "{FLAP}",
    	volume = 4,
    	number = 7,
    	year = 2017,
    	url = "http://www.collegepublications.co.uk/downloads/ifcolog00016.pdf",
    	timestamp = "Mon, 22 Oct 2018 15:57:55 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/flap/BeierleFPVK17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Gabriele Kern-Isberner, Marco Wilhelm and Christoph Beierle.
    Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory.
    Ann. Math. Artif. Intell. 79(1-3):163–179, 2017.
    URL, DOI BibTeX

    @article{DBLP:journals/amai/Kern-IsbernerWB17,
    	author = "Gabriele Kern{-}Isberner and Marco Wilhelm and Christoph Beierle",
    	title = {Probabilistic knowledge representation using the principle of maximum entropy and Gr{\"{o}}bner basis theory},
    	journal = "Ann. Math. Artif. Intell.",
    	volume = 79,
    	number = "1-3",
    	pages = "163--179",
    	year = 2017,
    	url = "https://doi.org/10.1007/s10472-015-9457-7",
    	doi = "10.1007/s10472-015-9457-7",
    	timestamp = "Sun, 28 May 2017 13:20:59 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/amai/Kern-IsbernerWB17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Christoph Beierle, Tobias Falke, Steven Kutsch and Gabriele Kern-Isberner.
    System Z\(^{\mboxFO}\): Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases.
    Int. J. Approx. Reasoning 90:120–143, 2017.
    URL, DOI BibTeX

    @article{DBLP:journals/ijar/BeierleFKK17,
    	author = "Christoph Beierle and Tobias Falke and Steven Kutsch and Gabriele Kern{-}Isberner",
    	title = "System Z\({}^{\mbox{FO}}\): Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases",
    	journal = "Int. J. Approx. Reasoning",
    	volume = 90,
    	pages = "120--143",
    	year = 2017,
    	url = "https://doi.org/10.1016/j.ijar.2017.07.005",
    	doi = "10.1016/j.ijar.2017.07.005",
    	timestamp = "Tue, 10 Oct 2017 15:05:12 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/ijar/BeierleFKK17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Christoph Beierle, Bettina Sader, Christian Eichhorn, Gabriele Kern-Isberner, Ralf Georg Meyer and Mathias Nietzke.
    On the Ontological Modelling of Co-Medication and Drug Interactions in Medical Cancer Therapy Regimens for a Clinical Decision Support System.
    In Proceedings of the 30th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2017). 2017, 105-110.
    BibTeX

    @inproceedings{BeierleSaderEichhornKernIsbernerMeyerNietzke2017CBMS,
    	author = "Beierle, Christoph and Sader, Bettina and Eichhorn, Christian and Kern-Isberner, Gabriele and Meyer, Ralf Georg and Nietzke, Mathias",
    	title = "On the Ontological Modelling of Co-Medication and Drug Interactions in Medical Cancer Therapy Regimens for a Clinical Decision Support System",
    	booktitle = "Proceedings of the 30th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2017)",
    	pages = "105-110",
    	year = 2017,
    	publisher = "IEEE Press",
    	address = "New York, NY, USA"
    }
    

  1. Christoph Beierle, Christian Eichhorn and Gabriele Kern-Isberner.
    On Transformations and Normal Forms of Conditional Knowledge Bases.
    In Salem Benferhat, Karim Tabia and Moonis Ali (eds.). Advances in Artificial Intelligence: From Theory to Practice: 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I. 2017, 488–494.
    URL BibTeX

    @inproceedings{BeierleEichhornKernIsberner2017,
    	author = "Beierle, Christoph AND Eichhorn, Christian AND Kern-Isberner, Gabriele",
    	editor = "Benferhat, Salem AND Tabia, Karim AND Ali, Moonis",
    	title = "On Transformations and Normal Forms of Conditional Knowledge Bases",
    	booktitle = "Advances in Artificial Intelligence: From Theory to Practice: 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I",
    	year = 2017,
    	publisher = "Springer International Publishing",
    	address = "Cham, DE",
    	pages = "488--494",
    	url = "https://link.springer.com/chapter/10.1007/978-3-319-60042-0_53"
    }
    

  1. Christoph Beierle, Christian Eichhorn and Gabriele Kern-Isberner.
    A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases.
    In Alessandro Antonucci, Laurence Cholvy and Odile Papini (eds.). Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings. Springer International Publishing, 2017, pages 236–245.
    URL BibTeX

    @incollection{BeierleEichhornKernIsberner2017b,
    	author = "Beierle, Christoph AND Eichhorn, Christian AND Kern-Isberner, Gabriele",
    	editor = "Antonucci, Alessandro AND Cholvy, Laurence AND Papini, Odile",
    	title = "{A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases}",
    	booktitle = "Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10--14, 2017, Proceedings",
    	year = 2017,
    	publisher = "Springer International Publishing",
    	address = "Cham, DE",
    	pages = "236--245",
    	url = "https://link.springer.com/chapter/10.1007/978-3-319-61581-3_22"
    }
    

  1. Marco Wilhelm, Christian Eichhorn, Richard Niland and Gabriele Kern-Isberner.
    A semantics for conditionals with default negation.
    In Alessandro Antonucci, Laurence Cholvy and Odile Papini (eds.). Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings. Springer International Publishing, 2017, pages 236–245.
    URL BibTeX

    @incollection{BeierleEichhornKernIsberner2017b,
    	author = "Wilhelm, Marco AND Eichhorn, Christian AND Niland, Richard AND Kern-Isberner, Gabriele",
    	editor = "Antonucci, Alessandro AND Cholvy, Laurence AND Papini, Odile",
    	title = "{A semantics for conditionals with default negation}",
    	booktitle = "Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10--14, 2017, Proceedings",
    	year = 2017,
    	publisher = "Springer International Publishing",
    	address = "Cham, DE",
    	pages = "236--245",
    	url = "https://link.springer.com/chapter/10.1007/978-3-319-61581-3_24"
    }
    

  1. Andrew S Gordon, Rob Miller and György Turán (eds.).
    Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, COMMONSENSE 2017, London, UK, November 6-8, 2017

    2052. CEUR-WS.org, 2018.
    URL BibTeX

    @proceedings{DBLP:conf/commonsense/2017,
    	editor = {Andrew S. Gordon and Rob Miller and Gy{\"{o}}rgy Tur{\'{a}}n},
    	title = "Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, {COMMONSENSE} 2017, London, UK, November 6-8, 2017",
    	series = "{CEUR} Workshop Proceedings",
    	volume = 2052,
    	publisher = "CEUR-WS.org",
    	year = 2018,
    	url = "http://ceur-ws.org/Vol-2052",
    	urn = "urn:nbn:de:0074-2052-7",
    	timestamp = "Mon, 29 Jan 2018 18:23:49 +0100",
    	biburl = "https://dblp.org/rec/bib/conf/commonsense/2017",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Daan Apeldoorn and Gabriele Kern-Isberner.
    An Agent-Based Learning Approach for Finding and Exploiting Heuristics in Unknown Environments.
    In Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, COMMONSENSE 2017, London, UK, November 6-8, 2017.. 2017.
    URL BibTeX

    @inproceedings{DBLP:conf/commonsense/ApeldoornK17,
    	author = "Daan Apeldoorn and Gabriele Kern{-}Isberner",
    	title = "An Agent-Based Learning Approach for Finding and Exploiting Heuristics in Unknown Environments",
    	booktitle = "Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, {COMMONSENSE} 2017, London, UK, November 6-8, 2017.",
    	year = 2017,
    	crossref = "DBLP:conf/commonsense/2017",
    	url = "http://ceur-ws.org/Vol-2052/paper1.pdf",
    	timestamp = "Mon, 29 Jan 2018 18:27:20 +0100",
    	biburl = "https://dblp.org/rec/bib/conf/commonsense/ApeldoornK17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Daan Apeldoorn and Gabriele Kern-Isberner.
    Towards an Understanding of What is Learned: Extracting Multi-Abstraction-Level Knowledge from Learning Agents.
    In Vasile Rus and Zdravko Markov (eds.). Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference. 2017, 764–767.
    URL BibTeX

    @inproceedings{ApeldoornKernIsberner2017a,
    	author = "Apeldoorn, Daan and Kern-Isberner, Gabriele",
    	title = "Towards an Understanding of What is Learned: Extracting Multi-Abstraction-Level Knowledge from Learning Agents",
    	booktitle = "Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference",
    	pages = "764--767",
    	year = 2017,
    	editor = "Rus, Vasile and Markov, Zdravko",
    	address = "Palo Alto, California",
    	publisher = "AAAI Press",
    	url = "https://aaai.org/ocs/index.php/FLAIRS/FLAIRS17/paper/view/15510/15038"
    }