BibTeX records: David A. Rosenblueth

download as .bib file

@article{DBLP:journals/ras/SavageRMNCCMEO19,
  author    = {Jesus Savage and
               David A. Rosenblueth and
               Mauricio Matamoros and
               Marco Negrete and
               Luis Contreras and
               Julio Cruz and
               Reynaldo Martell and
               Hugo Estrada and
               Hiroyuki Okada},
  title     = {Semantic reasoning in service robots using expert systems},
  journal   = {Robotics and Autonomous Systems},
  volume    = {114},
  pages     = {77--92},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.robot.2019.01.007},
  doi       = {10.1016/j.robot.2019.01.007},
  timestamp = {Fri, 12 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ras/SavageRMNCCMEO19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/FagesMRS18,
  author    = {Fran{\c{c}}ois Fages and
               Thierry Martinez and
               David A. Rosenblueth and
               Sylvain Soliman},
  title     = {Influence Networks Compared with Reaction Networks: Semantics, Expressivity
               and Attractors},
  journal   = {{IEEE/ACM} Trans. Comput. Biology Bioinform.},
  volume    = {15},
  number    = {4},
  pages     = {1138--1151},
  year      = {2018},
  url       = {https://doi.org/10.1109/TCBB.2018.2805686},
  doi       = {10.1109/TCBB.2018.2805686},
  timestamp = {Thu, 13 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcbb/FagesMRS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/complexity/ZapotecatlRG17,
  author    = {Jorge Zapotecatl and
               David A. Rosenblueth and
               Carlos Gershenson},
  title     = {Deliberative Self-Organizing Traffic Lights with Elementary Cellular
               Automata},
  journal   = {Complexity},
  volume    = {2017},
  pages     = {7691370:1--7691370:15},
  year      = {2017},
  url       = {https://doi.org/10.1155/2017/7691370},
  doi       = {10.1155/2017/7691370},
  timestamp = {Thu, 16 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/complexity/ZapotecatlRG17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/FagesMRS16,
  author    = {Fran{\c{c}}ois Fages and
               Thierry Martinez and
               David A. Rosenblueth and
               Sylvain Soliman},
  title     = {Influence Systems vs Reaction Systems},
  booktitle = {Computational Methods in Systems Biology - 14th International Conference,
               {CMSB} 2016, Cambridge, UK, September 21-23, 2016, Proceedings},
  pages     = {98--115},
  year      = {2016},
  crossref  = {DBLP:conf/cmsb/2016},
  url       = {https://doi.org/10.1007/978-3-319-45177-0\_7},
  doi       = {10.1007/978-3-319-45177-0\_7},
  timestamp = {Wed, 24 May 2017 08:27:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/FagesMRS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BonakdarpourFRR16,
  author    = {Borzoo Bonakdarpour and
               Pierre Fraigniaud and
               Sergio Rajsbaum and
               David A. Rosenblueth and
               Corentin Travers},
  title     = {Decentralized Asynchronous Crash-Resilient Runtime Verification},
  booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
               August 23-26, 2016, Qu{\'{e}}bec City, Canada},
  pages     = {16:1--16:15},
  year      = {2016},
  crossref  = {DBLP:conf/concur/2016},
  url       = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.16},
  doi       = {10.4230/LIPIcs.CONCUR.2016.16},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/BonakdarpourFRR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icarsc/SavageCMRMN16,
  author    = {Jesus Savage and
               Jesus Cruz and
               Mauricio Matamoros and
               David A. Rosenblueth and
               Stalin Mu{\~{n}}oz and
               Marco Negrete},
  title     = {Configurable Mobile Robot Behaviors Implemented on {FPGA} Based Architectures},
  booktitle = {2016 International Conference on Autonomous Robot Systems and Competitions,
               {ICARSC} 2016, Bragan{\c{c}}a, Portugal, May 4-6, 2016},
  pages     = {317--322},
  year      = {2016},
  crossref  = {DBLP:conf/icarsc/2016},
  url       = {https://doi.org/10.1109/ICARSC.2016.29},
  doi       = {10.1109/ICARSC.2016.29},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icarsc/SavageCMRMN16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/advcs/RioSR15,
  author    = {Manuel Beltr{\'{a}}n del R{\'{\i}}o and
               Christopher R. Stephens and
               David A. Rosenblueth},
  title     = {Fitness Landscape epistasis and Recombination},
  journal   = {Advances in Complex Systems},
  volume    = {18},
  number    = {7-8},
  year      = {2015},
  url       = {https://doi.org/10.1142/S0219525915500265},
  doi       = {10.1142/S0219525915500265},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/advcs/RioSR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amcs/GongoraR15,
  author    = {Pedro Arturo G{\'{o}}ngora and
               David A. Rosenblueth},
  title     = {A Symbolic Shortest Path Algorithm for Computing Subgame-Perfect Nash
               Equilibria},
  journal   = {Applied Mathematics and Computer Science},
  volume    = {25},
  number    = {3},
  pages     = {577--596},
  year      = {2015},
  url       = {http://www.degruyter.com/view/j/amcs.2015.25.issue-3/amcs-2015-0043/amcs-2015-0043.xml},
  timestamp = {Sat, 10 Oct 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/amcs/GongoraR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/WeinsteinOMRAM15,
  author    = {Nathan Weinstein and
               Elizabeth Ortiz{-}Guti{\'{e}}rrez and
               Stalin Mu{\~{n}}oz and
               David A. Rosenblueth and
               Elena R. {\'{A}}lvarez{-}Buylla and
               Luis Mendoza},
  title     = {A model of the regulatory network involved in the control of the cell
               cycle and cell differentiation in the Caenorhabditis elegans vulva},
  journal   = {{BMC} Bioinformatics},
  volume    = {16},
  pages     = {81:1--81:21},
  year      = {2015},
  url       = {https://doi.org/10.1186/s12859-015-0498-z},
  doi       = {10.1186/s12859-015-0498-z},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/bmcbi/WeinsteinOMRAM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HernandezEMSR15,
  author    = {No{\'{e}} Hern{\'{a}}ndez and
               Kerstin Eder and
               Evgeni Magid and
               Jes{\'{u}}s Savage and
               David A. Rosenblueth},
  title     = {Marimba: {A} Tool for Verifying Properties of Hidden Markov Models},
  booktitle = {Automated Technology for Verification and Analysis - 13th International
               Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
  pages     = {201--206},
  year      = {2015},
  crossref  = {DBLP:conf/atva/2015},
  url       = {https://doi.org/10.1007/978-3-319-24953-7\_14},
  doi       = {10.1007/978-3-319-24953-7\_14},
  timestamp = {Mon, 31 Jul 2017 09:06:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/HernandezEMSR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alcob/2015,
  editor    = {Adrian{-}Horia Dediu and
               Francisco Hern{\'{a}}ndez Quiroz and
               Carlos Mart{\'{\i}}n{-}Vide and
               David A. Rosenblueth},
  title     = {Algorithms for Computational Biology - Second International Conference,
               AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9199},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21233-3},
  doi       = {10.1007/978-3-319-21233-3},
  isbn      = {978-3-319-21232-6},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/alcob/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HernandezEMSR15,
  author    = {No{\'{e}} Hern{\'{a}}ndez and
               Kerstin Eder and
               Evgeni Magid and
               Jesus Savage and
               David A. Rosenblueth},
  title     = {Marimba: {A} Tool for Verifying Properties of Hidden Markov Models},
  journal   = {CoRR},
  volume    = {abs/1507.05597},
  year      = {2015},
  url       = {http://arxiv.org/abs/1507.05597},
  archivePrefix = {arXiv},
  eprint    = {1507.05597},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/HernandezEMSR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CarrilloR14,
  author    = {Miguel Carrillo and
               David A. Rosenblueth},
  title     = {{CTL} update of Kripke models through protections},
  journal   = {Artif. Intell.},
  volume    = {211},
  pages     = {51--74},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.artint.2014.02.005},
  doi       = {10.1016/j.artint.2014.02.005},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/CarrilloR14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/ZubillagaCAZFARG14,
  author    = {Dario Zubillaga and
               Geovany Cruz and
               Luis Daniel Aguilar and
               Jorge Zapotecatl and
               Nelson Fern{\'{a}}ndez and
               Jos{\'{e}} Aguilar and
               David A. Rosenblueth and
               Carlos Gershenson},
  title     = {Measuring the Complexity of Self-Organizing Traffic Lights},
  journal   = {Entropy},
  volume    = {16},
  number    = {5},
  pages     = {2384--2407},
  year      = {2014},
  url       = {https://doi.org/10.3390/e16052384},
  doi       = {10.3390/e16052384},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entropy/ZubillagaCAZFARG14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alcob/RosenbluethMCA14,
  author    = {David A. Rosenblueth and
               Stalin Mu{\~{n}}oz and
               Miguel Carrillo and
               Eugenio Azpeitia},
  title     = {Inference of Boolean Networks from Gene Interaction Graphs Using a
               {SAT} Solver},
  booktitle = {Algorithms for Computational Biology - First International Conference,
               AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedigns},
  pages     = {235--246},
  year      = {2014},
  crossref  = {DBLP:conf/alcob/2014},
  url       = {https://doi.org/10.1007/978-3-319-07953-0\_19},
  doi       = {10.1007/978-3-319-07953-0\_19},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/alcob/RosenbluethMCA14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZubillagaCAZFARG14,
  author    = {Dario Zubillaga and
               Geovany Cruz and
               Luis Daniel Aguilar and
               Jorge Zapotecatl and
               Nelson Fern{\'{a}}ndez and
               Jos{\'{e}} Aguilar and
               David A. Rosenblueth and
               Carlos Gershenson},
  title     = {Measuring the Complexity of Self-organizing Traffic Lights},
  journal   = {CoRR},
  volume    = {abs/1402.0197},
  year      = {2014},
  url       = {http://arxiv.org/abs/1402.0197},
  archivePrefix = {arXiv},
  eprint    = {1402.0197},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/ZubillagaCAZFARG14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/FroeseGR13,
  author    = {Tom Froese and
               Carlos Gershenson and
               David A. Rosenblueth},
  title     = {The dynamically extended mind},
  booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
               2013, Cancun, Mexico, June 20-23, 2013},
  pages     = {1419--1426},
  year      = {2013},
  crossref  = {DBLP:conf/cec/2013},
  url       = {https://doi.org/10.1109/CEC.2013.6557730},
  doi       = {10.1109/CEC.2013.6557730},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cec/FroeseGR13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-1958,
  author    = {Tom Froese and
               Carlos Gershenson and
               David A. Rosenblueth},
  title     = {The Dynamically Extended Mind -- {A} Minimal Modeling Case Study},
  journal   = {CoRR},
  volume    = {abs/1305.1958},
  year      = {2013},
  url       = {http://arxiv.org/abs/1305.1958},
  archivePrefix = {arXiv},
  eprint    = {1305.1958},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1305-1958},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/complexity/GershensonR12,
  author    = {Carlos Gershenson and
               David A. Rosenblueth},
  title     = {Self-organizing traffic lights at multiple-street intersections},
  journal   = {Complexity},
  volume    = {17},
  number    = {4},
  pages     = {23--39},
  year      = {2012},
  url       = {https://doi.org/10.1002/cplx.20392},
  doi       = {10.1002/cplx.20392},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/complexity/GershensonR12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/ZenilGMR12,
  author    = {H{\'{e}}ctor Zenil and
               Carlos Gershenson and
               James A. R. Marshall and
               David A. Rosenblueth},
  title     = {Life as Thermodynamic Evidence of Algorithmic Structure in Natural
               Environments},
  journal   = {Entropy},
  volume    = {14},
  number    = {11},
  pages     = {2173--2191},
  year      = {2012},
  url       = {https://doi.org/10.3390/e14112173},
  doi       = {10.3390/e14112173},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entropy/ZenilGMR12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetes/GershensonR12,
  author    = {Carlos Gershenson and
               David A. Rosenblueth},
  title     = {Adaptive self-organization vs static optimization: {A} qualitative
               comparison in traffic light coordination},
  journal   = {Kybernetes},
  volume    = {41},
  number    = {3},
  pages     = {386--403},
  year      = {2012},
  url       = {https://doi.org/10.1108/03684921211229479},
  doi       = {10.1108/03684921211229479},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/kybernetes/GershensonR12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Estivill-CastroHR12,
  author    = {Vladimir Estivill{-}Castro and
               Ren{\'{e}} Hexel and
               David A. Rosenblueth},
  title     = {Efficient Modelling of Embedded Software Systems and their Formal
               Verification},
  booktitle = {19th Asia-Pacific Software Engineering Conference, {APSEC} 2012, Hong
               Kong, China, December 4-7, 2012},
  pages     = {428--433},
  year      = {2012},
  crossref  = {DBLP:conf/apsec/2012},
  url       = {https://doi.org/10.1109/APSEC.2012.21},
  doi       = {10.1109/APSEC.2012.21},
  timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/Estivill-CastroHR12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taros/LlarenaR12,
  author    = {Adalberto Llarena and
               David A. Rosenblueth},
  title     = {Model Checking Applied to Humanoid Robotic Soccer},
  booktitle = {Advances in Autonomous Robotics - Joint Proceedings of the 13th Annual
               {TAROS} Conference and the 15th Annual {FIRA} RoboWorld Congress,
               Bristol, UK, August 20-23, 2012},
  pages     = {256--269},
  year      = {2012},
  crossref  = {DBLP:conf/taros/2012},
  url       = {https://doi.org/10.1007/978-3-642-32527-4\_23},
  doi       = {10.1007/978-3-642-32527-4\_23},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/taros/LlarenaR12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/ArellanoAABCGRA11,
  author    = {Gustavo Arellano and
               Juli{\'{a}}n Argil and
               Eugenio Azpeitia and
               Mariana Ben{\'{\i}}tez and
               Miguel Carrillo and
               Pedro Arturo G{\'{o}}ngora and
               David A. Rosenblueth and
               Elena R. {\'{A}}lvarez{-}Buylla},
  title     = {"Antelope": a hybrid-logic model checker for branching-time
               Boolean {GRN} analysis},
  journal   = {{BMC} Bioinformatics},
  volume    = {12},
  pages     = {490},
  year      = {2011},
  url       = {https://doi.org/10.1186/1471-2105-12-490},
  doi       = {10.1186/1471-2105-12-490},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/bmcbi/ArellanoAABCGRA11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsys/RosenbluethG11,
  author    = {David A. Rosenblueth and
               Carlos Gershenson},
  title     = {A Model of City Traffic Based on Elementary Cellular Automata},
  journal   = {Complex Systems},
  volume    = {19},
  number    = {4},
  year      = {2011},
  url       = {http://www.complex-systems.com/abstracts/v19\_i04\_a01.html},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/compsys/RosenbluethG11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/CarrilloR11,
  author    = {Miguel Carrillo and
               David A. Rosenblueth},
  title     = {Nondeterministic Update of {CTL} Models by Preserving Satisfaction
               through Protections},
  booktitle = {Automated Technology for Verification and Analysis, 9th International
               Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
  pages     = {60--74},
  year      = {2011},
  crossref  = {DBLP:conf/atva/2011},
  url       = {https://doi.org/10.1007/978-3-642-24372-1\_6},
  doi       = {10.1007/978-3-642-24372-1\_6},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/CarrilloR11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgit/Estivill-CastroR11,
  author    = {Vladimir Estivill{-}Castro and
               David A. Rosenblueth},
  title     = {Model Checking of Transition-Labeled Finite-State Machines},
  booktitle = {Software Engineering, Business Continuity, and Education - International
               Conferences ASEA, {DRBC} and {EL} 2011, Held as Part of the Future
               Generation Information Technology Conference, {FGIT} 2011, in Conjunction
               with {GDC} 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings},
  pages     = {61--73},
  year      = {2011},
  crossref  = {DBLP:conf/fgit/2011asea},
  url       = {https://doi.org/10.1007/978-3-642-27207-3\_8},
  doi       = {10.1007/978-3-642-27207-3\_8},
  timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fgit/Estivill-CastroR11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-2829,
  author    = {Carlos Gershenson and
               David A. Rosenblueth},
  title     = {Self-organizing traffic lights at multiple-street intersections},
  journal   = {CoRR},
  volume    = {abs/1104.2829},
  year      = {2011},
  url       = {http://arxiv.org/abs/1104.2829},
  archivePrefix = {arXiv},
  eprint    = {1104.2829},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1104-2829},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/GongoraR09,
  author    = {Pedro Arturo G{\'{o}}ngora and
               David A. Rosenblueth},
  title     = {A Characterization of Mixed-Strategy Nash Equilibria in {PCTL} Augmented
               with a Cost Quantifier},
  booktitle = {Computational Logic in Multi-Agent Systems - 10th International Workshop,
               {CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected
               and Invited Papers},
  pages     = {158--177},
  year      = {2009},
  crossref  = {DBLP:conf/clima/2009},
  url       = {https://doi.org/10.1007/978-3-642-16867-3\_9},
  doi       = {10.1007/978-3-642-16867-3\_9},
  timestamp = {Tue, 20 Feb 2018 18:30:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/clima/GongoraR09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/RosenbluethS09,
  author    = {David A. Rosenblueth and
               Christopher R. Stephens},
  title     = {An Analysis of Recombination in Some Simple Landscapes},
  booktitle = {{MICAI} 2009: Advances in Artificial Intelligence, 8th Mexican International
               Conference on Artificial Intelligence, Guanajuato, Mexico, November
               9-13, 2009. Proceedings},
  pages     = {716--727},
  year      = {2009},
  crossref  = {DBLP:conf/micai/2009},
  url       = {https://doi.org/10.1007/978-3-642-05258-3\_63},
  doi       = {10.1007/978-3-642-05258-3\_63},
  timestamp = {Wed, 14 Nov 2018 10:59:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/micai/RosenbluethS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0907-1925,
  author    = {Carlos Gershenson and
               David A. Rosenblueth},
  title     = {Modeling self-organizing traffic lights with elementary cellular automata},
  journal   = {CoRR},
  volume    = {abs/0907.1925},
  year      = {2009},
  url       = {http://arxiv.org/abs/0907.1925},
  archivePrefix = {arXiv},
  eprint    = {0907.1925},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0907-1925},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/exact/CarrilloR07,
  author    = {Miguel Carrillo and
               David A. Rosenblueth},
  title     = {Learning Models from Temporal-Logic Properties via Explanations},
  booktitle = {Explanation-Aware Computing, Papers from the 2007 {AAAI} Workshop,
               Vancouver, British Columbia, Canada, July 22-23, 2007},
  pages     = {10--13},
  year      = {2007},
  crossref  = {DBLP:conf/exact/2007},
  timestamp = {Thu, 22 Nov 2018 12:15:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/exact/CarrilloR07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Rosenblueth06,
  author    = {David A. Rosenblueth},
  title     = {A Multiple-Clause Folding Rule Using Instantiation and Generalization},
  journal   = {Fundam. Inform.},
  volume    = {69},
  number    = {1-2},
  pages     = {219--249},
  year      = {2006},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi69-1-2-08},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/Rosenblueth06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Rosenblueth05,
  author    = {David A. Rosenblueth},
  title     = {Incorporating a folding rule into inductive logic programming},
  booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
               on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
               5, 2005},
  pages     = {1630--1631},
  year      = {2005},
  crossref  = {DBLP:conf/ijcai/2005},
  url       = {http://ijcai.org/Proceedings/05/Papers/post-0226.pdf},
  timestamp = {Wed, 20 Jul 2016 09:10:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/Rosenblueth05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/HernandezR03,
  author    = {Manuel Hern{\'{a}}ndez and
               David A. Rosenblueth},
  title     = {Disjunctive partial deduction of a right-to-left string-matching algorithm},
  journal   = {Inf. Process. Lett.},
  volume    = {87},
  number    = {5},
  pages     = {235--241},
  year      = {2003},
  url       = {https://doi.org/10.1016/S0020-0190(03)00309-0},
  doi       = {10.1016/S0020-0190(03)00309-0},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/HernandezR03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Rosenblueth03,
  author    = {David A. Rosenblueth},
  title     = {A Distinct-Head Folding Rule},
  booktitle = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
               India, December 9-13, 2003, Proceedings},
  pages     = {505--506},
  year      = {2003},
  crossref  = {DBLP:conf/iclp/2003},
  url       = {https://doi.org/10.1007/978-3-540-24599-5\_44},
  doi       = {10.1007/978-3-540-24599-5\_44},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/Rosenblueth03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Rosenblueth02,
  author    = {David A. Rosenblueth},
  title     = {Chain Programs for Writing Deterministic Metainterpreters},
  journal   = {{TPLP}},
  volume    = {2},
  number    = {2},
  pages     = {203--232},
  year      = {2002},
  url       = {https://doi.org/10.1017/S147106840100134X},
  doi       = {10.1017/S147106840100134X},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/Rosenblueth02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Collado-VidesMPSHGRCBMGSBDSM02,
  author    = {Julio Collado{-}Vides and
               Gabriel Moreno{-}Hagelsieb and
               Ernesto P{\'{e}}rez{-}Rueda and
               Heladia Salgado and
               Araceli M. Huerta and
               Rosa Mar{\'{\i}}a Guti{\'{e}}rrez and
               David A. Rosenblueth and
               Andr{\'{e}}s Christen and
               Esperanza Ben{\'{\i}}tez{-}Bell{\'{o}}n and
               Arturo Medrano{-}Soto and
               Socorro Gama{-}Castro and
               Alberto Santos{-}Zavaleta and
               C{\'{e}}sar Bonavides{-}Mart{\'{\i}}nez and
               Edgar D{\'{\i}}az{-}Peredo and
               Fabiola S{\'{a}}nchez{-}Solano and
               Dulce Mar{\'{\i}}a Mill{\'{a}}},
  title     = {Genomics of Gene Regulation: The View from Escherichia coli},
  booktitle = {Gene Regulations and Metabolism - Postgenomic Computational Approaches},
  pages     = {103--128},
  year      = {2002},
  crossref  = {DBLP:conf/dagstuhl/2002gene},
  timestamp = {Tue, 28 Aug 2007 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/Collado-VidesMPSHGRCBMGSBDSM02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/HernandezR01,
  author    = {Manuel Hern{\'{a}}ndez and
               David A. Rosenblueth},
  title     = {Development Reuse and the Logic Program Derivation of Two String-Matching
               Algorithms},
  booktitle = {Proceedings of the 3rd international {ACM} {SIGPLAN} conference on
               Principles and practice of declarative programming, September 5-7,
               2001, Florence, Italy},
  pages     = {38--48},
  year      = {2001},
  crossref  = {DBLP:conf/ppdp/2001},
  url       = {https://doi.org/10.1145/773184.773190},
  doi       = {10.1145/773184.773190},
  timestamp = {Tue, 06 Nov 2018 16:57:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/HernandezR01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0104003,
  author    = {David A. Rosenblueth},
  title     = {Chain Programs for Writing Deterministic Metainterpreters},
  journal   = {CoRR},
  volume    = {cs.LO/0104003},
  year      = {2001},
  url       = {http://arxiv.org/abs/cs.LO/0104003},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/cs-LO-0104003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/RosenbluethP98,
  author    = {David A. Rosenblueth and
               Julio C. Peralta},
  title     = {{SLR} Inference an Inference System for Fixed-Mode Logic Programs
               Based on {SLR} Parsing},
  journal   = {J. Log. Program.},
  volume    = {34},
  number    = {3},
  pages     = {227--259},
  year      = {1998},
  url       = {https://doi.org/10.1016/S0743-1066(96)00076-3},
  doi       = {10.1016/S0743-1066(96)00076-3},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/RosenbluethP98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Rosenblueth98,
  author    = {David A. Rosenblueth},
  title     = {An Exhaustive-Search Method Using Layered Streams Obtained Through
               a Meta-Interpreter for Chain Programs},
  booktitle = {Logic Programming Synthesis and Transformation, 8th International
               Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings},
  pages     = {322--324},
  year      = {1998},
  crossref  = {DBLP:conf/lopstr/1998},
  url       = {https://doi.org/10.1007/3-540-48958-4\_22},
  doi       = {10.1007/3-540-48958-4\_22},
  timestamp = {Tue, 23 May 2017 14:54:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/Rosenblueth98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/RosenbluethTHSC96,
  author    = {David A. Rosenblueth and
               Denis Thieffry and
               Araceli M. Huerta and
               Heladia Salgado and
               Julio Collado{-}Vides},
  title     = {Syntactic recognition of regulatory regions in Escherichia coli},
  journal   = {Computer Applications in the Biosciences},
  volume    = {12},
  number    = {5},
  pages     = {415--422},
  year      = {1996},
  url       = {https://doi.org/10.1093/bioinformatics/12.5.415},
  doi       = {10.1093/bioinformatics/12.5.415},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/bioinformatics/RosenbluethTHSC96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Rosenblueth96,
  author    = {David A. Rosenblueth},
  title     = {Chart Parsers as Inference Systems for Fixed-Mode Logic Programs},
  journal   = {New Generation Comput.},
  volume    = {14},
  number    = {4},
  pages     = {429--458},
  year      = {1996},
  url       = {https://doi.org/10.1007/BF03037212},
  doi       = {10.1007/BF03037212},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ngc/Rosenblueth96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/RosenbluethP94,
  author    = {David A. Rosenblueth and
               Julio C. Peralta},
  title     = {{LR} Inference: Inference Systems for Fixed-Mode Logic Programs, Based
               on {LR} Parsing},
  booktitle = {Logic Programming, Proceedings of the 1994 International Symposium,
               Ithaca, New York, USA, November 13-17, 1994},
  pages     = {439--453},
  year      = {1994},
  crossref  = {DBLP:conf/slp/1994},
  timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/slp/RosenbluethP94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Rosenblueth93,
  author    = {David A. Rosenblueth},
  title     = {An Execution Mechanism for Nondeterministic, State-Oriented Programs
               Based on a Chart Parser},
  journal   = {Inf. Process. Lett.},
  volume    = {45},
  number    = {4},
  pages     = {211--217},
  year      = {1993},
  url       = {https://doi.org/10.1016/0020-0190(93)90121-O},
  doi       = {10.1016/0020-0190(93)90121-O},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/Rosenblueth93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/Rosenblueth92,
  author    = {David A. Rosenblueth},
  title     = {Chart Parsers as Proof Procedures for Fixed-Mode Logic Programs},
  booktitle = {{FGCS}},
  pages     = {1125--1132},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fgcs/Rosenblueth92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2016,
  editor    = {Ezio Bartocci and
               Pietro Li{\`{o}} and
               Nicola Paoletti},
  title     = {Computational Methods in Systems Biology - 14th International Conference,
               {CMSB} 2016, Cambridge, UK, September 21-23, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9859},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-45177-0},
  doi       = {10.1007/978-3-319-45177-0},
  isbn      = {978-3-319-45176-3},
  timestamp = {Wed, 24 May 2017 08:27:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2016,
  editor    = {Jos{\'{e}}e Desharnais and
               Radha Jagadeesan},
  title     = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
               August 23-26, 2016, Qu{\'{e}}bec City, Canada},
  series    = {LIPIcs},
  volume    = {59},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2016},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-017-0},
  isbn      = {978-3-95977-017-0},
  timestamp = {Tue, 30 Aug 2016 15:28:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icarsc/2016,
  editor    = {Bernardo Cunha and
               Jos{\'{e}} Lima and
               Manuel F. Silva and
               Paulo Leit{\~{a}}o},
  title     = {2016 International Conference on Autonomous Robot Systems and Competitions,
               {ICARSC} 2016, Bragan{\c{c}}a, Portugal, May 4-6, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7781468},
  isbn      = {978-1-5090-2255-7},
  timestamp = {Tue, 20 Dec 2016 13:21:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icarsc/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2015,
  editor    = {Bernd Finkbeiner and
               Geguang Pu and
               Lijun Zhang},
  title     = {Automated Technology for Verification and Analysis - 13th International
               Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9364},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24953-7},
  doi       = {10.1007/978-3-319-24953-7},
  isbn      = {978-3-319-24952-0},
  timestamp = {Mon, 31 Jul 2017 09:06:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alcob/2014,
  editor    = {Adrian{-}Horia Dediu and
               Carlos Mart{\'{\i}}n{-}Vide and
               Bianca Truthe},
  title     = {Algorithms for Computational Biology - First International Conference,
               AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedigns},
  series    = {Lecture Notes in Computer Science},
  volume    = {8542},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-07953-0},
  doi       = {10.1007/978-3-319-07953-0},
  isbn      = {978-3-319-07952-3},
  timestamp = {Sun, 21 May 2017 00:19:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/alcob/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cec/2013,
  title     = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
               2013, Cancun, Mexico, June 20-23, 2013},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6552460},
  isbn      = {978-1-4799-0452-5},
  timestamp = {Thu, 05 Sep 2013 15:35:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cec/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apsec/2012,
  editor    = {Karl R. P. H. Leung and
               Pornsiri Muenchaisri},
  title     = {19th Asia-Pacific Software Engineering Conference, {APSEC} 2012, Hong
               Kong, China, December 4-7, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=6462577},
  isbn      = {978-0-7695-4922-4},
  timestamp = {Tue, 12 Mar 2013 11:04:50 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/taros/2012,
  editor    = {Guido Herrmann and
               Matthew Studley and
               Martin J. Pearson and
               Andrew T. Conn and
               Chris Melhuish and
               Mark Witkowski and
               Jong{-}Hwan Kim and
               Prahlad Vadakkepat},
  title     = {Advances in Autonomous Robotics - Joint Proceedings of the 13th Annual
               {TAROS} Conference and the 15th Annual {FIRA} RoboWorld Congress,
               Bristol, UK, August 20-23, 2012},
  series    = {Lecture Notes in Computer Science},
  volume    = {7429},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32527-4},
  doi       = {10.1007/978-3-642-32527-4},
  isbn      = {978-3-642-32526-7},
  timestamp = {Fri, 26 May 2017 00:49:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/taros/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2011,
  editor    = {Tevfik Bultan and
               Pao{-}Ann Hsiung},
  title     = {Automated Technology for Verification and Analysis, 9th International
               Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6996},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-24372-1},
  doi       = {10.1007/978-3-642-24372-1},
  isbn      = {978-3-642-24371-4},
  timestamp = {Sun, 21 May 2017 00:22:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fgit/2011asea,
  editor    = {Tai{-}Hoon Kim and
               Hojjat Adeli and
               Haeng{-}Kon Kim and
               Heau{-}Jo Kang and
               Kyung Jung Kim and
               Kiumi Akingbehin and
               Byeong Ho Kang},
  title     = {Software Engineering, Business Continuity, and Education - International
               Conferences ASEA, {DRBC} and {EL} 2011, Held as Part of the Future
               Generation Information Technology Conference, {FGIT} 2011, in Conjunction
               with {GDC} 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings},
  series    = {Communications in Computer and Information Science},
  volume    = {257},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-27207-3},
  doi       = {10.1007/978-3-642-27207-3},
  isbn      = {978-3-642-27206-6},
  timestamp = {Thu, 15 Jun 2017 21:37:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fgit/2011asea},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clima/2009,
  editor    = {J{\"{u}}rgen Dix and
               Michael Fisher and
               Peter Nov{\'{a}}k},
  title     = {Computational Logic in Multi-Agent Systems - 10th International Workshop,
               {CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected
               and Invited Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6214},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16867-3},
  doi       = {10.1007/978-3-642-16867-3},
  isbn      = {978-3-642-16866-6},
  timestamp = {Tue, 20 Feb 2018 18:30:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/clima/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/micai/2009,
  editor    = {Arturo Hern{\'{a}}ndez Aguirre and
               Ra{\'{u}}l Monroy Borja and
               Carlos A. Reyes Garc{\'{\i}}a},
  title     = {{MICAI} 2009: Advances in Artificial Intelligence, 8th Mexican International
               Conference on Artificial Intelligence, Guanajuato, Mexico, November
               9-13, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5845},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-05258-3},
  doi       = {10.1007/978-3-642-05258-3},
  isbn      = {978-3-642-05257-6},
  timestamp = {Wed, 14 Nov 2018 10:59:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/micai/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/exact/2007,
  editor    = {Thomas Roth{-}Berghofer and
               Stefan Schulz and
               Daniel Bahls and
               David B. Leake},
  title     = {Explanation-Aware Computing, Papers from the 2007 {AAAI} Workshop,
               Vancouver, British Columbia, Canada, July 22-23, 2007},
  series    = {{AAAI} Technical Report},
  volume    = {{WS-07-06}},
  publisher = {{AAAI} Press},
  year      = {2007},
  isbn      = {978-1-57735-333-1},
  timestamp = {Thu, 22 Nov 2018 12:15:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/exact/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2005,
  editor    = {Leslie Pack Kaelbling and
               Alessandro Saffiotti},
  title     = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
               on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
               5, 2005},
  publisher = {Professional Book Center},
  year      = {2005},
  url       = {http://ijcai.org/proceedings/2005},
  isbn      = {0938075934},
  timestamp = {Wed, 20 Jul 2016 09:10:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2003,
  editor    = {Catuscia Palamidessi},
  title     = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
               India, December 9-13, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2916},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b94619},
  doi       = {10.1007/b94619},
  isbn      = {3-540-20642-6},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2002gene,
  editor    = {Julio Collado{-}Vides and
               Ralf Hofest{\"{a}}dt},
  title     = {Gene Regulations and Metabolism - Postgenomic Computational Approaches},
  publisher = {{MIT} Press},
  year      = {2002},
  isbn      = {0-262-03297-X},
  timestamp = {Tue, 20 Aug 2002 13:42:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2002gene},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2001,
  title     = {Proceedings of the 3rd international {ACM} {SIGPLAN} conference on
               Principles and practice of declarative programming, September 5-7,
               2001, Florence, Italy},
  publisher = {{ACM}},
  year      = {2001},
  url       = {https://doi.org/10.1145/773184},
  doi       = {10.1145/773184},
  isbn      = {1-58113-388-X},
  timestamp = {Tue, 06 Nov 2018 16:57:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/1998,
  editor    = {Pierre Flener},
  title     = {Logic Programming Synthesis and Transformation, 8th International
               Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1559},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/3-540-48958-4},
  doi       = {10.1007/3-540-48958-4},
  isbn      = {3-540-65765-7},
  timestamp = {Tue, 23 May 2017 14:54:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/slp/1994,
  editor    = {Maurice Bruynooghe},
  title     = {Logic Programming, Proceedings of the 1994 International Symposium,
               Ithaca, New York, USA, November 13-17, 1994},
  publisher = {{MIT} Press},
  year      = {1994},
  isbn      = {0-262-52191-1},
  timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/slp/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier