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

  1. Vasile Rus and Zdravko Markov (eds.).
    Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22-24, 2017

    . AAAI Press, 2017.
    URL BibTeX

    @proceedings{DBLP:conf/flairs/2017,
    	editor = "Vasile Rus and Zdravko Markov",
    	title = "Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, {FLAIRS} 2017, Marco Island, Florida, USA, May 22-24, 2017",
    	publisher = "{AAAI} Press",
    	year = 2017,
    	url = "http://www.aaai.org/Library/FLAIRS/flairs17contents.php",
    	isbn = "978-1-57735-787-2",
    	timestamp = "Mon, 19 Jun 2017 13:52:59 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/flairs/2017",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Marco Wilhelm and Gabriele Kern-Isberner.
    Typed Model Counting and Its Application to Probabilistic Conditional Reasoning at Maximum Entropy.
    In Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22-24, 2017.. 2017, 748–753.
    URL BibTeX

    @inproceedings{DBLP:conf/flairs/WilhelmK17,
    	author = "Marco Wilhelm and Gabriele Kern{-}Isberner",
    	title = "Typed Model Counting and Its Application to Probabilistic Conditional Reasoning at Maximum Entropy",
    	booktitle = "Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, {FLAIRS} 2017, Marco Island, Florida, USA, May 22-24, 2017.",
    	pages = "748--753",
    	year = 2017,
    	crossref = "DBLP:conf/flairs/2017",
    	url = "https://aaai.org/ocs/index.php/FLAIRS/FLAIRS17/paper/view/15462",
    	timestamp = "Mon, 19 Jun 2017 13:53:19 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/flairs/WilhelmK17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Gabriele Kern-Isberner and Thomas Lukasiewicz.
    Many Facets of Reasoning Under Uncertainty, Inconsistency, Vagueness, and Preferences: A Brief Survey.
    KI 31(1):9–13, 2017.
    URL, DOI BibTeX

    @article{DBLP:journals/ki/Kern-IsbernerL17a,
    	author = "Gabriele Kern{-}Isberner and Thomas Lukasiewicz",
    	title = "Many Facets of Reasoning Under Uncertainty, Inconsistency, Vagueness, and Preferences: {A} Brief Survey",
    	journal = "{KI}",
    	volume = 31,
    	number = 1,
    	pages = "9--13",
    	year = 2017,
    	url = "https://doi.org/10.1007/s13218-016-0480-6",
    	doi = "10.1007/s13218-016-0480-6",
    	timestamp = "Sun, 28 May 2017 13:20:42 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/ki/Kern-IsbernerL17a",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

{bibtex}ie/Kern-IsbernerK17.bib{/bibtex}

  1. Gabriele Kern-Isberner, Igor Douven, Markus Knauff and Henri Prade.
    Reasoning with Imperfect Information and Knowledge.
    Minds and Machines 27(1):7–9, 2017.
    URL, DOI BibTeX

    @article{DBLP:journals/mima/Kern-IsbernerDK17,
    	author = "Gabriele Kern{-}Isberner and Igor Douven and Markus Knauff and Henri Prade",
    	title = "Reasoning with Imperfect Information and Knowledge",
    	journal = "Minds and Machines",
    	volume = 27,
    	number = 1,
    	pages = "7--9",
    	year = 2017,
    	url = "https://doi.org/10.1007/s11023-017-9427-4",
    	doi = "10.1007/s11023-017-9427-4",
    	timestamp = "Tue, 26 Jun 2018 14:10:09 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/mima/Kern-IsbernerDK17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Gabriele Kern-Isberner and Thomas Lukasiewicz.
    Special Issue on Challenges for Reasoning under Uncertainty, Inconsistency, Vagueness, and Preferences - A Topical Snapshot.
    KI 31(1):5–8, 2017.
    URL, DOI BibTeX

    @article{DBLP:journals/ki/Kern-IsbernerL17,
    	author = "Gabriele Kern{-}Isberner and Thomas Lukasiewicz",
    	title = "Special Issue on Challenges for Reasoning under Uncertainty, Inconsistency, Vagueness, and Preferences - {A} Topical Snapshot",
    	journal = "{KI}",
    	volume = 31,
    	number = 1,
    	pages = "5--8",
    	year = 2017,
    	url = "https://doi.org/10.1007/s13218-016-0479-z",
    	doi = "10.1007/s13218-016-0479-z",
    	timestamp = "Tue, 26 Jun 2018 14:09:19 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/ki/Kern-IsbernerL17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Gabriele Kern-Isberner and Daniela Huvermann.
    What kind of independence do we need for multiple iterated belief change?.
    J. Applied Logic 22:91–119, 2017.
    URL, DOI BibTeX

    @article{DBLP:journals/japll/Kern-IsbernerH17,
    	author = "Gabriele Kern{-}Isberner and Daniela Huvermann",
    	title = "What kind of independence do we need for multiple iterated belief change?",
    	journal = "J. Applied Logic",
    	volume = 22,
    	pages = "91--119",
    	year = 2017,
    	url = "https://doi.org/10.1016/j.jal.2016.11.033",
    	doi = "10.1016/j.jal.2016.11.033",
    	timestamp = "Mon, 12 Jun 2017 17:21:14 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/japll/Kern-IsbernerH17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

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