1. Samir Datta, Anish Mukherjee, Thomas Schwentick, Nils Vortmeier and Thomas Zeume.
    A Strategy for Dynamic Programs: Start over and Muddle Through.
    In Ioannis Chatzigiannakis, Piotr Indyk, Fabian Kuhn and Anca Muscholl (eds.). 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland 80. 2017, 98:1–98:14.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icalp/Datta0SVZ17,
    	author = "Samir Datta and Anish Mukherjee and Thomas Schwentick and Nils Vortmeier and Thomas Zeume",
    	title = "A Strategy for Dynamic Programs: Start over and Muddle Through",
    	booktitle = "44th International Colloquium on Automata, Languages, and Programming, {ICALP} 2017, July 10-14, 2017, Warsaw, Poland",
    	pages = "98:1--98:14",
    	year = 2017,
    	editor = "Ioannis Chatzigiannakis and Piotr Indyk and Fabian Kuhn and Anca Muscholl",
    	series = "LIPIcs",
    	volume = 80,
    	publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
    	isbn = "978-3-95977-041-5",
    	url = "https://doi.org/10.4230/LIPIcs.ICALP.2017.98",
    	doi = "10.4230/LIPIcs.ICALP.2017.98",
    	timestamp = "Tue, 18 Jul 2017 10:55:27 +0200",
    	biburl = "http://dblp.org/rec/bib/conf/icalp/Datta0SVZ17",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Wim Martens, Frank Neven, Matthias Niewerth and Thomas Schwentick.
    BonXai: Combining the Simplicity of DTD with the Expressiveness of XML Schema.
    ACM Trans. Database Syst. 42(3):15:1–15:42, 2017.
    URL, DOI BibTeX

    @article{DBLP:journals/tods/MartensNNS17,
    	author = "Wim Martens and Frank Neven and Matthias Niewerth and Thomas Schwentick",
    	title = "BonXai: Combining the Simplicity of {DTD} with the Expressiveness of {XML} Schema",
    	journal = "{ACM} Trans. Database Syst.",
    	volume = 42,
    	number = 3,
    	pages = "15:1--15:42",
    	year = 2017,
    	url = "https://doi.org/10.1145/3105960",
    	doi = "10.1145/3105960",
    	timestamp = "Tue, 06 Nov 2018 12:51:47 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/tods/MartensNNS17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Thomas Zeume and Thomas Schwentick.
    Dynamic conjunctive queries.
    J. Comput. Syst. Sci. 88:3–26, 2017.
    URL arXiv, DOI BibTeX

    @article{DBLP:journals/jcss/ZeumeS17,
    	author = "Thomas Zeume and Thomas Schwentick",
    	title = "Dynamic conjunctive queries",
    	journal = "J. Comput. Syst. Sci.",
    	volume = 88,
    	pages = "3--26",
    	year = 2017,
    	url = "https://doi.org/10.1016/j.jcss.2017.03.014",
    	doi = "10.1016/j.jcss.2017.03.014",
    	arxiv = "https://arxiv.org/abs/1704.01286",
    	timestamp = "Fri, 14 Jul 2017 16:39:06 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/jcss/ZeumeS17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Martin Schuster and Thomas Schwentick.
    Games for Active XML Revisited.
    Theory Comput. Syst. 61(1):84–155, 2017.
    URL arXiv, DOI BibTeX

    @article{DBLP:journals/mst/SchusterS17,
    	author = "Martin Schuster and Thomas Schwentick",
    	title = "Games for Active {XML} Revisited",
    	journal = "Theory Comput. Syst.",
    	volume = 61,
    	number = 1,
    	pages = "84--155",
    	year = 2017,
    	url = "https://doi.org/10.1007/s00224-016-9682-4",
    	doi = "10.1007/s00224-016-9682-4",
    	arxiv = "https://arxiv.org/abs/1412.5910",
    	timestamp = "Thu, 01 Jun 2017 18:57:38 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/mst/SchusterS17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Tom J Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven and Thomas Schwentick.
    Reasoning on data partitioning for single-round multi-join evaluation in massively parallel systems.
    Commun. ACM 60(3):93–100, 2017.
    URL, DOI BibTeX

    @article{DBLP:journals/cacm/AmelootGKNS17,
    	author = "Tom J. Ameloot and Gaetano Geck and Bas Ketsman and Frank Neven and Thomas Schwentick",
    	title = "Reasoning on data partitioning for single-round multi-join evaluation in massively parallel systems",
    	journal = "Commun. {ACM}",
    	volume = 60,
    	number = 3,
    	pages = "93--100",
    	year = 2017,
    	url = "https://doi.org/10.1145/3041063",
    	doi = "10.1145/3041063",
    	timestamp = "Tue, 06 Nov 2018 12:51:41 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/cacm/AmelootGKNS17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

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