Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/sara:"
download as .bib file
@inproceedings{DBLP:conf/sara/AavaniMT13,
author = {Amir Aavani and
David G. Mitchell and
Eugenia Ternovska},
editor = {Alan M. Frisch and
Peter Gregory},
title = {New Encoding for Translating Pseudo-Boolean Constraints into {SAT}},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7212},
timestamp = {Tue, 09 Feb 2021 08:32:52 +0100},
biburl = {https://dblp.org/rec/conf/sara/AavaniMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/AlhossainiB13,
author = {Maher A. Alhossaini and
J. Christopher Beck},
editor = {Alan M. Frisch and
Peter Gregory},
title = {Instance-Specific Remodelling of Planning Domains by Adding Macros
and Removing Operators},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7231},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/AlhossainiB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Beck13,
author = {J. Christopher Beck},
editor = {Alan M. Frisch and
Peter Gregory},
title = {Modeling, Global Constraints, and Decomposition},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7240},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/Beck13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/BessiereKRW13,
author = {Christian Bessiere and
Zeynep Kiziltan and
Andrea Rappini and
Toby Walsh},
editor = {Alan M. Frisch and
Peter Gregory},
title = {A Framework for Combining Set Variable Representations},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7214},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/BessiereKRW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ChrpaVM13,
author = {Luk{\'{a}}s Chrpa and
Mauro Vallati and
Thomas Leo McCluskey},
editor = {Alan M. Frisch and
Peter Gregory},
title = {Determining Linearity of Optimal Plans by Operator Schema Analysis},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7230},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/ChrpaVM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ChrpaVMK13,
author = {Luk{\'{a}}s Chrpa and
Mauro Vallati and
Thomas Leo McCluskey and
Diane E. Kitchin},
editor = {Alan M. Frisch and
Peter Gregory},
title = {Generating Macro-Operators by Exploiting Inner Entanglements},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7229},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/ChrpaVMK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/DvorakTB13,
author = {Filip Dvorak and
Daniel Toropila and
Roman Bart{\'{a}}k},
editor = {Alan M. Frisch and
Peter Gregory},
title = {Towards {AI} Planning Efficiency: Finite-Domain State Variable Reformulation},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7257},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/DvorakTB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Holte13,
author = {Robert C. Holte},
editor = {Alan M. Frisch and
Peter Gregory},
title = {Korf's Conjecture and the Future of Abstraction-Based Heuristics},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7219},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/Holte13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/JabbourLS13,
author = {Sa{\"{\i}}d Jabbour and
Jerry Lonlac and
Lakhdar Sa{\"{\i}}s},
editor = {Alan M. Frisch and
Peter Gregory},
title = {Adding New Bi-Asserting Clauses for Faster Search in Modern {SAT}
Solvers},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7263},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/JabbourLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/KumarCK13,
author = {T. K. Satish Kumar and
Marcello Cirillo and
Sven Koenig},
editor = {Alan M. Frisch and
Peter Gregory},
title = {On the Traveling Salesman Problem with Simple Temporal Constraints},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7260},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/KumarCK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/KumarCK13a,
author = {T. K. Satish Kumar and
Liron Cohen and
Sven Koenig},
editor = {Alan M. Frisch and
Peter Gregory},
title = {Incorrect Lower Bounds for Path Consistency and More},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7266},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/KumarCK13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/KumarCK13b,
author = {T. K. Satish Kumar and
Liron Cohen and
Sven Koenig},
editor = {Alan M. Frisch and
Peter Gregory},
title = {Submodular Constraints and Planar Constraint Networks: New Results},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7265},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/KumarCK13b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/MahmoodS13,
author = {Ashique Rupam Mahmood and
Richard S. Sutton},
editor = {Alan M. Frisch and
Peter Gregory},
title = {Position Paper: Representation Search through Generate and Test},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7255},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/MahmoodS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/MohapatraG13,
author = {Abhijeet Mohapatra and
Michael R. Genesereth},
editor = {Alan M. Frisch and
Peter Gregory},
title = {Reformulating Aggregate Queries Using Views},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7235},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/MohapatraG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/MouelhiJT13,
author = {Achref El Mouelhi and
Philippe J{\'{e}}gou and
Cyril Terrioux},
editor = {Alan M. Frisch and
Peter Gregory},
title = {Microstructures for CSPs with Constraints of Arbitrary Arity},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7253},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/MouelhiJT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/SadeqiHZ13,
author = {Mehdi Sadeqi and
Robert C. Holte and
Sandra Zilles},
editor = {Alan M. Frisch and
Peter Gregory},
title = {Using Coarse State Space Abstractions to Detect Mutex Pairs},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7222},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/SadeqiHZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Saitta13,
author = {Lorenza Saitta},
editor = {Alan M. Frisch and
Peter Gregory},
title = {Abstraction: {A} Historical and Interdisciplinary Perspective},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7249},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/Saitta13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/SeijenWK13,
author = {Harm van Seijen and
Shimon Whiteson and
Leon J. H. M. Kester},
editor = {Alan M. Frisch and
Peter Gregory},
title = {Efficient Abstraction Selection in Reinforcement Learning (Extended
Abstract)},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7259},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/SeijenWK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Sturtevant13,
author = {Nathan R. Sturtevant},
editor = {Alan M. Frisch and
Peter Gregory},
title = {External Memory PDBs: Initial Results},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7271},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/Sturtevant13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Surynek13,
author = {Pavel Surynek},
editor = {Alan M. Frisch and
Peter Gregory},
title = {Optimal Cooperative Path-Finding with Generalized Goals in Difficult
Cases},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7254},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/Surynek13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/X13,
editor = {Alan M. Frisch and
Peter Gregory},
title = {{SARA} 2013 Organization},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7277},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/X13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/X13a,
editor = {Alan M. Frisch and
Peter Gregory},
title = {Preface},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7264},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/X13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/X13b,
editor = {Alan M. Frisch and
Peter Gregory},
title = {Past {SARA} Symposia},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7278},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/X13b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sara/2013,
editor = {Alan M. Frisch and
Peter Gregory},
title = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/Library/SARA/sara13contents},
isbn = {978-1-57735-630-1},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/AnsoteguiBPSV11,
author = {Carlos Ans{\'{o}}tegui and
Miquel Bofill and
Miquel Palah{\'{\i}} and
Josep Suy and
Mateu Villaret},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained
Project Scheduling Problem},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4166},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/AnsoteguiBPSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/BernardiniS11,
author = {Sara Bernardini and
David E. Smith},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {Automatic Synthesis of Temporal Invariants},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4244},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/BernardiniS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/BillaGR11,
author = {Swetha Billa and
Mark A. Griep and
Peter Z. Revesz},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {Approximate Search on Protein Structures for Identification of Horizontal
Gene Transfer in Bacteria},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4250},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/BillaGR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/CarageaSKCM11,
author = {Cornelia Caragea and
Adrian Silvescu and
Saurabh Kataria and
Doina Caragea and
Prasenjit Mitra},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {Classifying Scientific Publications Using Abstract Features},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4252},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/CarageaSKCM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ClimentSB11,
author = {Laura Climent and
Miguel A. Salido and
Federico Barber},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {Reformulating Dynamic Linear Constraint Satisfaction Problems as Weighted
CSPs for Searching Robust Solutions},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4236},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/ClimentSB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/GrastienT11,
author = {Alban Grastien and
Gianluca Torta},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {Reformulation for the Diagnosis of Discrete-Event Systems},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4248},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/GrastienT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/GrastienT11a,
author = {Alban Grastien and
Gianluca Torta},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {A Theory of Abstraction for Diagnosis of Discrete-Event Systems},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4246},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/GrastienT11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/HaraborBK11,
author = {Daniel Damir Harabor and
Adi Botea and
Philip Kilby},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {Path Symmetries in Undirected Uniform-Cost Grids},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4243},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/HaraborBK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/KarakashianWC11,
author = {Shant Karakashian and
Robert J. Woodward and
Berthe Y. Choueiry},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {Reformulating R(*, m)C with Tree Decomposition},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4234},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/KarakashianWC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/KassoffG11,
author = {Michael Kassoff and
Michael R. Genesereth},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {The Markov Reformulation Theorem},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4237},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/KassoffG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/LiZHTP11,
author = {Lixin Li and
Xingyou Zhang and
James B. Holt and
Jie Tian and
Reinhard Piltner},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {Spatiotemporal Interpolation Methods for Air Pollution Exposure},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4241},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/LiZHTP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/MatosBSCC11,
author = {Tiago Matos and
Yannick Plaino Bergamo and
Valdinei Freire da Silva and
F{\'{a}}bio Gagliardi Cozman and
Anna Helena Reali Costa},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {Simultaneous Abstract and Concrete Reinforcement Learning},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4247},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/MatosBSCC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/RiddleHB11,
author = {Patricia J. Riddle and
Robert C. Holte and
Michael W. Barley},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {Does Representation Matter in the Planning Competition?},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4240},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/RiddleHB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Soldano11,
author = {Henry Soldano},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {A Modal View on Abstract Learning and Reasoning},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4242},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/Soldano11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/SwearnginCF11,
author = {Amanda Swearngin and
Berthe Y. Choueiry and
Eugene C. Freuder},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study
of the {SET} Game},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4251},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/SwearnginCF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Velev011,
author = {Miroslav N. Velev and
Ping Gao},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {Efficient Pseudo-Boolean Satisfiability Encodings for Routing and
Wavelength Assignment in Optical Networks},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4254},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/Velev011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Velev011a,
author = {Miroslav N. Velev and
Ping Gao},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {Modular Schemes for Constructing Equivalent Boolean Encodings of Cardinality
Constraints and Application to Error Diagnosis in Formal Verification
of Pipelined Microprocessors},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4253},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/Velev011a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/WangD11,
author = {Minlue Wang and
Richard Dearden},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {Planning with State Uncertainty via Contingency Planning and Execution
Monitoring},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4249},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/WangD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/WoodwardKCB11,
author = {Robert J. Woodward and
Shant Karakashian and
Berthe Y. Choueiry and
Christian Bessiere},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {Reformulating the Dual Graphs of CSPs to Improve the Performance of
Relational Neighborhood Inverse Consistency},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4235},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/WoodwardKCB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/WuR11,
author = {Shasha Wu and
Peter Z. Revesz},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {Extracting Topological Information from Spatial Constraint Databases},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4238},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/WuR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/X11,
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {Preface},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4245},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/X11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sara/2011,
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
isbn = {978-1-57735-543-4},
timestamp = {Mon, 12 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/AbreuG09,
author = {Rui Abreu and
Arjan J. C. van Gemund},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application
to Model-Based Diagnosis},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/834},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/AbreuG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/AnbulaganG09,
author = {Anbulagan and
Alban Grastien},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Importance of Variables Semantic in {CNF} Encoding of Cardinality
Constraints},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/803},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/AnbulaganG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/AranguSB09,
author = {Marlene Arang{\'{u}} and
Miguel A. Salido and
Federico Barber},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {2-C3: From Arc-Consistency to 2-Consistency},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/820},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/AranguSB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/BartakT09,
author = {Roman Bart{\'{a}}k and
Daniel Toropila},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Integrating Constraint Models for Sequential and Partial-Order Planning},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/835},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/BartakT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/BergerG09,
author = {Nicolas Berger and
Laurent Granvilliers},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Some Interval Approximation Techniques for {MINLP}},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/798},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/BergerG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/CarageaBAH09,
author = {Doina Caragea and
Vikas Bahirwani and
Waleed Aljandal and
William H. Hsu},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Ontology-Based Link Prediction in the LiveJournal Social Network},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/831},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/CarageaBAH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ChenouardGS09,
author = {Rapha{\"{e}}l Chenouard and
Laurent Granvilliers and
Ricardo Soto},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Rewriting Constraint Models with Metamodels},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/786},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/ChenouardGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ChrpaB09,
author = {Luk{\'{a}}s Chrpa and
Roman Bart{\'{a}}k},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Reformulating Planning Problems by Eliminating Unpromising Actions},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/826},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/ChrpaB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/EpsteinL09,
author = {Susan L. Epstein and
Xingjian Li},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Cluster Graphs as Abstractions for Constraint Satisfaction Problems},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/819},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/EpsteinL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/FeldmanPKKG09,
author = {Alexander Feldman and
Gregory M. Provan and
Johan de Kleer and
Lukas D. Kuhn and
Arjan J. C. van Gemund},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Automated Redesign with the General Redesign Engine},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/836},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/FeldmanPKKG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/FelnerS09,
author = {Ariel Felner and
Nathan R. Sturtevant},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Abstraction-Based Heuristics with True Distance Computations},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/825},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/FelnerS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/GentMMNH09,
author = {Ian P. Gent and
Paul McKay and
Ian Miguel and
Peter Nightingale and
Sophie Huczynska},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Modelling Equidistant Frequency Permutation Arrays in Constraints},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/818},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/GentMMNH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/GraylandMR09,
author = {Andrew Grayland and
Ian Miguel and
Colva M. Roney{-}Dougal},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Confluence of Reduction Rules for Lexicographic Ordering Constraints},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/832},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/GraylandMR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/GraylandMR09a,
author = {Andrew Grayland and
Ian Miguel and
Colva M. Roney{-}Dougal},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {In Search of a Better Method to Break Row and Column Symmetries},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/829},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/GraylandMR09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/HinrichsKG09,
author = {Timothy L. Hinrichs and
Eric Jui{-}Yi Kao and
Michael R. Genesereth},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/785},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/HinrichsKG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/JegouP09,
author = {Philippe J{\'{e}}gou and
Lionel Paris},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {A New Formula Rewriting by Reasoning on a Graphical Representation
of {SAT} Instances},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/796},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/JegouP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/RendlMGG09,
author = {Andrea Rendl and
Ian Miguel and
Ian P. Gent and
Peter Gregory},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Common Subexpressions in Constraint Models of Planning Problems},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/823},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/RendlMGG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/RendlMGJ09,
author = {Andrea Rendl and
Ian Miguel and
Ian P. Gent and
Christopher Jefferson},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Automatically Enhancing Constraint Model Instances during Tailoring},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/824},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/RendlMGJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Revesz09,
author = {Peter Z. Revesz},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Tightened Transitive Closure of Integer Addition Constraints},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/833},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/Revesz09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/SaittaHZ09,
author = {Lorenza Saitta and
Corneliu Henegar and
Jean{-}Daniel Zucker},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Abstracting Complex Interaction Networks},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/821},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/SaittaHZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/SrivastavaIZ09,
author = {Siddharth Srivastava and
Neil Immerman and
Shlomo Zilberstein},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Abstract Planning with Unknown Object Quantities and Properties},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/827},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/SrivastavaIZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/TortaD09,
author = {Gianluca Torta and
Daniele Theseider Dupr{\'{e}}},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Abductive Problem Solving with Abstractions},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/828},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/TortaD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/VelevG09,
author = {Miroslav N. Velev and
Ping Gao},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Efficient {SAT} Techniques for Absolute Encoding of Permutation Problems:
Application to Hamiltonian Cycles},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/837},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/VelevG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/VionD09,
author = {Julien Vion and
Romuald Debruyne},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Light Algorithms for Maintaining Max-RPC During Search},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/822},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/VionD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/WaughZJKSB09,
author = {Kevin Waugh and
Martin Zinkevich and
Michael Johanson and
Morgan Kan and
David Schnizlein and
Michael H. Bowling},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {A Practical Use of Imperfect Recall},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/839},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/WaughZJKSB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/X09,
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {{SARA2009} Organization},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/1030},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/X09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/X09a,
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Preface},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/1029},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/X09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ZillesH09,
author = {Sandra Zilles and
Robert C. Holte},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Downward Path Preserving State Space Abstractions (Extended Abstract)},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/784},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/ZillesH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sara/2009,
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
timestamp = {Sun, 09 May 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Abbott07,
author = {Russ Abbott},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Abstraction, Emergence, and Thought},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {391--392},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_30},
doi = {10.1007/978-3-540-73580-9\_30},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sara/Abbott07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/AbrilSB07,
author = {Montserrat Abril and
Miguel A. Salido and
Federico Barber},
editor = {Ian Miguel and
Wheeler Ruml},
title = {DFS-Tree Based Heuristic Search},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {5--19},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_4},
doi = {10.1007/978-3-540-73580-9\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/AbrilSB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/AndersonHS07,
author = {Kenneth Anderson and
Robert Holte and
Jonathan Schaeffer},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Partial Pattern Databases},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {20--34},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_5},
doi = {10.1007/978-3-540-73580-9\_5},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/AndersonHS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/AndersonR07,
author = {Scot Anderson and
Peter Z. Revesz},
editor = {Ian Miguel and
Wheeler Ruml},
title = {{CDB-PV:} {A} Constraint Database-Based Program Verifier},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {35--49},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_6},
doi = {10.1007/978-3-540-73580-9\_6},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/AndersonR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Bartak07,
author = {Roman Bart{\'{a}}k},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Generating Implied Boolean Constraints Via Singleton Consistency},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {50--63},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_7},
doi = {10.1007/978-3-540-73580-9\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Bartak07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/BayerMCK07,
author = {Kenneth M. Bayer and
Martin Michalowski and
Berthe Y. Choueiry and
Craig A. Knoblock},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Reformulating Constraint Satisfaction Problems to Improve Scalability},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {64--79},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_8},
doi = {10.1007/978-3-540-73580-9\_8},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/BayerMCK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/BeckG07,
author = {J. Christopher Beck and
Michael Gr{\"{u}}ninger},
editor = {Ian Miguel and
Wheeler Ruml},
title = {What's Your Problem? The Problem of Problem Definition},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {393--394},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_31},
doi = {10.1007/978-3-540-73580-9\_31},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/BeckG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/BessiereHHKQW07,
author = {Christian Bessiere and
Emmanuel Hebrard and
Brahim Hnich and
Zeynep Kiziltan and
Claude{-}Guy Quimper and
Toby Walsh},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Reformulating Global Constraints: The Slideand RegularConstraints},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {80--92},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_9},
doi = {10.1007/978-3-540-73580-9\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/BessiereHHKQW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Bulitko07,
author = {Vadim Bulitko},
editor = {Ian Miguel and
Wheeler Ruml},
title = {State Abstraction in Real-Time Heuristic Search},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {1},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_1},
doi = {10.1007/978-3-540-73580-9\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Bulitko07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/CambazardO07,
author = {Hadrien Cambazard and
Barry O'Sullivan},
editor = {Ian Miguel and
Wheeler Ruml},
title = {A Reformulation-Based Approach to Explanation in Constraint Satisfaction},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {395--396},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_32},
doi = {10.1007/978-3-540-73580-9\_32},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/CambazardO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/CrawfordCM07,
author = {Broderick Crawford and
Carlos Castro and
{\'{E}}ric Monfroy},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Integration of Constraint Programming and Metaheuristics},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {397--398},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_33},
doi = {10.1007/978-3-540-73580-9\_33},
timestamp = {Tue, 23 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/CrawfordCM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/DAlmeidaCLS07,
author = {Dominique D'Almeida and
Jean{-}Fran{\c{c}}ois Condotta and
Christophe Lecoutre and
Lakhdar Sais},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Relaxation of Qualitative Constraint Networks},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {93--108},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_10},
doi = {10.1007/978-3-540-73580-9\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/DAlmeidaCLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/FeldmanPG07,
author = {Alexander Feldman and
Gregory M. Provan and
Arjan J. C. van Gemund},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Approximate Model-Based Diagnosis Using Greedy Stochastic Search},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {139--154},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_13},
doi = {10.1007/978-3-540-73580-9\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/FeldmanPG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/FelnerO07,
author = {Ariel Felner and
Nir Ofek},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Combining Perimeter Search and Pattern Database Abstractions},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {155--168},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_14},
doi = {10.1007/978-3-540-73580-9\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/FelnerO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Frisch07,
author = {Alan M. Frisch},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Abstraction and Reformulation in the Generation of Constraint Models},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {2--3},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_2},
doi = {10.1007/978-3-540-73580-9\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Frisch07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/GammerA07,
author = {Igor Gammer and
Eyal Amir},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Solving Satisfiability in Ground Logic with Equality by Efficient
Conversion to Propositional Logic},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {169--183},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_15},
doi = {10.1007/978-3-540-73580-9\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/GammerA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/GentMR07,
author = {Ian P. Gent and
Ian Miguel and
Andrea Rendl},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Tailoring Solver-Independent Constraint Models: {A} Case Study with
Essence' and Minion},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {184--199},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_16},
doi = {10.1007/978-3-540-73580-9\_16},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/GentMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/GonzalezM07,
author = {Santiago Macho Gonz{\'{a}}lez and
Pedro Meseguer},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Boosting {MUS} Extraction},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {285--299},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_23},
doi = {10.1007/978-3-540-73580-9\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/GonzalezM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/GregoryLF07,
author = {Peter Gregory and
Derek Long and
Maria Fox},
editor = {Ian Miguel and
Wheeler Ruml},
title = {A Meta-CSP Model for Optimal Planning},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {200--214},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_17},
doi = {10.1007/978-3-540-73580-9\_17},
timestamp = {Tue, 02 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/GregoryLF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Haley07,
author = {David C. Haley},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Rule-Based Reasoning Via Abstraction},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {399},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_34},
doi = {10.1007/978-3-540-73580-9\_34},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Haley07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Hinrichs07,
author = {Timothy L. Hinrichs},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Extensional Reasoning},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {400--401},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_35},
doi = {10.1007/978-3-540-73580-9\_35},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Hinrichs07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/HinrichsG07,
author = {Timothy L. Hinrichs and
Michael R. Genesereth},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Reformulation for Extensional Reasoning},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {215--229},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_18},
doi = {10.1007/978-3-540-73580-9\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/HinrichsG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Hooker07,
author = {John N. Hooker},
editor = {Ian Miguel and
Wheeler Ruml},
title = {A Framework for Integrating Optimization and Constraint Programming},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {4},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_3},
doi = {10.1007/978-3-540-73580-9\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Hooker07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/IbrahimT07,
author = {Zina M. Ibrahim and
Ahmed Y. Tawfik},
editor = {Ian Miguel and
Wheeler Ruml},
title = {An Abstract Theory and Ontology of Motion Based on the Regions Connection
Calculus},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {230--242},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_19},
doi = {10.1007/978-3-540-73580-9\_19},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/IbrahimT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/JongS07,
author = {Nicholas K. Jong and
Peter Stone},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Model-Based Exploration in Continuous State Spaces},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {258--272},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_21},
doi = {10.1007/978-3-540-73580-9\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/JongS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/JonssonB07,
author = {Anders Jonsson and
Andrew G. Barto},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Active Learning of Dynamic Bayesian Networks in Markov Decision Processes},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {273--284},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_22},
doi = {10.1007/978-3-540-73580-9\_22},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/JonssonB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Kleer07,
author = {Johan de Kleer},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Dynamic Domain Abstraction Through Meta-diagnosis},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {109--123},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_11},
doi = {10.1007/978-3-540-73580-9\_11},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/Kleer07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/KuterH07,
author = {Ugur Kuter and
Jiaqiao Hu},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Computing and Using Lower and Upper Bounds for Action Elimination
in {MDP} Planning},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {243--257},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_20},
doi = {10.1007/978-3-540-73580-9\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/KuterH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/MichalowskiKC07,
author = {Martin Michalowski and
Craig A. Knoblock and
Berthe Y. Choueiry},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Reformulating Constraint Models Using Input Data},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {402--404},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_36},
doi = {10.1007/978-3-540-73580-9\_36},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/MichalowskiKC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Pickett07,
author = {Marc Pickett},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Using Analogy Discovery to Create Abstractions},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {405--406},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_37},
doi = {10.1007/978-3-540-73580-9\_37},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Pickett07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/RaghavanB07,
author = {Sriram Raghavan and
Balaraman Ravindran},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Homogeneous Hierarchical Composition of Areas in Multi-robot Area
Coverage},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {300--313},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_24},
doi = {10.1007/978-3-540-73580-9\_24},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/RaghavanB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/SaegerS07,
author = {Stijn De Saeger and
Atsushi Shimojima},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Channeling Abstraction},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {124--138},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_12},
doi = {10.1007/978-3-540-73580-9\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/SaegerS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/SaittaTT07,
author = {Lorenza Saitta and
Pietro Torasso and
Gianluca Torta},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Formalizing the Abstraction Process in Model-Based Diagnosis},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {314--328},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_25},
doi = {10.1007/978-3-540-73580-9\_25},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/SaittaTT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/SaittaZ07,
author = {Lorenza Saitta and
Jean{-}Daniel Zucker},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Abstraction and Complexity Measures},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {375--390},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_29},
doi = {10.1007/978-3-540-73580-9\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/SaittaZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Salido07,
author = {Miguel A. Salido},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Distributed CSPs: Why It Is Assumed a Variable per Agent?},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {407--408},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_38},
doi = {10.1007/978-3-540-73580-9\_38},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Salido07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/SchachteS07,
author = {Peter Schachte and
Harald S{\o}ndergaard},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Boolean Approximation Revisited},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {329--343},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_26},
doi = {10.1007/978-3-540-73580-9\_26},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/SchachteS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Schkufza07,
author = {Eric Schkufza},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Decomposition of Games for Efficient Reasoning},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {409--410},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_39},
doi = {10.1007/978-3-540-73580-9\_39},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Schkufza07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/SturtevantJ07,
author = {Nathan R. Sturtevant and
M. Renee Jansen},
editor = {Ian Miguel and
Wheeler Ruml},
title = {An Analysis of Map-Based Abstraction and Refinement},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {344--358},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_27},
doi = {10.1007/978-3-540-73580-9\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/SturtevantJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Surynek07,
author = {Pavel Surynek},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Solving Difficult {SAT} Instances Using Greedy Clique Decomposition},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {359--374},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_28},
doi = {10.1007/978-3-540-73580-9\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Surynek07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/VuO07,
author = {Xuan{-}Ha Vu and
Barry O'Sullivan},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Generalized Constraint Acquisition},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {411--412},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_40},
doi = {10.1007/978-3-540-73580-9\_40},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/VuO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/YangCH07,
author = {Fan Yang and
Joseph C. Culberson and
Robert Holte},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Using Infeasibility to Improve Abstraction-Based Heuristics},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {413--414},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_41},
doi = {10.1007/978-3-540-73580-9\_41},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/YangCH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Zhou07,
author = {Rong Zhou},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Leveraging Graph Locality Via Abstraction},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {415--416},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_42},
doi = {10.1007/978-3-540-73580-9\_42},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Zhou07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sara/2007,
editor = {Ian Miguel and
Wheeler Ruml},
title = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9},
doi = {10.1007/978-3-540-73580-9},
isbn = {978-3-540-73579-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/AfratiCGP05,
author = {Foto N. Afrati and
Rada Chirkova and
Manolis Gergatsoulis and
Vassia Pavlaki},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Designing Views to Efficiently Answer \emph{Real} {SQL} Queries},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {332--346},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_26},
doi = {10.1007/11527862\_26},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sara/AfratiCGP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/AndersonR05,
author = {Scot Anderson and
Peter Z. Revesz},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Verifying the Incorrectness of Programs and Automata},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {1--13},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_1},
doi = {10.1007/11527862\_1},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/AndersonR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/BeliaevaZ05,
author = {Natalia N. Beliaeva and
Shlomo Zilberstein},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Generating Admissible Heuristics by Abstraction for Search in Stochastic
Domains},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {14--29},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_2},
doi = {10.1007/11527862\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/BeliaevaZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Benis05,
author = {Arriel Benis},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Categorizing Gene Expression Correlations with Bioclinical Data: An
Abstraction Based Approach},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {352--353},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_29},
doi = {10.1007/11527862\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Benis05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/BouguerraK05,
author = {Abdelbaki Bouguerra and
Lars Karlsson},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Synthesizing Plans for Multiple Domains},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {30--43},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_3},
doi = {10.1007/11527862\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/BouguerraK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/BrodaH05,
author = {Krysia Broda and
Christopher J. Hogger},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Abstract Policy Evaluation for Reactive Agents},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {44--59},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_4},
doi = {10.1007/11527862\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/BrodaH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/CarchraeB05,
author = {Tom Carchrae and
J. Christopher Beck},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Learning Abstract Scheduling Models},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {354--355},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_30},
doi = {10.1007/11527862\_30},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/CarchraeB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Chau05,
author = {Kwok{-}Wing Chau},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Knowledge Acquisition on Manipulation of Flow and Water Quality Models},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {356--357},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_31},
doi = {10.1007/11527862\_31},
timestamp = {Sat, 25 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/Chau05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/DelgadoPR05,
author = {Alberto Delgado and
Jorge Andr{\'{e}}s P{\'{e}}rez and
Camilo Rueda},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Implementing an Abstraction Framework for Soft Constraints},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {60--75},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_5},
doi = {10.1007/11527862\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/DelgadoPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/FelnerA05,
author = {Ariel Felner and
Amir Adler},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Solving the 24 Puzzle with Instance Dependent Pattern Databases},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {248--260},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_18},
doi = {10.1007/11527862\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/FelnerA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Fernandez-MadrigalGG05,
author = {Juan{-}Antonio Fern{\'{a}}ndez{-}Madrigal and
Javier Gonzalez and
Cipriano Galindo},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Abstraction and Multiple Abstraction in the Symbolic Modeling of the
Environment of Mobile Robots},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {358--359},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_32},
doi = {10.1007/11527862\_32},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/Fernandez-MadrigalGG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/FrischHMSW05,
author = {Alan M. Frisch and
Brahim Hnich and
Ian Miguel and
Barbara M. Smith and
Toby Walsh},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Transforming and Refining Abstract Constraint Specifications},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {76--91},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_6},
doi = {10.1007/11527862\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/FrischHMSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/GalassiG05,
author = {Ugo Galassi and
Attilio Giordana},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Learning Regular Expressions from Noisy Sequences},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {92--106},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_7},
doi = {10.1007/11527862\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/GalassiG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/GellyBS05,
author = {Sylvain Gelly and
Nicolas Bred{\`{e}}che and
Mich{\`{e}}le Sebag},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {From Factorial and Hierarchical {HMM} to Bayesian Network: {A} Representation
Change Algorithm},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {107--120},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_8},
doi = {10.1007/11527862\_8},
timestamp = {Tue, 24 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/GellyBS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Hanczar05,
author = {Blaise Hanczar},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Combining Feature Selection and Feature Construction to Improve Concept
Learning for High Dimensional Data},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {261--273},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_19},
doi = {10.1007/11527862\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Hanczar05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/HentenryckFPA05,
author = {Pascal Van Hentenryck and
Pierre Flener and
Justin Pearson and
Magnus {\AA}gren},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Compositional Derivation of Symmetries for Constraint Satisfaction},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {234--247},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_17},
doi = {10.1007/11527862\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/HentenryckFPA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/HolteGT05,
author = {Robert C. Holte and
Jeffery Grajkowski and
Brian Tanner},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Hierarchical Heuristic Search Revisited},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {121--133},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_9},
doi = {10.1007/11527862\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/HolteGT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/IbrahimT05,
author = {Zina M. Ibrahim and
Ahmed Y. Tawfik},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {A Qualitative Spatio-temporal Abstraction of a Disaster Space},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {274--281},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_20},
doi = {10.1007/11527862\_20},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/IbrahimT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Izadi05,
author = {Masoumeh T. Izadi},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Sequential Decision Making Under Uncertainty},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {360--361},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_33},
doi = {10.1007/11527862\_33},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Izadi05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/KangZSH05,
author = {Dae{-}Ki Kang and
Jun Zhang and
Adrian Silvescu and
Vasant G. Honavar},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Multinomial Event Model Based Abstraction for Sequence and Text Classification},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {134--148},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_10},
doi = {10.1007/11527862\_10},
timestamp = {Mon, 13 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/KangZSH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Kungas05,
author = {Peep K{\"{u}}ngas},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Petri Net Reachability Checking Is Polynomial with Optimal Abstraction
Hierarchies},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {149--164},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_11},
doi = {10.1007/11527862\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Kungas05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ManciniC05,
author = {Toni Mancini and
Marco Cadoli},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Detecting and Breaking Symmetries by Reasoning on Problem Specifications},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {165--181},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_12},
doi = {10.1007/11527862\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/ManciniC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Mingozzi05,
author = {Aristide Mingozzi},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {The Multi-depot Periodic Vehicle Routing Problem},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {347--350},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_27},
doi = {10.1007/11527862\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Mingozzi05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/PickettO05,
author = {Marc Pickett and
Tim Oates},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {The Cruncher: Automatic Concept Formation Using Minimum Description
Length},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {282--289},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_21},
doi = {10.1007/11527862\_21},
timestamp = {Sun, 16 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/PickettO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Provan05,
author = {Gregory M. Provan},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Approximate Model-Based Diagnosis Using Preference-Based Compilation},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {182--193},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_13},
doi = {10.1007/11527862\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Provan05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/QianNS05,
author = {Kairong Qian and
Albert Nymeyer and
Steven Susanto},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Experiments with Multiple Abstraction Heuristics in Symbolic Verification},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {290--304},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_22},
doi = {10.1007/11527862\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/QianNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/RamatiS05,
author = {Michael Ramati and
Yuval Shahar},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Probabilistic Abstraction of Uncertain Temporal Data for Multiple
Subjects},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {305--312},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_23},
doi = {10.1007/11527862\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/RamatiS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Ruml05,
author = {Wheeler Ruml},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Model-Based Search},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {365--366},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_35},
doi = {10.1007/11527862\_35},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/Ruml05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/SherstovS05,
author = {Alexander A. Sherstov and
Peter Stone},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Function Approximation via Tile Coding: Automating Parameter Choice},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {194--205},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_14},
doi = {10.1007/11527862\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/SherstovS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/SimsekB05,
author = {{\"{O}}zg{\"{u}}r Simsek and
Andrew G. Barto},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Learning Skills in Reinforcement Learning Using Relative Novelty},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {367--374},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_36},
doi = {10.1007/11527862\_36},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/SimsekB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/SturtevantBB05,
author = {Nathan R. Sturtevant and
Vadim Bulitko and
Michael Buro},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Automatic State Abstraction for Pathfinding in Real-Time Video Games},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {362--364},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_34},
doi = {10.1007/11527862\_34},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/SturtevantBB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/TeutenbergB05,
author = {Jonathan Teutenberg and
Mike Barley},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Creating Better Abstract Operators},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {206--217},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_15},
doi = {10.1007/11527862\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/TeutenbergB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/UnsworthP05,
author = {Chris Unsworth and
Patrick Prosser},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {A Specialised Binary Constraint for the Stable Marriage Problem},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {218--233},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_16},
doi = {10.1007/11527862\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/UnsworthP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/WuG05,
author = {Jia{-}Hong Wu and
Robert Givan},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Feature-Discovering Approximate Value Iteration Methods},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {321--331},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_25},
doi = {10.1007/11527862\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/WuG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/WuZH05,
author = {Feihong Wu and
Jun Zhang and
Vasant G. Honavar},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Learning Classifiers Using Hierarchically Structured Class Taxonomies},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {313--320},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_24},
doi = {10.1007/11527862\_24},
timestamp = {Mon, 13 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/WuZH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Zimmer05,
author = {Robert Zimmer},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Abstract Representation in Painting and Computing},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {351},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_28},
doi = {10.1007/11527862\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Zimmer05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sara/2005,
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862},
doi = {10.1007/11527862},
isbn = {3-540-27872-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ApolloniBP02,
author = {Bruno Apolloni and
Fabio Baraghini and
Giorgio Palmas},
editor = {Sven Koenig and
Robert C. Holte},
title = {{PAC} Meditation on Boolean Formulas},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {274--281},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_20},
doi = {10.1007/3-540-45622-8\_20},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sara/ApolloniBP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/BeckPS02,
author = {J. Christopher Beck and
Patrick Prosser and
Evgeny Selensky},
editor = {Sven Koenig and
Robert C. Holte},
title = {On the Reformulation of Vehicle Routing Problems and Scheduling Problems},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {282--289},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_21},
doi = {10.1007/3-540-45622-8\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/BeckPS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Billings02,
author = {Darse Billings},
editor = {Sven Koenig and
Robert C. Holte},
title = {Abstracting Imperfect Information Game Trees},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {324--325},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_26},
doi = {10.1007/3-540-45622-8\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Billings02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Botea02,
author = {Adi Botea},
editor = {Sven Koenig and
Robert C. Holte},
title = {Using Abstraction for Heuristic Search and Planning},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {326--327},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_27},
doi = {10.1007/3-540-45622-8\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Botea02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Bowling02,
author = {Michael H. Bowling},
editor = {Sven Koenig and
Robert C. Holte},
title = {Approximation Techniques in Multiagent Learning},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {328--329},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_28},
doi = {10.1007/3-540-45622-8\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Bowling02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Buettner02,
author = {Daniel Buettner},
editor = {Sven Koenig and
Robert C. Holte},
title = {Abstraction and Reformulation in GraphPlan},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {330},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_29},
doi = {10.1007/3-540-45622-8\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Buettner02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Cazenave02,
author = {Tristan Cazenave},
editor = {Sven Koenig and
Robert C. Holte},
title = {Admissible Moves in Two-Player Games},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {52--63},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_5},
doi = {10.1007/3-540-45622-8\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Cazenave02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ChoueiryD02,
author = {Berthe Y. Choueiry and
Amy M. Davis},
editor = {Sven Koenig and
Robert C. Holte},
title = {Dynamic Bundling: Less Effort for More Solutions},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {64--82},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_6},
doi = {10.1007/3-540-45622-8\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/ChoueiryD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Clement02,
author = {Bradley J. Clement},
editor = {Sven Koenig and
Robert C. Holte},
title = {Abstract Reasoning for Planning and Coordination},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {331--332},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_30},
doi = {10.1007/3-540-45622-8\_30},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Clement02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Gelman02,
author = {Irit Askira Gelman},
editor = {Sven Koenig and
Robert C. Holte},
title = {Research Summary: Abstraction Techniques, and Their Value},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {333--334},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_31},
doi = {10.1007/3-540-45622-8\_31},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Gelman02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Glaubius02,
author = {Robert Glaubius},
editor = {Sven Koenig and
Robert C. Holte},
title = {Reformulation of Non-binary Constraints},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {335},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_32},
doi = {10.1007/3-540-45622-8\_32},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Glaubius02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/HansenZF02,
author = {Eric A. Hansen and
Rong Zhou and
Zhengzhu Feng},
editor = {Sven Koenig and
Robert C. Holte},
title = {Symbolic Heuristic Search Using Decision Diagrams},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {83--98},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_7},
doi = {10.1007/3-540-45622-8\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/HansenZF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/HeymannD02,
author = {Michael Heymann and
Asaf Degani},
editor = {Sven Koenig and
Robert C. Holte},
title = {On the Construction of Human-Automation Interfaces by Formal Abstraction},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {99--115},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_8},
doi = {10.1007/3-540-45622-8\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/HeymannD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/KhatibMM02,
author = {Lina Khatib and
Paul H. Morris and
Robert A. Morris},
editor = {Sven Koenig and
Robert C. Holte},
title = {Pareto Optimization of Temporal Decisions},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {116--125},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_9},
doi = {10.1007/3-540-45622-8\_9},
timestamp = {Tue, 24 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/KhatibMM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Kumar02,
author = {T. K. Satish Kumar},
editor = {Sven Koenig and
Robert C. Holte},
title = {An Information-Theoretic Characterization of Abstraction in Diagnosis
and Hypothesis Selection},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {126--139},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_10},
doi = {10.1007/3-540-45622-8\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Kumar02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Kumar02a,
author = {T. K. Satish Kumar},
editor = {Sven Koenig and
Robert C. Holte},
title = {Reformulating Combinatorial Optimization as Constraint Satisfaction},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {336--337},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_33},
doi = {10.1007/3-540-45622-8\_33},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Kumar02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/KumarD02,
author = {T. K. Satish Kumar and
Richard Dearden},
editor = {Sven Koenig and
Robert C. Holte},
title = {The Oracular Constraints Method},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {290--298},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_22},
doi = {10.1007/3-540-45622-8\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/KumarD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Kurshan02,
author = {Robert P. Kurshan},
editor = {Sven Koenig and
Robert C. Holte},
title = {Model Checking and Abstraction},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {1--17},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_1},
doi = {10.1007/3-540-45622-8\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Kurshan02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/LevnerBMG02,
author = {Ilya Levner and
Vadim Bulitko and
Omid Madani and
Russell Greiner},
editor = {Sven Koenig and
Robert C. Holte},
title = {Performance of Lookahead Control Policies in the Face of Abstractions
and Approximations},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {299--307},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_23},
doi = {10.1007/3-540-45622-8\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/LevnerBMG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/LongFH02,
author = {Derek Long and
Maria Fox and
Muna Hamdi},
editor = {Sven Koenig and
Robert C. Holte},
title = {Reformulation in Planning},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {18--32},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_2},
doi = {10.1007/3-540-45622-8\_2},
timestamp = {Tue, 02 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/LongFH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Mahadevan02,
author = {Sridhar Mahadevan},
editor = {Sven Koenig and
Robert C. Holte},
title = {Spatiotemporal Abstraction of Stochastic Sequential Processes},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {33--50},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_3},
doi = {10.1007/3-540-45622-8\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Mahadevan02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/McGovern02,
author = {Amy McGovern},
editor = {Sven Koenig and
Robert C. Holte},
title = {Autonomous Discovery of Abstractions through Interaction with an Environment},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {338--339},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_34},
doi = {10.1007/3-540-45622-8\_34},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/McGovern02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Mingozzi02,
author = {Aristide Mingozzi},
editor = {Sven Koenig and
Robert C. Holte},
title = {State Space Relaxation and Search Strategies in Dynamic Programming},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {51},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_4},
doi = {10.1007/3-540-45622-8\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Mingozzi02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/MirankerTP02,
author = {Daniel P. Miranker and
Malcolm C. Taylor and
Anand Padmanaban},
editor = {Sven Koenig and
Robert C. Holte},
title = {A Tractable Query Cache by Approximation},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {140--151},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_11},
doi = {10.1007/3-540-45622-8\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/MirankerTP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/MukhopadhyayP02,
author = {Supratik Mukhopadhyay and
Andreas Podelski},
editor = {Sven Koenig and
Robert C. Holte},
title = {An Algebraic Framework for Abstract Model Checking},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {152--169},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_12},
doi = {10.1007/3-540-45622-8\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/MukhopadhyayP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Neller02,
author = {Todd W. Neller},
editor = {Sven Koenig and
Robert C. Holte},
title = {Action Timing Discretization with Iterative-Refinement},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {170--177},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_13},
doi = {10.1007/3-540-45622-8\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Neller02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Oishi02,
author = {Meeko Oishi},
editor = {Sven Koenig and
Robert C. Holte},
title = {Interface Verification: Discrete Abstractions of Hybrid Systems},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {340--341},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_35},
doi = {10.1007/3-540-45622-8\_35},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Oishi02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/OkuboL02,
author = {Yoshiaki Okubo and
Xiaobo Li},
editor = {Sven Koenig and
Robert C. Holte},
title = {Learning Semi-Lattice Codebooks for Image Compression},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {342--343},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_36},
doi = {10.1007/3-540-45622-8\_36},
timestamp = {Wed, 31 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/OkuboL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Parmar02,
author = {Aarati Parmar},
editor = {Sven Koenig and
Robert C. Holte},
title = {Formalizing Approximate Objects and Theories: Some Initial Results},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {178--195},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_14},
doi = {10.1007/3-540-45622-8\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Parmar02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Pickett02,
author = {Marc Pickett},
editor = {Sven Koenig and
Robert C. Holte},
title = {Research Summary},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {344},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_37},
doi = {10.1007/3-540-45622-8\_37},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Pickett02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/RavindranB02,
author = {Balaraman Ravindran and
Andrew G. Barto},
editor = {Sven Koenig and
Robert C. Holte},
title = {Model Minimization in Hierarchical Reinforcement Learning},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {196--211},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_15},
doi = {10.1007/3-540-45622-8\_15},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/RavindranB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Ruml02,
author = {Wheeler Ruml},
editor = {Sven Koenig and
Robert C. Holte},
title = {Principled Exploitation of Heuristic Information},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {345--346},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_38},
doi = {10.1007/3-540-45622-8\_38},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/Ruml02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/StolleP02,
author = {Martin Stolle and
Doina Precup},
editor = {Sven Koenig and
Robert C. Holte},
title = {Learning Options in Reinforcement Learning},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {212--223},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_16},
doi = {10.1007/3-540-45622-8\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/StolleP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/UtherV02,
author = {William T. B. Uther and
Manuela M. Veloso},
editor = {Sven Koenig and
Robert C. Holte},
title = {TTree: Tree-Based State Generalization with Temporally Abstract Actions},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {308--315},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_24},
doi = {10.1007/3-540-45622-8\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/UtherV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/VuSS02,
author = {Xuan{-}Ha Vu and
Djamila Sam{-}Haroud and
Marius{-}Calin Silaghi},
editor = {Sven Koenig and
Robert C. Holte},
title = {Approximation Techniques for Non-linear Problems with Continuum of
Solutions},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {224--241},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_17},
doi = {10.1007/3-540-45622-8\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/VuSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Xu02,
author = {Lin Xu},
editor = {Sven Koenig and
Robert C. Holte},
title = {Reformulation of Temporal Constraint Networks},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {347--348},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_39},
doi = {10.1007/3-540-45622-8\_39},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Xu02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Zanuttini02,
author = {Bruno Zanuttini},
editor = {Sven Koenig and
Robert C. Holte},
title = {Approximation of Relations by Propositional Formulas: Complexity and
Semantics},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {242--255},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_18},
doi = {10.1007/3-540-45622-8\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Zanuttini02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ZhangSH02,
author = {Jun Zhang and
Adrian Silvescu and
Vasant G. Honavar},
editor = {Sven Koenig and
Robert C. Holte},
title = {Ontology-Driven Induction of Decision Trees at Multiple Levels of
Abstraction},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {316--323},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_25},
doi = {10.1007/3-540-45622-8\_25},
timestamp = {Mon, 13 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/ZhangSH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ZuckerBS02,
author = {Jean{-}Daniel Zucker and
Nicolas Bred{\`{e}}che and
Lorenza Saitta},
editor = {Sven Koenig and
Robert C. Holte},
title = {Abstracting Visual Percepts to Learn Concepts},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {256--273},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_19},
doi = {10.1007/3-540-45622-8\_19},
timestamp = {Tue, 24 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/ZuckerBS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sara/2002,
editor = {Sven Koenig and
Robert C. Holte},
title = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8},
doi = {10.1007/3-540-45622-8},
isbn = {3-540-43941-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/AmirM00,
author = {Eyal Amir and
Sheila A. McIlraith},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Improving the Efficiency of Reasoning Through Structure-Based Reformulation},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {247--259},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_15},
doi = {10.1007/3-540-44914-0\_15},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sara/AmirM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/BistarelliCR00,
author = {Stefano Bistarelli and
Philippe Codognet and
Francesca Rossi},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {An Abstraction Framework for Soft Constraints and Its Relationship
with Constraint Propagation},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {71--86},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_5},
doi = {10.1007/3-540-44914-0\_5},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/BistarelliCR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/BournaudCZ00,
author = {Isabelle Bournaud and
M{\'{e}}lanie Courtine and
Jean{-}Daniel Zucker},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Abstractions for Knowledge Organization of Relational Descriptions},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {87--106},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_6},
doi = {10.1007/3-540-44914-0\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/BournaudCZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/CarrerasH00,
author = {Carlos Carreras and
Manuel V. Hermenegildo},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Grid-Based Histogram Arithmetic for the Probabilistic Analysis of
Functions},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {107--123},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_7},
doi = {10.1007/3-540-44914-0\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/CarrerasH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ChenOR00,
author = {Rui Chen and
Min Ouyang and
Peter Z. Revesz},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Approximating Data in Constraint Databases},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {124--143},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_8},
doi = {10.1007/3-540-44914-0\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/ChenOR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ChirkovaG00,
author = {Rada Chirkova and
Michael R. Genesereth},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Linearly Bounded Reformulations of Unary Databases},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {144--163},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_9},
doi = {10.1007/3-540-44914-0\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/ChirkovaG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Cousot00,
author = {Patrick Cousot},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Partial Completeness of Abstract Fixpoint Checking},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {1--25},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_1},
doi = {10.1007/3-540-44914-0\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Cousot00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Dietterich00,
author = {Thomas G. Dietterich},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {An Overview of {MAXQ} Hierarchical Reinforcement Learning},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {26--44},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_2},
doi = {10.1007/3-540-44914-0\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Dietterich00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Ellman00,
author = {Thomas Ellman},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Program Synthesis and Transformation Techniques for Simulation, Optimization,
and Constraint Satisfaction},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {317--319},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_23},
doi = {10.1007/3-540-44914-0\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Ellman00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/FrankJM00,
author = {Jeremy Frank and
Ari K. J{\'{o}}nsson and
Paul H. Morris},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {On Reformulating Planning as Dynamic Constraint Satisfaction},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {271--280},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_17},
doi = {10.1007/3-540-44914-0\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/FrankJM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/FriesG00,
author = {Terrence P. Fries and
James H. Graham},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {An Agent-Based Approach to Robust Switching Between Abstraction Levels
for Fault Diagnosis},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {303--308},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_20},
doi = {10.1007/3-540-44914-0\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/FriesG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Furcy00,
author = {David Furcy},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Using and Learning Abstraction Hierarchies for Planning},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {320--321},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_24},
doi = {10.1007/3-540-44914-0\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Furcy00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Getoor00,
author = {Lise Getoor},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Learning Probabilistic Relational Models},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {322--323},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_25},
doi = {10.1007/3-540-44914-0\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Getoor00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/HernadvolgyiH00,
author = {Istv{\'{a}}n T. Hern{\'{a}}dv{\"{o}}lgyi and
Robert C. Holte},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Experiments with Automatically Created Memory-Based Heuristics},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {281--290},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_18},
doi = {10.1007/3-540-44914-0\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/HernadvolgyiH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Korf00,
author = {Richard E. Korf},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Recent Progress in the Design and Analysis of Admissible Heuristic
Functions},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {45--55},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_3},
doi = {10.1007/3-540-44914-0\_3},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/Korf00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Kumar00,
author = {T. K. Satish Kumar},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {A Compositional Approach to Causality},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {309--312},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_21},
doi = {10.1007/3-540-44914-0\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Kumar00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Kumar00a,
author = {T. K. Satish Kumar},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Synergy between Compositional Modeling and Bayesian Networks},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {324--325},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_26},
doi = {10.1007/3-540-44914-0\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Kumar00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/LecoutreMBG00,
author = {Christophe Lecoutre and
Sylvain Merchez and
Fr{\'{e}}d{\'{e}}ric Boussemart and
{\'{E}}ric Gr{\'{e}}goire},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {A {CSP} Abstraction Framework},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {164--184},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_10},
doi = {10.1007/3-540-44914-0\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/LecoutreMBG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/LecoutreMBG00a,
author = {Christophe Lecoutre and
Sylvain Merchez and
Fr{\'{e}}d{\'{e}}ric Boussemart and
{\'{E}}ric Gr{\'{e}}goire},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {A {CSP} Abstraction Framework},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {326--327},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_27},
doi = {10.1007/3-540-44914-0\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/LecoutreMBG00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Li00,
author = {Chen Li},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Answering Queries with Database Restrictions},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {328--329},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_28},
doi = {10.1007/3-540-44914-0\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Li00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Novak00,
author = {Gordon S. Novak Jr.},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Interactions of Abstractions in Programming},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {185--201},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_11},
doi = {10.1007/3-540-44914-0\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Novak00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Novak00a,
author = {Gordon S. Novak Jr.},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Research Summary},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {330--331},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_29},
doi = {10.1007/3-540-44914-0\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Novak00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/OkuboHZ00,
author = {Yoshiaki Okubo and
Makoto Haraguchi and
Yan Fang Zheng},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {A Method for Finding Consistent Hypotheses Using Abstraction},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {313--316},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_22},
doi = {10.1007/3-540-44914-0\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/OkuboHZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Revesz00,
author = {Peter Z. Revesz},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Reformulation and Approximation in Model Checking},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {202--218},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_12},
doi = {10.1007/3-540-44914-0\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Revesz00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/SaittaZ00,
author = {Lorenza Saitta and
Jean{-}Daniel Zucker},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Abstraction and Phase Transitions in Relational Learning},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {291--302},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_19},
doi = {10.1007/3-540-44914-0\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/SaittaZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/SpaccapietraPV00,
author = {Stefano Spaccapietra and
Christine Parent and
Christelle Vangenot},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {{GIS} Databases: From Multiscale to MultiRepresentation},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {57--70},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_4},
doi = {10.1007/3-540-44914-0\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/SpaccapietraPV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/UtherV00,
author = {William T. B. Uther and
Manuela M. Veloso},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {The Lumberjack Algorithm for Learning Linked Decision Forests},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {219--232},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_13},
doi = {10.1007/3-540-44914-0\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/UtherV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Walsh00,
author = {Toby Walsh},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Reformulating Propositional Satisfiability as Constraint Satisfaction},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {233--246},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_14},
doi = {10.1007/3-540-44914-0\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Walsh00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/desJardinsGK00,
author = {Marie desJardins and
Lise Getoor and
Daphne Koller},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Using Feature Hierarchies in Bayesian Network Learning},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {260--270},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_16},
doi = {10.1007/3-540-44914-0\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/desJardinsGK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sara/2000,
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0},
doi = {10.1007/3-540-44914-0},
isbn = {3-540-67839-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-01 09:19 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
