2021

2020

2019

2018

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

2017

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

2016

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