1. Samir Datta, Anish Mukherjee, Nils Vortmeier and Thomas Zeume.
    Reachability and Distances under Multiple Changes.
    In Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx and Donald Sannella (eds.). 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic 107. 2018, 120:1–120:14.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icalp/Datta0VZ18,
    	author = "Samir Datta and Anish Mukherjee and Nils Vortmeier and Thomas Zeume",
    	title = "Reachability and Distances under Multiple Changes",
    	booktitle = "45th International Colloquium on Automata, Languages, and Programming, {ICALP} 2018, July 9-13, 2018, Prague, Czech Republic",
    	pages = "120:1--120:14",
    	year = 2018,
    	url = "https://doi.org/10.4230/LIPIcs.ICALP.2018.120",
    	doi = "10.4230/LIPIcs.ICALP.2018.120",
    	timestamp = "Sat, 28 Jul 2018 14:39:07 +0200",
    	editor = "Ioannis Chatzigiannakis and Christos Kaklamanis and D{\'{a}}niel Marx and Donald Sannella",
    	series = "LIPIcs",
    	volume = 107,
    	publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
    	isbn = "978-3-95977-076-7"
    }
    

  1. Matthias Niewerth and Thomas Schwentick.
    Reasoning About XML Constraints Based on XML-to-Relational Mappings.
    Theory Comput. Syst. 62(8):1826–1879, 2018.
    URL, DOI BibTeX

    @article{DBLP:journals/mst/NiewerthS18,
    	author = "Matthias Niewerth and Thomas Schwentick",
    	title = "Reasoning About {XML} Constraints Based on XML-to-Relational Mappings",
    	journal = "Theory Comput. Syst.",
    	volume = 62,
    	number = 8,
    	pages = "1826--1879",
    	year = 2018,
    	url = "https://doi.org/10.1007/s00224-018-9846-5",
    	doi = "10.1007/s00224-018-9846-5",
    	timestamp = "Tue, 11 Sep 2018 14:56:31 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/mst/NiewerthS18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu and Ke Yi.
    Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
    Dagstuhl Manifestos 7(1):1–29, 2018.
    URL, DOI BibTeX

    @article{DBLP:journals/dagstuhl-manifestos/AbiteboulABBCD018,
    	author = {Serge Abiteboul and Marcelo Arenas and Pablo Barcel{\'{o}} and Meghyn Bienvenu and Diego Calvanese and Claire David and Richard Hull and Eyke H{\"{u}}llermeier and Benny Kimelfeld and Leonid Libkin and Wim Martens and Tova Milo and Filip Murlak and Frank Neven and Magdalena Ortiz and Thomas Schwentick and Julia Stoyanovich and Jianwen Su and Dan Suciu and Victor Vianu and Ke Yi},
    	title = "Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151)",
    	journal = "Dagstuhl Manifestos",
    	volume = 7,
    	number = 1,
    	pages = "1--29",
    	year = 2018,
    	url = "https://doi.org/10.4230/DagMan.7.1.1",
    	doi = "10.4230/DagMan.7.1.1",
    	timestamp = "Tue, 10 Apr 2018 11:31:23 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/dagstuhl-manifestos/AbiteboulABBCD018",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Dexter Kozen and Thomas Schwentick.
    The Ackermann Award 2018.
    In Dan R Ghica and Achim Jung (eds.). 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK 119. 2018, 1:1–1:5.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/csl/KozenS18,
    	author = "Dexter Kozen and Thomas Schwentick",
    	editor = "Dan R. Ghica and Achim Jung",
    	title = "The Ackermann Award 2018",
    	booktitle = "27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018, September 4-7, 2018, Birmingham, {UK}",
    	series = "LIPIcs",
    	volume = 119,
    	pages = "1:1--1:5",
    	publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
    	year = 2018,
    	url = "https://doi.org/10.4230/LIPIcs.CSL.2018.1",
    	doi = "10.4230/LIPIcs.CSL.2018.1",
    	timestamp = "Thu, 02 May 2019 17:40:11 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/csl/KozenS18",
    	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. Milena Stankovic, Claudio Moraga and Radomir S Stankovic.
    Generation of Ternary Bent Functions by Spectral Invariant Operations in the Generalized Reed-Muller Domain.
    In 48th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2018, Linz, Austria, May 16-18, 2018. 2018, 235–240.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/StankovicMS18,
    	author = "Milena Stankovic and Claudio Moraga and Radomir S. Stankovic",
    	title = "Generation of Ternary Bent Functions by Spectral Invariant Operations in the Generalized Reed-Muller Domain",
    	booktitle = "48th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2018, Linz, Austria, May 16-18, 2018",
    	pages = "235--240",
    	year = 2018,
    	crossref = "DBLP:conf/ismvl/2018",
    	url = "https://doi.org/10.1109/ISMVL.2018.00048",
    	doi = "10.1109/ISMVL.2018.00048",
    	timestamp = "Wed, 13 Feb 2019 11:42:21 +0100",
    	biburl = "https://dblp.org/rec/bib/conf/ismvl/StankovicMS18",
    	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, 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}",
    	year = 2018,
    	url = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8415927",
    	isbn = "978-1-5386-4464-5",
    	timestamp = "Thu, 02 Aug 2018 14:06:16 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/ismvl/2018",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Claudio Moraga, Radomir S Stankovic and Jaakko Astola.
    On the Reed-Muller-Fourier Spectrum of Multiple-Valued Rotation Symmetric Functions.
    In 48th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2018, Linz, Austria, May 16-18, 2018. 2018, 241–246.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/MoragaSA18,
    	author = "Claudio Moraga and Radomir S. Stankovic and Jaakko Astola",
    	title = "On the Reed-Muller-Fourier Spectrum of Multiple-Valued Rotation Symmetric Functions",
    	booktitle = "48th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2018, Linz, Austria, May 16-18, 2018",
    	pages = "241--246",
    	year = 2018,
    	crossref = "DBLP:conf/ismvl/2018",
    	url = "https://doi.org/10.1109/ISMVL.2018.00049",
    	doi = "10.1109/ISMVL.2018.00049",
    	timestamp = "Wed, 08 Aug 2018 17:14:45 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/ismvl/MoragaSA18",
    	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. 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. Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt, Fabian Vehlken and Thomas Zeume.
    Introduction to Iltis: an interactive, web-based system for teaching logic.
    In Irene Polycarpou, Janet C Read, Panayiotis Andreou and Michal Armoni (eds.). Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2018, Larnaca, Cyprus, July 02-04, 2018. 2018, 141–146.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/iticse/GeckLPSVZ18,
    	author = "Gaetano Geck and Artur Ljulin and Sebastian Peter and Jonas Schmidt and Fabian Vehlken and Thomas Zeume",
    	editor = "Irene Polycarpou and Janet C. Read and Panayiotis Andreou and Michal Armoni",
    	title = "Introduction to Iltis: an interactive, web-based system for teaching logic",
    	booktitle = "Proceedings of the 23rd Annual {ACM} Conference on Innovation and Technology in Computer Science Education, ITiCSE 2018, Larnaca, Cyprus, July 02-04, 2018",
    	pages = "141--146",
    	publisher = "{ACM}",
    	year = 2018,
    	url = "https://doi.org/10.1145/3197091.3197095",
    	doi = "10.1145/3197091.3197095",
    	timestamp = "Wed, 21 Nov 2018 12:44:02 +0100",
    	biburl = "https://dblp.org/rec/conf/iticse/GeckLPSVZ18.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }