2019

  1. Frank Neven, Thomas Schwentick, Christopher Spinrath and Brecht Vandevoort.
    Parallel-Correctness and Parallel-Boundedness for Datalog Programs.
    In Pablo Barceló and Marco Calautti (eds.). 22nd International Conference on Database Theory, ICDT 2019, March 26-28, 2019, Lisbon, Portugal 127. 2019, 14:1–14:19.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/NevenSSV19,
    	author = "Frank Neven and Thomas Schwentick and Christopher Spinrath and Brecht Vandevoort",
    	editor = "Pablo Barcel{\'{o}} and Marco Calautti",
    	title = "Parallel-Correctness and Parallel-Boundedness for Datalog Programs",
    	booktitle = "22nd International Conference on Database Theory, {ICDT} 2019, March 26-28, 2019, Lisbon, Portugal",
    	series = "LIPIcs",
    	volume = 127,
    	pages = "14:1--14:19",
    	publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
    	year = 2019,
    	url = "https://doi.org/10.4230/LIPIcs.ICDT.2019.14",
    	doi = "10.4230/LIPIcs.ICDT.2019.14",
    	timestamp = "Tue, 14 May 2019 15:18:30 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/icdt/NevenSSV19",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Samir Datta, Anish Mukherjee, Thomas Schwentick, Nils Vortmeier and Thomas Zeume.
    A Strategy for Dynamic Programs: Start over and Muddle through.
    Logical Methods in Computer Science 15(2), 2019.
    URL BibTeX

    @article{DBLP:journals/lmcs/DattaMSVZ19,
    	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",
    	journal = "Logical Methods in Computer Science",
    	volume = 15,
    	number = 2,
    	year = 2019,
    	url = "https://lmcs.episciences.org/5442",
    	timestamp = "Thu, 09 May 2019 12:01:35 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/lmcs/DattaMSVZ19",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Thomas Eiter and Gabriele Kern-Isberner.
    A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective.
    KI 33(1):9–33, 2019.
    URL, DOI BibTeX

    @article{DBLP:journals/ki/EiterK19,
    	author = "Thomas Eiter and Gabriele Kern{-}Isberner",
    	title = "A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective",
    	journal = "{KI}",
    	volume = 33,
    	number = 1,
    	pages = "9--33",
    	year = 2019,
    	url = "https://doi.org/10.1007/s13218-018-0564-6",
    	doi = "10.1007/s13218-018-0564-6",
    	timestamp = "Mon, 18 Mar 2019 16:09:05 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/ki/EiterK19",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Tung Bui (ed.).
    52nd Hawaii International Conference on System Sciences, HICSS 2019, Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019

    . ScholarSpace / AIS Electronic Library (AISeL), 2019.
    URL BibTeX

    @proceedings{DBLP:conf/hicss/2019,
    	editor = "Tung Bui",
    	title = "52nd Hawaii International Conference on System Sciences, {HICSS} 2019, Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019",
    	publisher = "ScholarSpace / {AIS} Electronic Library (AISeL)",
    	year = 2019,
    	url = "https://scholarspace.manoa.hawaii.edu/handle/10125/59440",
    	timestamp = "Wed, 10 Apr 2019 08:36:41 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/hicss/2019",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Christof Thim, Norbert Gronau, Annette Kluge, Eric Tsui and Gabriele Kern-Isberner.
    Introduction to the Minitrack on Intentional Forgetting in Organizations and Information Systems.
    In 52nd Hawaii International Conference on System Sciences, HICSS 2019, Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019. 2019, 1–2.
    URL BibTeX

    @inproceedings{DBLP:conf/hicss/ThimGKTK19,
    	author = "Christof Thim and Norbert Gronau and Annette Kluge and Eric Tsui and Gabriele Kern{-}Isberner",
    	title = "Introduction to the Minitrack on Intentional Forgetting in Organizations and Information Systems",
    	booktitle = "52nd Hawaii International Conference on System Sciences, {HICSS} 2019, Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019",
    	pages = "1--2",
    	year = 2019,
    	crossref = "DBLP:conf/hicss/2019",
    	url = "http://hdl.handle.net/10125/60340",
    	timestamp = "Wed, 10 Apr 2019 08:36:41 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/hicss/ThimGKTK19",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Christoph Beierle, Gabriele Kern-Isberner, Kai Sauerwald, Tanja Bock and Marco Ragni.
    Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management.
    KI 33(1):57–68, 2019.
    URL, DOI BibTeX

    @article{DBLP:journals/ki/BeierleKSBR19,
    	author = "Christoph Beierle and Gabriele Kern{-}Isberner and Kai Sauerwald and Tanja Bock and Marco Ragni",
    	title = "Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management",
    	journal = "{KI}",
    	volume = 33,
    	number = 1,
    	pages = "57--68",
    	year = 2019,
    	url = "https://doi.org/10.1007/s13218-018-0567-3",
    	doi = "10.1007/s13218-018-0567-3",
    	timestamp = "Fri, 12 Apr 2019 09:23:23 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/ki/BeierleKSBR19",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

2018

  1. Samir Datta, Raghav Kulkarni, Anish Mukherjee, Thomas Schwentick and Thomas Zeume.
    Reachability Is in DynFO.
    J. ACM 65(5):33:1–33:24, 2018.
    URL, DOI BibTeX

    @article{DBLP:journals/jacm/DattaKMSZ18,
    	author = "Samir Datta and Raghav Kulkarni and Anish Mukherjee and Thomas Schwentick and Thomas Zeume",
    	title = "Reachability Is in DynFO",
    	journal = "J. {ACM}",
    	volume = 65,
    	number = 5,
    	pages = "33:1--33:24",
    	year = 2018,
    	url = "https://doi.org/10.1145/3212685",
    	doi = "10.1145/3212685",
    	timestamp = "Wed, 21 Nov 2018 12:44:29 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/jacm/DattaKMSZ18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Henrik Björklund, Wim Martens and Thomas Schwentick.
    Conjunctive query containment over trees using schema information.
    Acta Inf. 55(1):17–56, 2018.
    URL, DOI BibTeX

    @article{DBLP:journals/acta/BjorklundMS18,
    	author = {Henrik Bj{\"{o}}rklund and Wim Martens and Thomas Schwentick},
    	title = "Conjunctive query containment over trees using schema information",
    	journal = "Acta Inf.",
    	volume = 55,
    	number = 1,
    	pages = "17--56",
    	year = 2018,
    	url = "https://doi.org/10.1007/s00236-016-0282-1",
    	doi = "10.1007/s00236-016-0282-1",
    	timestamp = "Wed, 07 Feb 2018 13:19:42 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/acta/BjorklundMS18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

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