Search dblp for Publications

export results for "toc:db/conf/aaai/abstr2010.bht:"

 download as .bib file

@inproceedings{DBLP:conf/aaai/BartakKZ10,
  author       = {Roman Bart{\'{a}}k and
                  Ondrej Kuzelka and
                  Filip Zelezn{\'{y}}},
  title        = {Formulating Template Consistency in Inductive Logic Programming as
                  a Constraint Satisfaction Problem},
  booktitle    = {Abstraction, Reformulation, and Approximation, Papers from the 2010
                  {AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-10-08}},
  publisher    = {{AAAI}},
  year         = {2010},
  url          = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2065},
  timestamp    = {Tue, 05 Sep 2023 08:59:27 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BartakKZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/BurnsLRZ10,
  author       = {Ethan Burns and
                  Sofia Lemons and
                  Wheeler Ruml and
                  Rong Zhou},
  title        = {Parallel Best-First Search: The Role of Abstraction},
  booktitle    = {Abstraction, Reformulation, and Approximation, Papers from the 2010
                  {AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-10-08}},
  publisher    = {{AAAI}},
  year         = {2010},
  url          = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2061},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BurnsLRZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/DrescherW10,
  author       = {Christian Drescher and
                  Toby Walsh},
  title        = {Reformulation of Global Constraints in Answer Set Programming},
  booktitle    = {Abstraction, Reformulation, and Approximation, Papers from the 2010
                  {AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-10-08}},
  publisher    = {{AAAI}},
  year         = {2010},
  url          = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2062},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/DrescherW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/EpsteinY10,
  author       = {Susan L. Epstein and
                  Xi Yun},
  title        = {From Unsolvable to Solvable: An Exploration of Simple Changes},
  booktitle    = {Abstraction, Reformulation, and Approximation, Papers from the 2010
                  {AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-10-08}},
  publisher    = {{AAAI}},
  year         = {2010},
  url          = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2063},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/EpsteinY10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/HabetJ10,
  author       = {Djamal Habet and
                  Philippe J{\'{e}}gou},
  title        = {Toward a Generalization and a Reformulation of Goods in {SAT} - Preliminary
                  Report},
  booktitle    = {Abstraction, Reformulation, and Approximation, Papers from the 2010
                  {AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-10-08}},
  publisher    = {{AAAI}},
  year         = {2010},
  url          = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2060},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/HabetJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/JonesG10,
  author       = {Joshua Jones and
                  Ashok K. Goel},
  title        = {Effects of Faulty Knowledge Engineering on Structured Classification
                  Learning},
  booktitle    = {Abstraction, Reformulation, and Approximation, Papers from the 2010
                  {AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-10-08}},
  publisher    = {{AAAI}},
  year         = {2010},
  url          = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2064},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/JonesG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/KrocSS10,
  author       = {Lukas Kroc and
                  Ashish Sabharwal and
                  Bart Selman},
  title        = {Approximate Inference for Clusters in Solution Spaces},
  booktitle    = {Abstraction, Reformulation, and Approximation, Papers from the 2010
                  {AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-10-08}},
  publisher    = {{AAAI}},
  year         = {2010},
  url          = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2066},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/KrocSS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/LinW10,
  author       = {Stephen Lin and
                  Robert Wright},
  title        = {Evolutionary Tile Coding: An Automated State Abstraction Algorithm
                  for Reinforcement Learning},
  booktitle    = {Abstraction, Reformulation, and Approximation, Papers from the 2010
                  {AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-10-08}},
  publisher    = {{AAAI}},
  year         = {2010},
  url          = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2068},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/LinW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/LoscalzoW10,
  author       = {Steven Loscalzo and
                  Robert William Wright},
  title        = {Automatic Methods for Continuous State Space Abstraction},
  booktitle    = {Abstraction, Reformulation, and Approximation, Papers from the 2010
                  {AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-10-08}},
  publisher    = {{AAAI}},
  year         = {2010},
  url          = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2067},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/LoscalzoW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/MuiseMBH10,
  author       = {Christian J. Muise and
                  Sheila A. McIlraith and
                  J. Christopher Beck and
                  Eric I. Hsu},
  title        = {Fast d-DNNF Compilation with sharpSAT},
  booktitle    = {Abstraction, Reformulation, and Approximation, Papers from the 2010
                  {AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-10-08}},
  publisher    = {{AAAI}},
  year         = {2010},
  url          = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2069},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/MuiseMBH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/ProvanS10,
  author       = {Gregory M. Provan and
                  Ashish Sabharwal},
  title        = {Preface},
  booktitle    = {Abstraction, Reformulation, and Approximation, Papers from the 2010
                  {AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-10-08}},
  publisher    = {{AAAI}},
  year         = {2010},
  url          = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2105},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/ProvanS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/SaittaVWJZL10,
  author       = {Lorenza Saitta and
                  Christel Vrain and
                  Zhaohui Wu and
                  Lu Jiang and
                  Qinghua Zheng and
                  Jun Liu},
  title        = {Abstracting Markov Networks},
  booktitle    = {Abstraction, Reformulation, and Approximation, Papers from the 2010
                  {AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-10-08}},
  publisher    = {{AAAI}},
  year         = {2010},
  url          = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2070},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SaittaVWJZL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/ZhengK10a,
  author       = {Xiaoming Zheng and
                  Sven Koenig},
  title        = {Market-Based Algorithms for Allocating Complex Tasks},
  booktitle    = {Abstraction, Reformulation, and Approximation, Papers from the 2010
                  {AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-10-08}},
  publisher    = {{AAAI}},
  year         = {2010},
  url          = {http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1654},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/ZhengK10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aaai/2010abstr,
  title        = {Abstraction, Reformulation, and Approximation, Papers from the 2010
                  {AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-10-08}},
  publisher    = {{AAAI}},
  year         = {2010},
  url          = {http://www.aaai.org/Library/Workshops/ws10-08.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/2010abstr.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.