1. 48th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2018, Linz, Austria, May 16-18, 2018

    . IEEE Computer Society, 2018.
    URL BibTeX

    @proceedings{DBLP:conf/ismvl/2018,
    	title = "48th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2018, Linz, Austria, May 16-18, 2018",
    	publisher = "{IEEE} Computer Society",
    	year = 2018,
    	url = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8415927",
    	isbn = "978-1-5386-4464-5",
    	timestamp = "Wed, 13 Feb 2019 11:42:21 +0100",
    	biburl = "https://dblp.org/rec/bib/conf/ismvl/2018",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Radomir S Stankovic, Milena Stankovic, Jaakko Astola and Claudio Moraga.
    Quaternary Generalized Boolean Bent Functions Obtained Through Permutation of Binary Boolean Bent Functions.
    In 48th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2018, Linz, Austria, May 16-18, 2018. 2018, 1–6.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/StankovicSAM18,
    	author = "Radomir S. Stankovic and Milena Stankovic and Jaakko Astola and Claudio Moraga",
    	title = "Quaternary Generalized Boolean Bent Functions Obtained Through Permutation of Binary Boolean Bent Functions",
    	booktitle = "48th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2018, Linz, Austria, May 16-18, 2018",
    	pages = "1--6",
    	year = 2018,
    	crossref = "DBLP:conf/ismvl/2018",
    	url = "https://doi.org/10.1109/ISMVL.2018.00009",
    	doi = "10.1109/ISMVL.2018.00009",
    	timestamp = "Wed, 13 Feb 2019 11:42:21 +0100",
    	biburl = "https://dblp.org/rec/bib/conf/ismvl/StankovicSAM18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    


  1. 48th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2018, Linz, Austria, May 16-18, 2018

    . IEEE Computer Society, 2018.
    URL BibTeX

    @proceedings{DBLP:conf/ismvl/2018,
    	title = "48th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2018, Linz, Austria, May 16-18, 2018",
    	publisher = "{IEEE} Computer Society",
    	year = 2018,
    	url = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8415927",
    	isbn = "978-1-5386-4464-5",
    	timestamp = "Wed, 13 Feb 2019 11:42:21 +0100",
    	biburl = "https://dblp.org/rec/bib/conf/ismvl/2018",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Pawel Kerntopf, Radomir S Stankovic, Krzysztof Podlaski and Claudio Moraga.
    Ternary/MV Reversible Functions with Component Functions from Different Equivalence Classes.
    In 48th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2018, Linz, Austria, May 16-18, 2018. 2018, 109–114.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/KerntopfSPM18,
    	author = "Pawel Kerntopf and Radomir S. Stankovic and Krzysztof Podlaski and Claudio Moraga",
    	title = "Ternary/MV Reversible Functions with Component Functions from Different Equivalence Classes",
    	booktitle = "48th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2018, Linz, Austria, May 16-18, 2018",
    	pages = "109--114",
    	year = 2018,
    	crossref = "DBLP:conf/ismvl/2018",
    	url = "https://doi.org/10.1109/ISMVL.2018.00027",
    	doi = "10.1109/ISMVL.2018.00027",
    	timestamp = "Wed, 13 Feb 2019 11:42:21 +0100",
    	biburl = "https://dblp.org/rec/bib/conf/ismvl/KerntopfSPM18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Flavio Ferrarotti and Stefan Woltran (eds.).
    Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings

    10833. Springer, 2018.
    URL, DOI BibTeX

    @proceedings{DBLP:conf/foiks/2018,
    	editor = "Flavio Ferrarotti and Stefan Woltran",
    	title = "Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings",
    	series = "Lecture Notes in Computer Science",
    	volume = 10833,
    	publisher = "Springer",
    	year = 2018,
    	url = "https://doi.org/10.1007/978-3-319-90050-6",
    	doi = "10.1007/978-3-319-90050-6",
    	isbn = "978-3-319-90049-0",
    	timestamp = "Mon, 07 May 2018 12:28:26 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/foiks/2018",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer and Christoph Beierle.
    A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies.
    In Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings. 2018, 379–399.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/foiks/WilhelmKFB18,
    	author = "Marco Wilhelm and Gabriele Kern{-}Isberner and Marc Finthammer and Christoph Beierle",
    	title = "A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies",
    	booktitle = "Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings",
    	pages = "379--399",
    	year = 2018,
    	crossref = "DBLP:conf/foiks/2018",
    	url = "https://doi.org/10.1007/978-3-319-90050-6\_21",
    	doi = "10.1007/978-3-319-90050-6\_21",
    	timestamp = "Mon, 07 May 2018 12:30:10 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/foiks/WilhelmKFB18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub and Steffen Schieweck.
    Advanced Solving Technology for Dynamic and Reactive Applications.
    KI 32(2-3):199–200, 2018.
    URL, DOI BibTeX

    @article{DBLP:journals/ki/BrewkaEKOORSS18,
    	author = "Gerhard Brewka and Stefan Ellmauthaler and Gabriele Kern{-}Isberner and Philipp Obermeier and Max Ostrowski and Javier Romero and Torsten Schaub and Steffen Schieweck",
    	title = "Advanced Solving Technology for Dynamic and Reactive Applications",
    	journal = "{KI}",
    	volume = 32,
    	number = "2-3",
    	pages = "199--200",
    	year = 2018,
    	url = "https://doi.org/10.1007/s13218-018-0538-8",
    	doi = "10.1007/s13218-018-0538-8",
    	timestamp = "Thu, 13 Sep 2018 18:11:33 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/ki/BrewkaEKOORSS18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Michael Thielscher, Francesca Toni and Frank Wolter (eds.).
    Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018

    . AAAI Press, 2018.
    URL BibTeX

    @proceedings{DBLP:conf/kr/2018,
    	editor = "Michael Thielscher and Francesca Toni and Frank Wolter",
    	title = "Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona, 30 October - 2 November 2018",
    	publisher = "{AAAI} Press",
    	year = 2018,
    	url = "http://www.aaai.org/Library/KR/kr18contents.php",
    	isbn = "978-1-57735-803-9",
    	timestamp = "Thu, 18 Oct 2018 09:44:31 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/kr/2018",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Gabriele Kern-Isberner.
    Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change.
    In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018.. 2018, 248–256.
    URL BibTeX

    @inproceedings{DBLP:conf/kr/Kern-Isberner18,
    	author = "Gabriele Kern{-}Isberner",
    	title = "Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change",
    	booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona, 30 October - 2 November 2018.",
    	pages = "248--256",
    	year = 2018,
    	crossref = "DBLP:conf/kr/2018",
    	url = "https://aaai.org/ocs/index.php/KR/KR18/paper/view/18048",
    	timestamp = "Thu, 18 Oct 2018 09:45:00 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/kr/Kern-Isberner18",
    	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. 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"
    }
    

  1. Thomas Schwentick, Nils Vortmeier and Thomas Zeume.
    Dynamic Complexity under Definable Changes.
    ACM Trans. Database Syst. 43(3):12:1–12:38, 2018.
    URL, DOI BibTeX

    @article{DBLP:journals/tods/SchwentickVZ18,
    	author = "Thomas Schwentick and Nils Vortmeier and Thomas Zeume",
    	title = "Dynamic Complexity under Definable Changes",
    	journal = "{ACM} Trans. Database Syst.",
    	volume = 43,
    	number = 3,
    	pages = "12:1--12:38",
    	year = 2018,
    	url = "https://doi.org/10.1145/3241040",
    	doi = "10.1145/3241040",
    	timestamp = "Thu, 09 May 2019 13:10:55 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/tods/SchwentickVZ18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

2017

  1. Roberto Moreno-D{\'ı}az, Franz Pichler and Alexis Quesada-Arencibia (eds.).
    Computer Aided Systems Theory - EUROCAST 2017 - 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

    10672. Springer, 2018.
    URL, DOI BibTeX

    @proceedings{DBLP:conf/eurocast/2017-2,
    	editor = "Roberto Moreno{-}D{\'{\i}}az and Franz Pichler and Alexis Quesada{-}Arencibia",
    	title = "Computer Aided Systems Theory - {EUROCAST} 2017 - 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part {II}",
    	series = "Lecture Notes in Computer Science",
    	volume = 10672,
    	publisher = "Springer",
    	year = 2018,
    	url = "https://doi.org/10.1007/978-3-319-74727-9",
    	doi = "10.1007/978-3-319-74727-9",
    	isbn = "978-3-319-74726-2",
    	timestamp = "Fri, 26 Jan 2018 12:47:46 +0100",
    	biburl = "https://dblp.org/rec/bib/conf/eurocast/2017-2",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Radomir S Stankovic, Jaakko Astola and Claudio Moraga.
    Gibbs Dyadic Differentiation on Groups - Evolution of the Concept.
    In Computer Aided Systems Theory - EUROCAST 2017 - 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II. 2017, 229–237.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/eurocast/StankovicAM17,
    	author = "Radomir S. Stankovic and Jaakko Astola and Claudio Moraga",
    	title = "Gibbs Dyadic Differentiation on Groups - Evolution of the Concept",
    	booktitle = "Computer Aided Systems Theory - {EUROCAST} 2017 - 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part {II}",
    	pages = "229--237",
    	year = 2017,
    	crossref = "DBLP:conf/eurocast/2017-2",
    	url = "https://doi.org/10.1007/978-3-319-74727-9\_27",
    	doi = "10.1007/978-3-319-74727-9\_27",
    	timestamp = "Fri, 26 Jan 2018 13:02:23 +0100",
    	biburl = "https://dblp.org/rec/bib/conf/eurocast/StankovicAM17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Claudio Moraga, Milena Stankovic, Radomir S Stankovic and Suzana Stojkovic.
    On Bent and Hyper-bent Multiple-valued Functions.
    Multiple-Valued Logic and Soft Computing 29(3-4):327–354, 2017.
    URL BibTeX

    @article{DBLP:journals/mvl/MoragaSSS17,
    	author = "Claudio Moraga and Milena Stankovic and Radomir S. Stankovic and Suzana Stojkovic",
    	title = "On Bent and Hyper-bent Multiple-valued Functions",
    	journal = "Multiple-Valued Logic and Soft Computing",
    	volume = 29,
    	number = "3-4",
    	pages = "327--354",
    	year = 2017,
    	url = "http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-29-number-3-4-2017/mvlsc-29-3-4-p-327-354/"
    }
    

  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. Thomas Schwentick, Nils Vortmeier and Thomas Zeume.
    Dynamic Complexity under Definable Changes.
    In Michael Benedikt and Giorgio Orsi (eds.). 20th International Conference on Database Theory, ICDT 2017, March 21-24, 2017, Venice, Italy 68. 2017, 19:1–19:18.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/SchwentickVZ17,
    	author = "Thomas Schwentick and Nils Vortmeier and Thomas Zeume",
    	title = "Dynamic Complexity under Definable Changes",
    	booktitle = "20th International Conference on Database Theory, {ICDT} 2017, March 21-24, 2017, Venice, Italy",
    	pages = "19:1--19:18",
    	year = 2017,
    	url = "https://doi.org/10.4230/LIPIcs.ICDT.2017.19",
    	doi = "10.4230/LIPIcs.ICDT.2017.19",
    	timestamp = "Tue, 23 May 2017 01:12:16 +0200",
    	biburl = "http://dblp.org/rec/bib/conf/icdt/SchwentickVZ17",
    	bibsource = "dblp computer science bibliography, http://dblp.org",
    	editor = "Michael Benedikt and Giorgio Orsi",
    	series = "LIPIcs",
    	volume = 68,
    	publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
    	isbn = "978-3-95977-024-8"
    }