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. Christof Löding and Christopher Spinrath.
    Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words.
    In Ralf Klasing and Marc Zeitoun (eds.). Fundamentals of Computation Theory: 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings. 2017, 341–354.
    DOI BibTeX

    @inproceedings{FCT2017,
    	author = {L{\"o}ding, Christof and Spinrath, Christopher},
    	title = "Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words",
    	booktitle = "Fundamentals of Computation Theory: 21st International Symposium, FCT 2017, Bordeaux, France, September 11--13, 2017, Proceedings",
    	year = 2017,
    	editor = "Klasing, Ralf and Zeitoun, Marc",
    	pages = "341--354",
    	publisher = "Springer Berlin Heidelberg",
    	doi = "10.1007/978-3-662-55751-8_27",
    	file = "FCT2017.pdf:mine/FCT2017.pdf:PDF",
    	isbn = "978-3-662-55751-8",
    	owner = "spinrath"
    }
    

  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. 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017

    . IEEE Computer Society, 2017.
    URL BibTeX

    @proceedings{DBLP:conf/ismvl/2017,
    	title = "47th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2017, Novi Sad, Serbia, May 22-24, 2017",
    	publisher = "{IEEE} Computer Society",
    	year = 2017,
    	url = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7964634",
    	isbn = "978-1-5090-5496-1",
    	timestamp = "Wed, 12 Jul 2017 08:16:27 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/ismvl/2017",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Claudio Moraga, Radomir S Stankovic, Milena Stankovic and Suzana Stojkovic.
    On Fixed Points of the Reed-Muller-Fourier Transform.
    In 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017. 2017, 55–60.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/MoragaSSS17,
    	author = "Claudio Moraga and Radomir S. Stankovic and Milena Stankovic and Suzana Stojkovic",
    	title = "On Fixed Points of the Reed-Muller-Fourier Transform",
    	booktitle = "47th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2017, Novi Sad, Serbia, May 22-24, 2017",
    	pages = "55--60",
    	year = 2017,
    	crossref = "DBLP:conf/ismvl/2017",
    	url = "https://doi.org/10.1109/ISMVL.2017.36",
    	doi = "10.1109/ISMVL.2017.36",
    	timestamp = "Wed, 12 Jul 2017 08:30:35 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/ismvl/MoragaSSS17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    


  1. 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017

    . IEEE Computer Society, 2017.
    URL BibTeX

    @proceedings{DBLP:conf/ismvl/2017,
    	title = "47th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2017, Novi Sad, Serbia, May 22-24, 2017",
    	publisher = "{IEEE} Computer Society",
    	year = 2017,
    	url = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7964634",
    	isbn = "978-1-5090-5496-1",
    	timestamp = "Wed, 12 Jul 2017 08:16:27 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/ismvl/2017",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Claudio Moraga and Radomir S Stankovic.
    Properties of the Two-Sided RMF Spectrum of Matrices.
    In 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017. 2017, 67–72.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/MoragaS17,
    	author = "Claudio Moraga and Radomir S. Stankovic",
    	title = "Properties of the Two-Sided {RMF} Spectrum of Matrices",
    	booktitle = "47th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2017, Novi Sad, Serbia, May 22-24, 2017",
    	pages = "67--72",
    	year = 2017,
    	crossref = "DBLP:conf/ismvl/2017",
    	url = "https://doi.org/10.1109/ISMVL.2017.37",
    	doi = "10.1109/ISMVL.2017.37",
    	timestamp = "Wed, 13 Feb 2019 11:42:21 +0100",
    	biburl = "https://dblp.org/rec/bib/conf/ismvl/MoragaS17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    


  1. 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017

    . IEEE Computer Society, 2017.
    URL BibTeX

    @proceedings{DBLP:conf/ismvl/2017,
    	title = "47th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2017, Novi Sad, Serbia, May 22-24, 2017",
    	publisher = "{IEEE} Computer Society",
    	year = 2017,
    	url = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7964634",
    	isbn = "978-1-5090-5496-1",
    	timestamp = "Wed, 12 Jul 2017 08:16:27 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/ismvl/2017",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Milena Stankovic, Claudio Moraga and Radomir S Stankovic.
    Some Spectral Invariant Operations for Multiple-Valued Functions with Homogeneous Disjoint Products in the Polynomial Form.
    In 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017. 2017, 61–66.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/StankovicMS17,
    	author = "Milena Stankovic and Claudio Moraga and Radomir S. Stankovic",
    	title = "Some Spectral Invariant Operations for Multiple-Valued Functions with Homogeneous Disjoint Products in the Polynomial Form",
    	booktitle = "47th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2017, Novi Sad, Serbia, May 22-24, 2017",
    	pages = "61--66",
    	year = 2017,
    	crossref = "DBLP:conf/ismvl/2017",
    	url = "https://doi.org/10.1109/ISMVL.2017.47",
    	doi = "10.1109/ISMVL.2017.47",
    	timestamp = "Wed, 12 Jul 2017 08:30:35 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/ismvl/StankovicMS17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    


  1. 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017

    . IEEE Computer Society, 2017.
    URL BibTeX

    @proceedings{DBLP:conf/ismvl/2017,
    	title = "47th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2017, Novi Sad, Serbia, May 22-24, 2017",
    	publisher = "{IEEE} Computer Society",
    	year = 2017,
    	url = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7964634",
    	isbn = "978-1-5090-5496-1",
    	timestamp = "Wed, 12 Jul 2017 08:16:27 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/ismvl/2017",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Pawel Kerntopf, Krzysztof Podlaski, Claudio Moraga and Radomir S Stankovic.
    Study of Reversible Ternary Functions with Homogeneous Component Functions.
    In 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017. 2017, 191–196.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/KerntopfPMS17,
    	author = "Pawel Kerntopf and Krzysztof Podlaski and Claudio Moraga and Radomir S. Stankovic",
    	title = "Study of Reversible Ternary Functions with Homogeneous Component Functions",
    	booktitle = "47th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2017, Novi Sad, Serbia, May 22-24, 2017",
    	pages = "191--196",
    	year = 2017,
    	crossref = "DBLP:conf/ismvl/2017",
    	url = "https://doi.org/10.1109/ISMVL.2017.54",
    	doi = "10.1109/ISMVL.2017.54",
    	timestamp = "Wed, 12 Jul 2017 08:30:35 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/ismvl/KerntopfPMS17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    


  1. 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017

    . IEEE Computer Society, 2017.
    URL BibTeX

    @proceedings{DBLP:conf/ismvl/2017,
    	title = "47th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2017, Novi Sad, Serbia, May 22-24, 2017",
    	publisher = "{IEEE} Computer Society",
    	year = 2017,
    	url = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7964634",
    	isbn = "978-1-5090-5496-1",
    	timestamp = "Wed, 12 Jul 2017 08:16:27 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/ismvl/2017",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Radomir S Stankovic, Milena Stankovic, Jaakko T Astola and Claudio Moraga.
    Towards the Gibbs Characterization of a Class of Quaternary Bent Functions.
    In 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017. 2017, 73–78.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/StankovicSAM17,
    	author = "Radomir S. Stankovic and Milena Stankovic and Jaakko T. Astola and Claudio Moraga",
    	title = "Towards the Gibbs Characterization of a Class of Quaternary Bent Functions",
    	booktitle = "47th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2017, Novi Sad, Serbia, May 22-24, 2017",
    	pages = "73--78",
    	year = 2017,
    	crossref = "DBLP:conf/ismvl/2017",
    	url = "https://doi.org/10.1109/ISMVL.2017.39",
    	doi = "10.1109/ISMVL.2017.39",
    	timestamp = "Wed, 13 Feb 2019 11:42:21 +0100",
    	biburl = "https://dblp.org/rec/bib/conf/ismvl/StankovicSAM17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

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