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{DattaKMSZ18,
    	acmid = 3212685,
    	address = "New York, NY, USA",
    	articleno = 33,
    	author = "Datta, Samir and Kulkarni, Raghav and Mukherjee, Anish and Schwentick, Thomas and Zeume, Thomas",
    	date-modified = "2018-10-17 12:43:06 +0000",
    	doi = "10.1145/3212685",
    	issn = "0004-5411",
    	issue_date = "September 2018",
    	journal = "J. ACM",
    	keywords = "DynFO, Dynamic descriptive complexity, reachability",
    	month = "",
    	number = 5,
    	numpages = 24,
    	pages = "33:1--33:24",
    	publisher = "ACM",
    	title = "Reachability Is in DynFO",
    	url = "http://doi.acm.org/10.1145/3212685",
    	volume = 65,
    	year = 2018,
    	bdsk-url-1 = "http://doi.acm.org/10.1145/3212685",
    	bdsk-url-2 = "http://dx.doi.org/10.1145/3212685"
    }
    

  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{SchwentickVZ18,
    	author = "Schwentick, Thomas and Vortmeier, Nils and Zeume, Thomas",
    	title = "Dynamic Complexity Under Definable Changes",
    	journal = "ACM Trans. Database Syst.",
    	issue_date = "October 2018",
    	volume = 43,
    	number = 3,
    	month = "",
    	year = 2018,
    	issn = "0362-5915",
    	pages = "12:1--12:38",
    	articleno = 12,
    	numpages = 38,
    	url = "http://doi.acm.org/10.1145/3241040",
    	doi = "10.1145/3241040",
    	acmid = 3241040,
    	publisher = "ACM",
    	address = "New York, NY, USA",
    	keywords = "Dynamic descriptive complexity, SQL updates, dynamic programs"
    }
    

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

2017

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

  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. 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 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, 12 Jul 2017 08:30:35 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/ismvl/MoragaS17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Daan Apeldoorn and Gabriele Kern-Isberner.
    Towards an Understanding of What is Learned: Extracting Multi-Abstraction-Level Knowledge from Learning Agents.
    In Vasile Rus and Zdravko Markov (eds.). Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference. 2017, 764–767.
    URL BibTeX

    @inproceedings{ApeldoornKernIsberner2017a,
    	author = "Apeldoorn, Daan and Kern-Isberner, Gabriele",
    	title = "Towards an Understanding of What is Learned: Extracting Multi-Abstraction-Level Knowledge from Learning Agents",
    	booktitle = "Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference",
    	pages = "764--767",
    	year = 2017,
    	editor = "Rus, Vasile and Markov, Zdravko",
    	address = "Palo Alto, California",
    	publisher = "AAAI Press",
    	url = "https://aaai.org/ocs/index.php/FLAIRS/FLAIRS17/paper/view/15510/15038"
    }
    

  1. Marco Ragni, Christian Eichhorn, Tanja Bock, Gabriele Kern-Isberner and Alice Ping Ping Tse.
    Formal Nonmonotonic Theories and Properties of Human Defeasible Reasoning.
    Minds and Machines Volume 27, Number 1:79–117, 2017.
    BibTeX

    @article{RagniEichhornBockKernIsbernerTse2017,
    	author = "Ragni, Marco and Eichhorn, Christian and Bock, Tanja and Kern-Isberner, Gabriele and Tse, Alice Ping Ping",
    	title = "Formal Nonmonotonic Theories and Properties of Human Defeasible Reasoning",
    	journal = "Minds and Machines",
    	editor = "Mariarosaria Taddeo",
    	volume = "Volume 27, Number 1",
    	issue = "Special Issue: Reasoning with Imperfect Information and Knowledge",
    	year = 2017,
    	pages = "79--117",
    	publisher = "Springer Science+Business Media",
    	address = "Dordrecht, NL"
    }