1. Claudio Moraga, Milena Stankovic, Radomir S Stankovic and Suzana Stojkovic.
    The Maiorana Method to Generate Multiple-Valued Bent Functions Revisited.
    In IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014. 2014, 19–24.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/MoragaSSS14,
    	author = "Claudio Moraga and Milena Stankovic and Radomir S. Stankovic and Suzana Stojkovic",
    	title = "The Maiorana Method to Generate Multiple-Valued Bent Functions Revisited",
    	booktitle = "{IEEE} 44th International Symposium on Multiple-Valued Logic, {ISMVL} 2014, Bremen, Germany, May 19-21, 2014",
    	pages = "19--24",
    	year = 2014,
    	crossref = "DBLP:conf/ismvl/2014",
    	url = "http://dx.doi.org/10.1109/ISMVL.2014.12",
    	doi = "10.1109/ISMVL.2014.12",
    	timestamp = "Fri, 04 Jul 2014 17:19:41 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/ismvl/MoragaSSS14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Radomir S Stankovic, Jaakko Astola, Claudio Moraga and Duan B Gajic.
    Constant Geometry Algorithms for Galois Field Expressions and Their Implementation on GPUs.
    In IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014. 2014, 79–84.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/StankovicAMG14,
    	author = "Radomir S. Stankovic and Jaakko Astola and Claudio Moraga and Duan B. Gajic",
    	title = "Constant Geometry Algorithms for Galois Field Expressions and Their Implementation on GPUs",
    	booktitle = "{IEEE} 44th International Symposium on Multiple-Valued Logic, {ISMVL} 2014, Bremen, Germany, May 19-21, 2014",
    	pages = "79--84",
    	year = 2014,
    	crossref = "DBLP:conf/ismvl/2014",
    	url = "http://dx.doi.org/10.1109/ISMVL.2014.22",
    	doi = "10.1109/ISMVL.2014.22",
    	timestamp = "Fri, 04 Jul 2014 17:19:41 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/ismvl/StankovicAMG14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Martin Lukac, Michitaka Kameyama, Marek A Perkowski, Pawel Kerntopf and Claudio Moraga.
    Analysis of Faults in Reversible Computing.
    In IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014. 2014, 115–120.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/LukacKPKM14,
    	author = "Martin Lukac and Michitaka Kameyama and Marek A. Perkowski and Pawel Kerntopf and Claudio Moraga",
    	title = "Analysis of Faults in Reversible Computing",
    	booktitle = "{IEEE} 44th International Symposium on Multiple-Valued Logic, {ISMVL} 2014, Bremen, Germany, May 19-21, 2014",
    	pages = "115--120",
    	year = 2014,
    	crossref = "DBLP:conf/ismvl/2014",
    	url = "http://dx.doi.org/10.1109/ISMVL.2014.28",
    	doi = "10.1109/ISMVL.2014.28",
    	timestamp = "Fri, 04 Jul 2014 17:19:41 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/ismvl/LukacKPKM14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Claudio Moraga.
    On Some Basic Aspects of Ternary Reversible and Quantum Computing.
    In IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014. 2014, 178–183.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/Moraga14,
    	author = "Claudio Moraga",
    	title = "On Some Basic Aspects of Ternary Reversible and Quantum Computing",
    	booktitle = "{IEEE} 44th International Symposium on Multiple-Valued Logic, {ISMVL} 2014, Bremen, Germany, May 19-21, 2014",
    	pages = "178--183",
    	year = 2014,
    	crossref = "DBLP:conf/ismvl/2014",
    	url = "http://dx.doi.org/10.1109/ISMVL.2014.39",
    	doi = "10.1109/ISMVL.2014.39",
    	timestamp = "Fri, 04 Jul 2014 17:19:41 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/ismvl/Moraga14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Patrick Krümpelmann, Tim Janus and Gabriele Kern-Isberner.
    Angerona - A flexible Multiagent Framework for Knowledge-based Agents.
    In Nils Bulling (ed.). Proceedings of the 12th European Conference on Multi-Agent Systems to appear. 2014.
    BibTeX

    @inproceedings{krumpelmann2014eumas,
    	author = {Kr\"umpelmann, Patrick and Janus, Tim and Kern-Isberner, Gabriele},
    	booktitle = "Proceedings of the 12th European Conference on Multi-Agent Systems",
    	date-added = "2014-11-18 12:00:31 +0000",
    	date-modified = "2014-11-18 12:00:31 +0000",
    	editor = "Bulling, Nils",
    	keywords = "own, angerona, multiagent framework",
    	publisher = "Springer",
    	series = "Lecture Notes in Artificial Intelligence",
    	title = "Angerona - A flexible Multiagent Framework for Knowledge-based Agents",
    	volume = "to appear",
    	year = 2014
    }
    

  1. Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir V Podolskii, Thomas Schwentick and Michael Zakharyaschev.
    The price of query rewriting in ontology-based data access.
    Artif. Intell. 213:42–59, 2014.
    URL, DOI BibTeX

    @article{DBLP:journals/ai/GottlobKKPSZ14,
    	author = "Georg Gottlob and Stanislav Kikot and Roman Kontchakov and Vladimir V. Podolskii and Thomas Schwentick and Michael Zakharyaschev",
    	title = "The price of query rewriting in ontology-based data access",
    	journal = "Artif. Intell.",
    	year = 2014,
    	volume = 213,
    	pages = "42--59",
    	url = "http://dx.doi.org/10.1016/j.artint.2014.04.004",
    	doi = "10.1016/j.artint.2014.04.004",
    	timestamp = "Tue, 18 Nov 2014 21:19:07 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/ai/GottlobKKPSZ14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Gabriele Kern-Isberner, Marco Wilhelm and Christoph Beierle.
    A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy.
    In Proceedings of the 27th International Florida Artificial Intelligence Research Society Conference (FLAIRS). 2014.
    BibTeX

    @inproceedings{KernIsberner_Wilhelm_Beierle_2014b,
    	author = "Gabriele Kern{-}Isberner and Marco Wilhelm and Christoph Beierle",
    	title = "A Novel Methodology for Processing Probabilistic Knowledge Bases Under Maximum Entropy",
    	booktitle = "Proceedings of the 27th International Florida Artificial Intelligence Research Society Conference (FLAIRS)",
    	year = 2014
    }
    

  1. Fatima Zohra Hadjam and Claudio Moraga.
    Introduction to RIMEP2: A Multi-Expression Programming System for the Design of Reversible Digital Circuits.
    CoRR abs/1405.2226, 2014.
    URL BibTeX

    @article{DBLP:journals/corr/HadjamM14,
    	author = "Fatima Zohra Hadjam and Claudio Moraga",
    	title = "Introduction to {RIMEP2:} {A} Multi-Expression Programming System for the Design of Reversible Digital Circuits",
    	journal = "CoRR",
    	volume = "abs/1405.2226",
    	year = 2014,
    	url = "http://arxiv.org/abs/1405.2226",
    	timestamp = "Mon, 02 Jun 2014 08:30:36 +0200",
    	biburl = "http://dblp2.uni-trier.de/rec/bib/journals/corr/HadjamM14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Zeume.
    The Dynamic Descriptive Complexity of k-Clique.
    In Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I. 2014, 547–558.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/mfcs/Zeume14,
    	author = "Thomas Zeume",
    	title = "The Dynamic Descriptive Complexity of k-Clique",
    	booktitle = "Mathematical Foundations of Computer Science 2014 - 39th International Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part {I}",
    	pages = "547--558",
    	year = 2014,
    	url = "http://dx.doi.org/10.1007/978-3-662-44522-8_46",
    	doi = "10.1007/978-3-662-44522-8_46",
    	timestamp = "Wed, 10 Sep 2014 14:53:34 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/mfcs/Zeume14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Milena Stankovic, Suzana Stojkovic and Claudio Moraga.
    Threshold Logic Realization of Discrete Functions Through Heterogeneous Decision Diagrams.
    Multiple-Valued Logic and Soft Computing 23(3-4):315–335, 2014.
    BibTeX

    @article{DBLP:journals/mvl/StankovicSM14,
    	author = "Milena Stankovic and Suzana Stojkovic and Claudio Moraga",
    	title = "Threshold Logic Realization of Discrete Functions Through Heterogeneous Decision Diagrams",
    	journal = "Multiple-Valued Logic and Soft Computing",
    	volume = 23,
    	number = "3-4",
    	pages = "315--335",
    	year = 2014,
    	timestamp = "Thu, 07 Aug 2014 09:25:16 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/mvl/StankovicSM14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Christian Eichhorn and Gabriele Kern-Isberner.
    LEG Networks for Ranking Functions.
    In Eduardo Fermé and João Leite (eds.). Logics in Artificial Intelligence. Lecture Notes in Computer Science series, volume 8761, Springer International Publishing, 2014, pages 210-223.
    URL, DOI BibTeX

    @incollection{EichhornKernIsberner2014b,
    	author = "Christian Eichhorn and Gabriele Kern-Isberner",
    	title = "LEG Networks for Ranking Functions",
    	editor = "Fermé, Eduardo and Leite, João",
    	series = "Lecture Notes in Computer Science",
    	volume = 8761,
    	booktitle = "Logics in Artificial Intelligence",
    	isbn = "978-3-319-11557-3",
    	doi = "10.1007/978-3-319-11558-0_15",
    	url = "http://dx.doi.org/10.1007/978-3-319-11558-0_15",
    	publisher = "Springer International Publishing",
    	pages = "210-223",
    	year = 2014
    }
    

  1. Joachim Biskup, Gabriele Kern-Isberner, Patrick Krümpelmann and Cornelia Tadros.
    Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions.
    In Christoph Beierle and Carlo Meghini (eds.). 8th Proceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems (FoIKS2014) to appear. 2014.
    BibTeX

    @inproceedings{biskup2014foiks,
    	author = {Biskup, Joachim and Kern-Isberner, Gabriele and Kr\"umpelmann, Patrick and Tadros, Cornelia},
    	booktitle = "8th Proceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems (FoIKS2014)",
    	date-added = "2014-11-18 12:01:00 +0000",
    	date-modified = "2014-11-18 12:01:00 +0000",
    	editor = "Christoph Beierle and Carlo Meghini",
    	keywords = "own",
    	publisher = "Springer",
    	series = "LNCS",
    	title = "Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions",
    	volume = "to appear",
    	year = 2014,
    	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QKi4uLy4uLy4uLy4uLy4uLy4uL0Rvd25sb2Fkcy84MzY3MDA5Ny0xLnBkZtIXCxgZV05TLmRhdGFPEQFaAAAAAAFaAAIAAAFwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAADMycJXSCsAAAAGY1UOODM2NzAwOTctMS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAInkzM7+4MsAAAAAAAAAAAAGAAIAAAkgAAAAAAAAAAAAAAAAAAAACURvd25sb2FkcwAAEAAIAADMybRHAAAAEQAIAADO/tK7AAAAAQAMAAZjVQAESs8AAL8SAAIAKHA6VXNlcnM6AHBhdHM6AERvd25sb2FkczoAODM2NzAwOTctMS5wZGYADgAeAA4AOAAzADYANwAwADAAOQA3AC0AMQAuAHAAZABmAA8ABAABAHAAEgAjVXNlcnMvcGF0cy9Eb3dubG9hZHMvODM2NzAwOTctMS5wZGYAABMAAS8AABUAAgAL//8AAIAG0hscHR5aJGNsYXNzbmFtZVgkY2xhc3Nlc11OU011dGFibGVEYXRhox0fIFZOU0RhdGFYTlNPYmplY3TSGxwiI1xOU0RpY3Rpb25hcnmiIiBfEA9OU0tleWVkQXJjaGl2ZXLRJidUcm9vdIABAAgAEQAaACMALQAyADcAQABGAE0AVQBgAGcAagBsAG4AcQBzAHUAdwCEAI4AuwDAAMgCJgIoAi0COAJBAk8CUwJaAmMCaAJ1AngCigKNApIAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAClA==",
    	bdsk-file-2 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QWC4uLy4uLy4uLy4uL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9iaXNrdXAvYmlza3VwMjAxNC5wZGbSFwsYGVdOUy5kYXRhTxECJgAAAAACJgACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAykEGDEgrAAAAuMRPDmJpc2t1cDIwMTQucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAC4xFbPn+lHAAAAAAAAAAAABAAHAAAJIAAAAAAAAAAAAAAAAAAAAAZiaXNrdXAAEAAIAADKQOnsAAAAEQAIAADPn80nAAAAAQAoALjETwC4xBgAt6WbAHUQzABwFJMAcBRkAAVe3AAFFdIABRTMAAC+7AACAIBNYWNpbnRvc2ggSEQ6VXNlcnM6AHBhdHM6AERvY3VtZW50czoAbXlTdHVmZjoAc3ZuczoAYW5nZXJvbmE6AGRvY3VtZW50YXRpb246AGJpYmxpb2dyYXBoeToAYmliZGVzay1wYXBlcjoAYmlza3VwOgBiaXNrdXAyMDE0LnBkZgAOAB4ADgBiAGkAcwBrAHUAcAAyADAAMQA0AC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgBpVXNlcnMvcGF0cy9Eb2N1bWVudHMvbXlTdHVmZi9zdm5zL2FuZ2Vyb25hL2RvY3VtZW50YXRpb24vYmlibGlvZ3JhcGh5L2JpYmRlc2stcGFwZXIvYmlza3VwL2Jpc2t1cDIwMTQucGRmAAATAAEvAAAVAAIAC///AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOAOkA7gD2AyADIgMnAzIDOwNJA00DVANdA2IDbwNyA4QDhwOMAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAA44="
    }
    

  1. Christoph Beierle, Rita Hermsen and Gabriele Kern-Isberner.
    Observations on the Minimality of Ranking Functions for Qualitative Conditional Knowledge Bases and Their Computation.
    In Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, FLAIRS 2014, Pensacola Beach, Florida, May 21-23, 2014.. 2014.
    URL BibTeX

    @inproceedings{Beierle2014,
    	title = "Observations on the Minimality of Ranking Functions for Qualitative Conditional Knowledge Bases and Their Computation",
    	author = "Christoph Beierle and Rita Hermsen and Gabriele Kern{-}Isberner",
    	booktitle = "Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, {FLAIRS} 2014, Pensacola Beach, Florida, May 21-23, 2014.",
    	year = 2014,
    	url = "http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS14/paper/view/7831"
    }
    

  1. Gabriele Kern-Isberner, Marco Wilhelm and Christoph Beierle.
    Probabilistic Knowledge Representation Using Gröbner Basis Theory.
    In Proceedings of the 13th International Symposium on Artificial Intelligence and Mathematics (ISAIM). 2014.
    BibTeX

    @inproceedings{KernIsberner_Wilhelm_Beierle_2014,
    	author = "Gabriele Kern{-}Isberner and Marco Wilhelm and Christoph Beierle",
    	title = {Probabilistic Knowledge Representation Using {G}r\"{o}bner Basis Theory},
    	booktitle = "Proceedings of the 13th International Symposium on Artificial Intelligence and Mathematics (ISAIM)",
    	year = 2014
    }
    

  1. Thomas Zeume and Thomas Schwentick.
    Dynamic Conjunctive Queries.
    In Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014.. 2014, 38–49.
    URL PDF, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/ZeumeS14,
    	author = "Thomas Zeume and Thomas Schwentick",
    	title = "Dynamic Conjunctive Queries",
    	booktitle = "Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014.",
    	year = 2014,
    	pages = "38--49",
    	crossref = "DBLP:conf/icdt/2014",
    	url = "http://dx.doi.org/10.5441/002/icdt.2014.08",
    	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/ZeumeSDynamic14.pdf",
    	doi = "10.5441/002/icdt.2014.08",
    	timestamp = "Tue, 18 Nov 2014 21:20:16 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/ZeumeS14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Matthias Niewerth and Thomas Schwentick.
    Reasoning about XML Constraints based on XML-to-relational mappings.
    In Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014.. 2014, 72–83.
    URL PDF, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/NiewerthS14,
    	author = "Matthias Niewerth and Thomas Schwentick",
    	title = "Reasoning about {XML} Constraints based on XML-to-relational mappings",
    	booktitle = "Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014.",
    	year = 2014,
    	pages = "72--83",
    	crossref = "DBLP:conf/icdt/2014",
    	url = "http://dx.doi.org/10.5441/002/icdt.2014.11",
    	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/NiewerthSReasoning14.pdf",
    	doi = "10.5441/002/icdt.2014.11",
    	timestamp = "Tue, 18 Nov 2014 21:25:47 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/NiewerthS14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

2013

  1. Héctor Allende-Cid, Claudio Moraga, Héctor Allende and Raúl Monge.
    Context-Aware Regression from Distributed Sources.
    In Intelligent Distributed Computing VII - Proceedings of the 7th International Symposium on Intelligent Distributed Computing, IDC 2013, Prague, Czech Republic, September 2013. 2013, 17–22.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/idc/Allende-CidMAM13,
    	author = "H{\'{e}}ctor Allende{-}Cid and Claudio Moraga and H{\'{e}}ctor Allende and Ra{\'{u}}l Monge",
    	title = "Context-Aware Regression from Distributed Sources",
    	booktitle = "Intelligent Distributed Computing {VII} - Proceedings of the 7th International Symposium on Intelligent Distributed Computing, {IDC} 2013, Prague, Czech Republic, September 2013",
    	pages = "17--22",
    	year = 2013,
    	crossref = "DBLP:conf/idc/2013",
    	url = "http://dx.doi.org/10.1007/978-3-319-01571-2_3",
    	doi = "10.1007/978-3-319-01571-2_3",
    	timestamp = "Thu, 09 Oct 2014 20:36:12 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/idc/Allende-CidMAM13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Claudio Moraga, Milena Stankovic, Radomir S Stankovic and Suzana Stojkovic.
    Contribution to the Study of Multiple-Valued Bent Functions.
    In 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013. 2013, 340–345.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/MoragaSSS13,
    	author = "Claudio Moraga and Milena Stankovic and Radomir S. Stankovic and Suzana Stojkovic",
    	title = "Contribution to the Study of Multiple-Valued Bent Functions",
    	booktitle = "43rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2013, Toyama, Japan, May 22-24, 2013",
    	pages = "340--345",
    	year = 2013,
    	crossref = "DBLP:conf/ismvl/2013",
    	url = "http://dx.doi.org/10.1109/ISMVL.2013.21",
    	doi = "10.1109/ISMVL.2013.21",
    	timestamp = "Wed, 12 Jun 2013 13:40:26 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/ismvl/MoragaSSS13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Patrick Krümpelmann, Tim Janus and Gabriele Kern-Isberner.
    Angerona - A Multiagent Framework for Logic Based Agents.
    Technische Universität Dortmund, Department of Computer Science, 2014.
    BibTeX

    @techreport{kruempelmann2013,
    	author = {Kr\"umpelmann, Patrick and Janus, Tim and Kern-Isberner, Gabriele},
    	date-added = "2014-11-18 12:01:52 +0000",
    	date-modified = "2014-11-18 12:01:52 +0000",
    	institution = {Technische Universit{\"a}t Dortmund, Department of Computer Science},
    	title = "Angerona - A Multiagent Framework for Logic Based Agents",
    	year = 2014
    }