BibTeX records: Stephen M. Majercik

download as .bib file

@inproceedings{DBLP:conf/evoW/MauceriM17,
  author    = {Frank Mauceri and
               Stephen M. Majercik},
  title     = {A Swarm Environment for Experimental Performance and Improvisation},
  booktitle = {Computational Intelligence in Music, Sound, Art and Design - 6th International
               Conference, EvoMUSART 2017, Amsterdam, The Netherlands, April 19-21,
               2017, Proceedings},
  pages     = {190--200},
  year      = {2017},
  crossref  = {DBLP:conf/evoW/2017musart},
  url       = {https://doi.org/10.1007/978-3-319-55750-2\_13},
  doi       = {10.1007/978-3-319-55750-2\_13},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/evoW/MauceriM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/antsw/Majercik14,
  author    = {Stephen M. Majercik},
  title     = {Using Fluid Neural Networks to Create Dynamic Neighborhood Topologies
               in Particle Swarm Optimization},
  booktitle = {Swarm Intelligence - 9th International Conference, {ANTS} 2014, Brussels,
               Belgium, September 10-12, 2014. Proceedings},
  pages     = {270--277},
  year      = {2014},
  crossref  = {DBLP:conf/antsw/2014},
  url       = {https://doi.org/10.1007/978-3-319-09952-1\_26},
  doi       = {10.1007/978-3-319-09952-1\_26},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/antsw/Majercik14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcci/Majercik13,
  author    = {Stephen M. Majercik},
  title     = {{GREEN-PSO:} Conserving Function Evaluations in Particle Swarm Optimization},
  booktitle = {{IJCCI} 2013 - Proceedings of the 5th International Joint Conference
               on Computational Intelligence, Vilamoura, Algarve, Portugal, 20-22
               September, 2013},
  pages     = {160--167},
  year      = {2013},
  crossref  = {DBLP:conf/ijcci/2013},
  url       = {https://doi.org/10.5220/0004555501600167},
  doi       = {10.5220/0004555501600167},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcci/Majercik13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/RichardM12,
  author    = {William K. Richard and
               Stephen M. Majercik},
  title     = {Swarm-based path creation in dynamic environments for search and rescue},
  booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} '12, Philadelphia,
               PA, USA, July 7-11, 2012, Companion Material Proceedings},
  pages     = {1401--1402},
  year      = {2012},
  crossref  = {DBLP:conf/gecco/2012c},
  url       = {https://doi.org/10.1145/2330784.2330952},
  doi       = {10.1145/2330784.2330952},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gecco/RichardM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsos/Majercik12,
  author    = {Stephen M. Majercik},
  title     = {Initial Experiments in Using Communication Swarms to Improve the Performance
               of Swarm Systems},
  booktitle = {Self-Organizing Systems - 6th {IFIP} {TC} 6 International Workshop,
               {IWSOS} 2012, Delft, The Netherlands, March 15-16, 2012. Proceedings},
  pages     = {109--114},
  year      = {2012},
  crossref  = {DBLP:conf/iwsos/2012},
  url       = {https://doi.org/10.1007/978-3-642-28583-7\_12},
  doi       = {10.1007/978-3-642-28583-7\_12},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwsos/Majercik12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/Majercik09,
  author    = {Stephen M. Majercik},
  title     = {Stochastic Boolean Satisfiability},
  booktitle = {Handbook of Satisfiability},
  pages     = {887--925},
  year      = {2009},
  crossref  = {DBLP:series/faia/2009-185},
  url       = {https://doi.org/10.3233/978-1-58603-929-5-887},
  doi       = {10.3233/978-1-58603-929-5-887},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/series/faia/Majercik09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/Majercik07,
  author    = {Stephen M. Majercik},
  title     = {{APPSSAT:} Approximate probabilistic planning using stochastic satisfiability},
  journal   = {Int. J. Approx. Reasoning},
  volume    = {45},
  number    = {2},
  pages     = {402--419},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.ijar.2006.06.016},
  doi       = {10.1016/j.ijar.2006.06.016},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijar/Majercik07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MajercikB05,
  author    = {Stephen M. Majercik and
               Byron Boots},
  title     = {{DC-SSAT:} {A} Divide-and-Conquer Approach to Solving Stochastic Satisfiability
               Problems Efficiently},
  booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence
               and the Seventeenth Innovative Applications of Artificial Intelligence
               Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
  pages     = {416--422},
  year      = {2005},
  crossref  = {DBLP:conf/aaai/2005},
  url       = {http://www.aaai.org/Library/AAAI/2005/aaai05-066.php},
  timestamp = {Mon, 10 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/MajercikB05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/Majercik05,
  author    = {Stephen M. Majercik},
  title     = {{APPSSAT:} Approximate Probabilistic Planning Using Stochastic Satisfiability},
  booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
               8th European Conference, {ECSQARU} 2005, Barcelona, Spain, July 6-8,
               2005, Proceedings},
  pages     = {209--220},
  year      = {2005},
  crossref  = {DBLP:conf/ecsqaru/2005},
  url       = {https://doi.org/10.1007/11518655\_19},
  doi       = {10.1007/11518655\_19},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecsqaru/Majercik05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Majercik04,
  author    = {Stephen M. Majercik},
  title     = {Nonchronological Backtracking in Stochastic Boolean Satisfiability},
  booktitle = {16th {IEEE} International Conference on Tools with Artificial Intelligence
               {(ICTAI} 2004), 15-17 November 2004, Boca Raton, FL, {USA}},
  pages     = {498--507},
  year      = {2004},
  crossref  = {DBLP:conf/ictai/2004},
  url       = {https://doi.org/10.1109/ICTAI.2004.94},
  doi       = {10.1109/ICTAI.2004.94},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictai/Majercik04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MajercikL03,
  author    = {Stephen M. Majercik and
               Michael L. Littman},
  title     = {Contingent planning under uncertainty via stochastic satisfiability},
  journal   = {Artif. Intell.},
  volume    = {147},
  number    = {1-2},
  pages     = {119--162},
  year      = {2003},
  url       = {https://doi.org/10.1016/S0004-3702(02)00379-X},
  doi       = {10.1016/S0004-3702(02)00379-X},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/MajercikL03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/MajercikR02,
  author    = {Stephen M. Majercik and
               Andrew P. Rusczek},
  title     = {Faster Probabilistic Planning through More Efficient Stochastic Satisfiability
               Problem Encodings},
  booktitle = {Proceedings of the Sixth International Conference on Artificial Intelligence
               Planning Systems, April 23-27, 2002, Toulouse, France},
  pages     = {163--172},
  year      = {2002},
  crossref  = {DBLP:conf/aips/2002},
  url       = {http://www.aaai.org/Library/AIPS/2002/aips02-017.php},
  timestamp = {Thu, 13 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aips/MajercikR02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/LittmanMP01,
  author    = {Michael L. Littman and
               Stephen M. Majercik and
               Toniann Pitassi},
  title     = {Stochastic Boolean Satisfiability},
  journal   = {J. Autom. Reasoning},
  volume    = {27},
  number    = {3},
  pages     = {251--296},
  year      = {2001},
  url       = {https://doi.org/10.1023/A:1017584715408},
  doi       = {10.1023/A:1017584715408},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jar/LittmanMP01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MajercikL99,
  author    = {Stephen M. Majercik and
               Michael L. Littman},
  title     = {Contingent Planning Under Uncertainty via Stochastic Satisfiability},
  booktitle = {Proceedings of the Sixteenth National Conference on Artificial Intelligence
               and Eleventh Conference on Innovative Applications of Artificial Intelligence,
               July 18-22, 1999, Orlando, Florida, {USA.}},
  pages     = {549--556},
  year      = {1999},
  crossref  = {DBLP:conf/aaai/1999},
  url       = {http://www.aaai.org/Library/AAAI/1999/aaai99-078.php},
  timestamp = {Tue, 11 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/MajercikL99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Majercik99,
  author    = {Stephen M. Majercik},
  title     = {Planning Under Uncertainty via Stochastic Statisfiability},
  booktitle = {Proceedings of the Sixteenth National Conference on Artificial Intelligence
               and Eleventh Conference on Innovative Applications of Artificial Intelligence,
               July 18-22, 1999, Orlando, Florida, {USA.}},
  pages     = {950},
  year      = {1999},
  crossref  = {DBLP:conf/aaai/1999},
  url       = {http://www.aaai.org/Library/AAAI/1999/aaai99-158.php},
  timestamp = {Tue, 11 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/Majercik99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MajercikL98,
  author    = {Stephen M. Majercik and
               Michael L. Littman},
  title     = {Using Caching to Solve Larger Probabilistic Planning Problems},
  booktitle = {Proceedings of the Fifteenth National Conference on Artificial Intelligence
               and Tenth Innovative Applications of Artificial Intelligence Conference,
               {AAAI} 98, {IAAI} 98, July 26-30, 1998, Madison, Wisconsin, {USA.}},
  pages     = {954--959},
  year      = {1998},
  crossref  = {DBLP:conf/aaai/1998},
  url       = {http://www.aaai.org/Library/AAAI/1998/aaai98-135.php},
  timestamp = {Tue, 11 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/MajercikL98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/MajercikL98,
  author    = {Stephen M. Majercik and
               Michael L. Littman},
  title     = {{MAXPLAN:} {A} New Approach to Probabilistic Planning},
  booktitle = {Proceedings of the Fourth International Conference on Artificial Intelligence
               Planning Systems, Pittsburgh, Pennsylvania, USA, 1998},
  pages     = {86--93},
  year      = {1998},
  crossref  = {DBLP:conf/aips/1998},
  url       = {http://www.aaai.org/Library/AIPS/1998/aips98-011.php},
  timestamp = {Thu, 13 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aips/MajercikL98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/evoW/2017musart,
  editor    = {Jo{\~{a}}o Correia and
               Vic Ciesielski and
               Antonios Liapis},
  title     = {Computational Intelligence in Music, Sound, Art and Design - 6th International
               Conference, EvoMUSART 2017, Amsterdam, The Netherlands, April 19-21,
               2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10198},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-55750-2},
  doi       = {10.1007/978-3-319-55750-2},
  isbn      = {978-3-319-55749-6},
  timestamp = {Sun, 21 May 2017 00:20:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/evoW/2017musart},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/antsw/2014,
  editor    = {Marco Dorigo and
               Mauro Birattari and
               Simon Garnier and
               Heiko Hamann and
               Marco Antonio Montes de Oca and
               Christine Solnon and
               Thomas St{\"{u}}tzle},
  title     = {Swarm Intelligence - 9th International Conference, {ANTS} 2014, Brussels,
               Belgium, September 10-12, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8667},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09952-1},
  doi       = {10.1007/978-3-319-09952-1},
  isbn      = {978-3-319-09951-4},
  timestamp = {Fri, 26 May 2017 00:50:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/antsw/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcci/2013,
  editor    = {Agostinho C. Rosa and
               Ant{\'{o}}nio Dourado and
               Kurosh Madani Correia and
               Joaquim Filipe and
               Janusz Kacprzyk},
  title     = {{IJCCI} 2013 - Proceedings of the 5th International Joint Conference
               on Computational Intelligence, Vilamoura, Algarve, Portugal, 20-22
               September, 2013},
  publisher = {SciTePress},
  year      = {2013},
  isbn      = {978-989-8565-77-8},
  timestamp = {Fri, 16 May 2014 08:12:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcci/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gecco/2012c,
  editor    = {Terence Soule and
               Jason H. Moore},
  title     = {Genetic and Evolutionary Computation Conference, {GECCO} '12, Philadelphia,
               PA, USA, July 7-11, 2012, Companion Material Proceedings},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2330784},
  isbn      = {978-1-4503-1178-6},
  timestamp = {Thu, 12 Jul 2012 09:33:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gecco/2012c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwsos/2012,
  editor    = {Fernando A. Kuipers and
               Poul E. Heegaard},
  title     = {Self-Organizing Systems - 6th {IFIP} {TC} 6 International Workshop,
               {IWSOS} 2012, Delft, The Netherlands, March 15-16, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7166},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28583-7},
  doi       = {10.1007/978-3-642-28583-7},
  isbn      = {978-3-642-28582-0},
  timestamp = {Wed, 24 May 2017 08:29:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwsos/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:series/faia/2009-185,
  editor    = {Armin Biere and
               Marijn Heule and
               Hans van Maaren and
               Toby Walsh},
  title     = {Handbook of Satisfiability},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {185},
  publisher = {{IOS} Press},
  year      = {2009},
  isbn      = {978-1-58603-929-5},
  timestamp = {Wed, 16 Sep 2009 11:21:15 +0200},
  biburl    = {https://dblp.org/rec/bib/series/faia/2009-185},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2005,
  editor    = {Manuela M. Veloso and
               Subbarao Kambhampati},
  title     = {Proceedings, The Twentieth National Conference on Artificial Intelligence
               and the Seventeenth Innovative Applications of Artificial Intelligence
               Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {2005},
  isbn      = {1-57735-236-X},
  timestamp = {Mon, 26 Feb 2007 09:10:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecsqaru/2005,
  editor    = {Lluis Godo},
  title     = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
               8th European Conference, {ECSQARU} 2005, Barcelona, Spain, July 6-8,
               2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3571},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b138862},
  doi       = {10.1007/b138862},
  isbn      = {3-540-27326-3},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecsqaru/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictai/2004,
  title     = {16th {IEEE} International Conference on Tools with Artificial Intelligence
               {(ICTAI} 2004), 15-17 November 2004, Boca Raton, FL, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9460},
  isbn      = {0-7695-2236-X},
  timestamp = {Thu, 18 Dec 2014 16:57:40 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ictai/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aips/2002,
  editor    = {Malik Ghallab and
               Joachim Hertzberg and
               Paolo Traverso},
  title     = {Proceedings of the Sixth International Conference on Artificial Intelligence
               Planning Systems, April 23-27, 2002, Toulouse, France},
  publisher = {{AAAI}},
  year      = {2002},
  isbn      = {1-57735-142-8},
  timestamp = {Wed, 02 Jul 2003 13:09:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aips/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/1999,
  editor    = {Jim Hendler and
               Devika Subramanian},
  title     = {Proceedings of the Sixteenth National Conference on Artificial Intelligence
               and Eleventh Conference on Innovative Applications of Artificial Intelligence,
               July 18-22, 1999, Orlando, Florida, {USA}},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {1999},
  url       = {http://www.aaai.org/Conferences/AAAI/aaai99.php},
  isbn      = {0-262-51106-1},
  timestamp = {Thu, 01 Dec 2011 17:16:21 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/1998,
  editor    = {Jack Mostow and
               Chuck Rich},
  title     = {Proceedings of the Fifteenth National Conference on Artificial Intelligence
               and Tenth Innovative Applications of Artificial Intelligence Conference,
               {AAAI} 98, {IAAI} 98, July 26-30, 1998, Madison, Wisconsin, {USA}},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {1998},
  url       = {http://www.aaai.org/Conferences/AAAI/aaai98.php},
  isbn      = {0-262-51098-7},
  timestamp = {Thu, 01 Dec 2011 17:16:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aips/1998,
  editor    = {Reid G. Simmons and
               Manuela M. Veloso and
               Stephen F. Smith},
  title     = {Proceedings of the Fourth International Conference on Artificial Intelligence
               Planning Systems, Pittsburgh, Pennsylvania, USA, 1998},
  publisher = {{AAAI}},
  year      = {1998},
  isbn      = {1-57735-052-9},
  timestamp = {Fri, 06 Jan 2012 08:39:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aips/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier