1. Pablo Muñoz, Nils Vortmeier and Thomas Zeume.
    Dynamic Graph Queries.
    In 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016. 2016, 14:1–14:18.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/MunozVZ16,
    	author = "Pablo Mu{\~{n}}oz and Nils Vortmeier and Thomas Zeume",
    	bibsource = "dblp computer science bibliography, http://dblp.org",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/MunozVZ16",
    	booktitle = "19th International Conference on Database Theory, {ICDT} 2016, Bordeaux, France, March 15-18, 2016",
    	crossref = "DBLP:conf/icdt/2016",
    	doi = "10.4230/LIPIcs.ICDT.2016.14",
    	pages = "14:1--14:18",
    	timestamp = "Wed, 23 Mar 2016 10:12:09 +0100",
    	title = "Dynamic Graph Queries",
    	url = "http://dx.doi.org/10.4230/LIPIcs.ICDT.2016.14",
    	year = 2016,
    	bdsk-url-1 = "http://dx.doi.org/10.4230/LIPIcs.ICDT.2016.14"
    }
    

  1. Marco Wilhelm, Gabriele Kern-Isberner and Andreas Ecke.
    Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories.
    In Proceedings of the 29th International Florida Artificial Intelligence Research Society Conference (FLAIRS). 2016.
    BibTeX

    @inproceedings{KernIsberner_Wilhelm_Beierle_2016,
    	author = "Marco Wilhelm and Gabriele Kern{-}Isberner and Andreas Ecke",
    	title = "Propositional Probabilistic Reasoning at Maximum Entropy Modulo Theories",
    	booktitle = "Proceedings of the 29th International Florida Artificial Intelligence Research Society Conference (FLAIRS)",
    	year = 2016
    }
    

2015

  1. Christoph Beierle, Marc Finthammer and Gabriele Kern-Isberner.
    Relational Probabilistic Conditionals and Their Instantiations under Maximum Entropy Semantics for First-Order Knowledge Bases.
    Entropy 17(2):852–865, 2015.
    URL, DOI BibTeX

    @article{Beierle2015a,
    	title = "Relational Probabilistic Conditionals and Their Instantiations under Maximum Entropy Semantics for First-Order Knowledge Bases",
    	author = "Christoph Beierle and Marc Finthammer and Gabriele Kern{-}Isberner",
    	journal = "Entropy",
    	year = 2015,
    	number = 2,
    	pages = "852--865",
    	volume = 17,
    	doi = "10.3390/e17020852",
    	url = "http://dx.doi.org/10.3390/e17020852"
    }
    

  1. Daan Apeldoorn.
    Learning Rules for Cooperative Solving of Spatio-Temporal Problems.
    In C Beierle, G Kern-Isberner, M Ragni and F Stolzenburg (eds.). Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015) co-located with the 38th German Conference on Artificial Intelligence (KI-2015), Dresden, Germany, September 22, 2015 1444. 2015, 5–15.
    URL BibTeX

    @inproceedings{Apeldoorn2015a,
    	author = "Apeldoorn, Daan",
    	title = "Learning Rules for Cooperative Solving of Spatio-Temporal Problems",
    	booktitle = "Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI \& Kognition (KIK-2015) co-located with the 38th German Conference on Artificial Intelligence (KI-2015), Dresden, Germany, September 22, 2015",
    	pages = "5--15",
    	year = 2015,
    	editor = "Beierle, C. and Kern-Isberner, G. and Ragni, M. and Stolzenburg, F.",
    	volume = 1444,
    	series = "CEUR Workshop Proceedings",
    	address = "Aachen",
    	publisher = "CEUR-WS.org",
    	url = "http://ceur-ws.org/Vol-1444/paper1.pdf"
    }
    

  1. Daan Apeldoorn.
    A Spatio-Temporal Multiagent Simulation Framework for Reusing Agents in Different Kinds of Scenarios.
    In Jörg P Müller, Wolf Ketter, Gal Kaminka, Gerd Wagner and Nils Bulling (eds.). Multiagent System Technologies 9433. 2015, 79–97.
    URL BibTeX

    @inproceedings{Apeldoorn2015b,
    	author = "Apeldoorn, Daan",
    	title = "A Spatio-Temporal Multiagent Simulation Framework for Reusing Agents in Different Kinds of Scenarios",
    	booktitle = "Multiagent System Technologies",
    	pages = "79--97",
    	year = 2015,
    	editor = {M\"uller, J\"org P. and Ketter, Wolf and Kaminka, Gal and Wagner, Gerd and Bulling, Nils},
    	volume = 9433,
    	series = "LNAI",
    	address = "Switzerland",
    	publisher = "Springer International Publishing",
    	url = "http://link.springer.com/content/pdf/10.1007%2F978-3-319-27343-3_5.pdf"
    }
    

  1. Héctor Allende-Cid, Héctor Allende, Raúl Monge and Claudio Moraga.
    Discrete Neighborhood Representations and Modified Stacked Generalization Methods for Distributed Regression.
    J. UCS 21(6):842–855, 2015.
    URL BibTeX

    @article{DBLP:journals/jucs/Allende-CidAMM15,
    	author = "H{\'{e}}ctor Allende{-}Cid and H{\'{e}}ctor Allende and Ra{\'{u}}l Monge and Claudio Moraga",
    	title = "Discrete Neighborhood Representations and Modified Stacked Generalization Methods for Distributed Regression",
    	journal = "J. {UCS}",
    	volume = 21,
    	number = 6,
    	pages = "842--855",
    	year = 2015,
    	url = "http://www.jucs.org/jucs_21_6/discrete_neighborhood_representations_and",
    	timestamp = "Fri, 14 Aug 2015 10:26:39 +0200",
    	biburl = "http://dblp2.uni-trier.de/rec/bib/journals/jucs/Allende-CidAMM15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Enric Trillas, Claudio Moraga and Gracián Triviño.
    Weighting the Support Conjectures Inherit From Premises.
    IEEE T. Fuzzy Systems 23(4):1299–1305, 2015.
    URL, DOI BibTeX

    @article{DBLP:journals/tfs/TrillasMT15,
    	author = "Enric Trillas and Claudio Moraga and Graci{\'{a}}n Trivi{\~{n}}o",
    	title = "Weighting the Support Conjectures Inherit From Premises",
    	journal = "{IEEE} T. Fuzzy Systems",
    	volume = 23,
    	number = 4,
    	pages = "1299--1305",
    	year = 2015,
    	url = "http://dx.doi.org/10.1109/TFUZZ.2014.2336677",
    	doi = "10.1109/TFUZZ.2014.2336677",
    	timestamp = "Fri, 02 Oct 2015 12:23:09 +0200",
    	biburl = "http://dblp2.uni-trier.de/rec/bib/journals/tfs/TrillasMT15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Tomás Mardones, Héctor Allende and Claudio Moraga.
    Graph Fusion Using Global Descriptors for Image Retrieval.
    In Alvaro Pardo and Josef Kittler (eds.). Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications. Lecture Notes in Computer Science series, volume 9423, Springer International Publishing, 2015, pages 290-297.
    URL, DOI BibTeX

    @incollection{,
    	year = 2015,
    	isbn = "978-3-319-25750-1",
    	booktitle = "Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications",
    	volume = 9423,
    	series = "Lecture Notes in Computer Science",
    	editor = "Pardo, Alvaro and Kittler, Josef",
    	doi = "10.1007/978-3-319-25751-8_35",
    	title = "Graph Fusion Using Global Descriptors for Image Retrieval",
    	url = "http://dx.doi.org/10.1007/978-3-319-25751-8_35",
    	publisher = "Springer International Publishing",
    	keywords = "Fisher vector; Graph fusion; Large scale image retrieval; Global descriptors",
    	author = "Mardones, Tomás and Allende, Héctor and Moraga, Claudio",
    	pages = "290-297",
    	language = "English"
    }
    
.

  1. Maria De Marsico, Mário A T Figueiredo and Ana L N Fred (eds.).
    ICPRAM 2015 - Proceedings of the International Conference on Pattern Recognition Applications and Methods, Volume 2, Lisbon, Portugal, 10-12 January, 2015

    . SciTePress, 2015.
    BibTeX

    @proceedings{DBLP:conf/icpram/2015-2,
    	editor = "Maria De Marsico and M{\'{a}}rio A. T. Figueiredo and Ana L. N. Fred",
    	title = "{ICPRAM} 2015 - Proceedings of the International Conference on Pattern Recognition Applications and Methods, Volume 2, Lisbon, Portugal, 10-12 January, 2015",
    	publisher = "SciTePress",
    	year = 2015,
    	isbn = "978-989-758-077-2",
    	timestamp = "Tue, 15 Sep 2015 17:18:41 +0200",
    	biburl = "http://dblp2.uni-trier.de/rec/bib/conf/icpram/2015-2",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    
  2. Tomás Mardones, Héctor Allende and Claudio Moraga.
    Combining Fisher Vectors in Image Retrieval Using Different Sampling Techniques.
    In ICPRAM 2015 - Proceedings of the International Conference on Pattern Recognition Applications and Methods, Volume 2, Lisbon, Portugal, 10-12 January, 2015.. 2015, 128–135.
    BibTeX

    @inproceedings{DBLP:conf/icpram/MardonesAM15,
    	author = "Tom{\'{a}}s Mardones and H{\'{e}}ctor Allende and Claudio Moraga",
    	title = "Combining Fisher Vectors in Image Retrieval Using Different Sampling Techniques",
    	booktitle = "{ICPRAM} 2015 - Proceedings of the International Conference on Pattern Recognition Applications and Methods, Volume 2, Lisbon, Portugal, 10-12 January, 2015.",
    	pages = "128--135",
    	year = 2015,
    	crossref = "DBLP:conf/icpram/2015-2",
    	timestamp = "Tue, 15 Sep 2015 17:31:32 +0200",
    	biburl = "http://dblp2.uni-trier.de/rec/bib/conf/icpram/MardonesAM15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    


  1. 2015 IEEE International Symposium on Multiple-Valued Logic, Waterloo, ON, Canada, May 18-20, 2015

    . IEEE, 2015.
    URL BibTeX

    @proceedings{DBLP:conf/ismvl/2015,
    	title = "2015 {IEEE} International Symposium on Multiple-Valued Logic, Waterloo, ON, Canada, May 18-20, 2015",
    	publisher = "{IEEE}",
    	year = 2015,
    	url = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7217067",
    	isbn = "978-1-4799-1777-8",
    	timestamp = "Mon, 07 Sep 2015 17:30:42 +0200",
    	biburl = "http://dblp2.uni-trier.de/rec/bib/conf/ismvl/2015",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    
  2. Claudio Moraga, Milena Stankovic and Radomir S Stankovic.
    Contribution to the Study of Ternary Functions with a Bent Reed-Muller Spectrum.
    In 2015 IEEE International Symposium on Multiple-Valued Logic, Waterloo, ON, Canada, May 18-20, 2015. 2015, 133–138.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/MoragaSS15,
    	author = "Claudio Moraga and Milena Stankovic and Radomir S. Stankovic",
    	title = "Contribution to the Study of Ternary Functions with a Bent Reed-Muller Spectrum",
    	booktitle = "2015 {IEEE} International Symposium on Multiple-Valued Logic, Waterloo, ON, Canada, May 18-20, 2015",
    	pages = "133--138",
    	year = 2015,
    	crossref = "DBLP:conf/ismvl/2015",
    	url = "http://dx.doi.org/10.1109/ISMVL.2015.31",
    	doi = "10.1109/ISMVL.2015.31",
    	timestamp = "Mon, 07 Sep 2015 17:48:08 +0200",
    	biburl = "http://dblp2.uni-trier.de/rec/bib/conf/ismvl/MoragaSS15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Fatima Zohra Hadjam and Claudio Moraga.
    A symbolic calculus for a class of quantum computing circuits.
    CoRR abs/1504.06983, 2015.
    URL BibTeX

    @article{DBLP:journals/corr/HadjamM15,
    	author = "Fatima Zohra Hadjam and Claudio Moraga",
    	title = "A symbolic calculus for a class of quantum computing circuits",
    	journal = "CoRR",
    	volume = "abs/1504.06983",
    	year = 2015,
    	url = "http://arxiv.org/abs/1504.06983",
    	timestamp = "Sat, 02 May 2015 17:50:32 +0200",
    	biburl = "http://dblp2.uni-trier.de/rec/bib/journals/corr/HadjamM15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Christian Eichhorn and Gabriele Kern-Isberner.
    Using inductive reasoning for completing OCF-networks.
    Journal of Applied Logic 13(4, Part 2):605–627, 2015.
    DOI BibTeX

    @article{EichhornLKernIsberner2015,
    	title = "Using inductive reasoning for completing {OCF}-networks",
    	author = "Eichhorn, Christian AND Kern-Isberner, Gabriele",
    	year = 2015,
    	pages = "605--627",
    	journal = "Journal of Applied Logic",
    	volume = 13,
    	number = "4, Part 2",
    	issn = "1570-8683",
    	note = "Special {JAL} Issue dedicated to Uncertain Reasoning at {FLAIRS}",
    	editor = "Beierle, Christoph AND Butz, Cory AND Kaci, Souhila",
    	publisher = "Elsevier Science Publishers",
    	address = "Essex, UK",
    	doi = "http://dx.doi.org/10.1016/j.jal.2015.03.006"
    }
    

  1. Christopher Czyba, Christopher Spinrath and Wolfgang Thomas.
    Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change.
    In Igor Potapov (ed.). Developments in Language Theory: 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.. 2015, 203–214.
    DOI BibTeX

    @inproceedings{DLT2015,
    	author = "Czyba, Christopher and Spinrath, Christopher and Thomas, Wolfgang",
    	title = "Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change",
    	booktitle = "Developments in Language Theory: 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.",
    	year = 2015,
    	editor = "Potapov, Igor",
    	pages = "203--214",
    	publisher = "Springer International Publishing",
    	doi = "10.1007/978-3-319-21500-6_16",
    	file = "DLT2015.pdf:mine/DLT2015.pdf:PDF",
    	isbn = "978-3-319-21500-6"
    }
    

  1. Thomas Schwentick, Nils Vortmeier and Thomas Zeume.
    Static Analysis for Logic-based Dynamic Programs.
    In 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany. 2015, 308–324.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/csl/SchwentickVZ15,
    	author = "Thomas Schwentick and Nils Vortmeier and Thomas Zeume",
    	title = "Static Analysis for Logic-based Dynamic Programs",
    	booktitle = "24th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2015, September 7-10, 2015, Berlin, Germany",
    	pages = "308--324",
    	year = 2015,
    	url = "http://dx.doi.org/10.4230/LIPIcs.CSL.2015.308",
    	doi = "10.4230/LIPIcs.CSL.2015.308",
    	timestamp = "Mon, 14 Sep 2015 16:03:03 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/csl/SchwentickVZ15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Gabriele Kern-Isberner, Marco Wilhelm and Christoph Beierle.
    Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory.
    Annals of Mathematics and Artificial Intelligence (AMAI), 2015.
    BibTeX

    @article{KernIsberner_Wilhelm_Beierle_2015,
    	author = "Gabriele Kern{-}Isberner and Marco Wilhelm and Christoph Beierle",
    	title = {Probabilistic knowledge representation using the principle of maximum entropy and {G}r\"{o}bner basis theory},
    	journal = "Annals of Mathematics and Artificial Intelligence (AMAI)",
    	year = 2015
    }
    

  1. Claudio Moraga.
    Mixed polarity reversible Peres gates.
    CoRR abs/1503.07356, 2015.
    URL BibTeX

    @article{DBLP:journals/corr/Moraga15,
    	author = "Claudio Moraga",
    	title = "Mixed polarity reversible Peres gates",
    	journal = "CoRR",
    	volume = "abs/1503.07356",
    	year = 2015,
    	url = "http://arxiv.org/abs/1503.07356",
    	timestamp = "Thu, 09 Apr 2015 11:33:20 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/Moraga15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Samir Datta, Raghav Kulkarni, Anish Mukherjee, Thomas Schwentick and Thomas Zeume.
    Reachability is in DynFO.
    CoRR abs/1502.07467, 2015.
    URL BibTeX

    @article{DBLP:journals/corr/DattaKMSZ15,
    	author = "Samir Datta and Raghav Kulkarni and Anish Mukherjee and Thomas Schwentick and Thomas Zeume",
    	title = "Reachability is in DynFO",
    	journal = "CoRR",
    	volume = "abs/1502.07467",
    	year = 2015,
    	url = "http://arxiv.org/abs/1502.07467",
    	timestamp = "Mon, 02 Mar 2015 14:17:34 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/DattaKMSZ15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Martin Schuster and Thomas Schwentick.
    Games for Active XML Revisited.
    In 18th International Conference on Database Theory, ICDT 2015, March 23-27, 2015, Brussels, Belgium. 2015, 60–75.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/SchusterS15,
    	author = "Martin Schuster and Thomas Schwentick",
    	title = "Games for Active {XML} Revisited",
    	booktitle = "18th International Conference on Database Theory, {ICDT} 2015, March 23-27, 2015, Brussels, Belgium",
    	pages = "60--75",
    	year = 2015,
    	crossref = "DBLP:conf/icdt/2015",
    	url = "http://dx.doi.org/10.4230/LIPIcs.ICDT.2015.60",
    	doi = "10.4230/LIPIcs.ICDT.2015.60",
    	timestamp = "Mon, 23 Mar 2015 09:54:36 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/SchusterS15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Zeume and Thomas Schwentick.
    On the quantifier-free dynamic complexity of Reachability.
    Inf. Comput. 240:108–129, 2015.
    URL, DOI BibTeX

    @article{DBLP:journals/iandc/ZeumeS15,
    	author = "Thomas Zeume and Thomas Schwentick",
    	title = "On the quantifier-free dynamic complexity of Reachability",
    	journal = "Inf. Comput.",
    	volume = 240,
    	pages = "108--129",
    	year = 2015,
    	url = "http://dx.doi.org/10.1016/j.ic.2014.09.011",
    	doi = "10.1016/j.ic.2014.09.011",
    	timestamp = "Mon, 09 Feb 2015 13:17:52 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/iandc/ZeumeS15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }