callback( { "result":{ "query":":facetid:toc:\"db/conf/aips/icaps2018.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"94.74" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"66", "@dc":"66", "@oc":"66", "@id":"43383100", "text":":facetid:toc:db/conf/aips/icaps2018.bht" } }, "hits":{ "@total":"66", "@computed":"66", "@sent":"30", "@first":"0", "hit":[{ "@score":"1", "@id":"2514628", "info":{"authors":{"author":[{"@pid":"75/1295-1","text":"Michael Katz 0001"},{"@pid":"51/410","text":"Shirin Sohrabi"},{"@pid":"39/4681","text":"Octavian Udrea"},{"@pid":"183/0955","text":"Dominik Winterer"}]},"title":"A Novel Iterative Approach to Top-k Planning.","venue":"ICAPS","pages":"132-140","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/0001SUW18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17749","url":"https://dblp.org/rec/conf/aips/0001SUW18"}, "url":"URL#2514628" }, { "@score":"1", "@id":"2514629", "info":{"authors":{"author":[{"@pid":"221/6101","text":"Jelle Adan"},{"@pid":"23/3380","text":"Ivo J. B. F. Adan"},{"@pid":"92/9926","text":"Alp Akcay"},{"@pid":"221/6102","text":"Rick Van den Dobbelsteen"},{"@pid":"159/0890","text":"Joep Stokkermans"}]},"title":"A Hybrid Genetic Algorithm for Parallel Machine Scheduling at Semiconductor Back-End Production.","venue":"ICAPS","pages":"298-302","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/AdanAADS18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17762","url":"https://dblp.org/rec/conf/aips/AdanAADS18"}, "url":"URL#2514629" }, { "@score":"1", "@id":"2514630", "info":{"authors":{"author":[{"@pid":"221/6095","text":"Diego Aineto"},{"@pid":"64/9014","text":"Sergio Jiménez 0003"},{"@pid":"84/5121","text":"Eva Onaindia"}]},"title":"Learning STRIPS Action Models with Classical Planning.","venue":"ICAPS","pages":"399-407","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/AinetoJO18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17718","url":"https://dblp.org/rec/conf/aips/AinetoJO18"}, "url":"URL#2514630" }, { "@score":"1", "@id":"2514631", "info":{"authors":{"author":[{"@pid":"122/2723","text":"Tony Allard"},{"@pid":"34/5980","text":"Charles Gretton"},{"@pid":"39/6592","text":"Patrik Haslum"}]},"title":"A TIL-Relaxed Heuristic for Planning with Time Windows.","venue":"ICAPS","pages":"2-10","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/AllardGH18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17736","url":"https://dblp.org/rec/conf/aips/AllardGH18"}, "url":"URL#2514631" }, { "@score":"1", "@id":"2514632", "info":{"authors":{"author":[{"@pid":"04/5344","text":"Roman Barták"},{"@pid":"149/1244","text":"Adrien Maillard"},{"@pid":"131/5387","text":"Rafael Cauê Cardoso 0001"}]},"title":"Validation of Hierarchical Plans via Parsing of Attribute Grammars.","venue":"ICAPS","pages":"11-19","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/BartakMC18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17748","url":"https://dblp.org/rec/conf/aips/BartakMC18"}, "url":"URL#2514632" }, { "@score":"1", "@id":"2514633", "info":{"authors":{"author":[{"@pid":"63/2238-1","text":"J. Benton 0001"},{"@pid":"95/2477-1","text":"David E. Smith 0001"},{"@pid":"199/4416","text":"John Kaneshige"},{"@pid":"61/476","text":"Leslie Keely"},{"@pid":"221/6123","text":"Thomas Stucky"}]},"title":"CHAP-E: A Plan Execution Assistant for Pilots.","venue":"ICAPS","pages":"303-311","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/BentonSKKS18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17786","url":"https://dblp.org/rec/conf/aips/BentonSKKS18"}, "url":"URL#2514633" }, { "@score":"1", "@id":"2514634", "info":{"authors":{"author":[{"@pid":"134/0615","text":"Arthur Bit-Monnot"},{"@pid":"221/6109","text":"Rafael Bailon-Ruiz"},{"@pid":"22/3695","text":"Simon Lacroix"}]},"title":"A Local Search Approach to Observation Planning with Multiple UAVs.","venue":"ICAPS","pages":"437-445","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/Bit-MonnotBL18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17763","url":"https://dblp.org/rec/conf/aips/Bit-MonnotBL18"}, "url":"URL#2514634" }, { "@score":"1", "@id":"2514635", "info":{"authors":{"author":[{"@pid":"176/4279-1","text":"Johannes Blum 0001"},{"@pid":"74/9877","text":"Sabine Storandt"}]},"title":"Scalability of Route Planning Techniques.","venue":"ICAPS","pages":"20-28","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/BlumS18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17741","url":"https://dblp.org/rec/conf/aips/BlumS18"}, "url":"URL#2514635" }, { "@score":"1", "@id":"2514636", "info":{"authors":{"author":[{"@pid":"179/7407","text":"Kyle E. C. Booth"},{"@pid":"143/2041","text":"Minh Do"},{"@pid":"43/2165","text":"J. Christopher Beck"},{"@pid":"65/1345","text":"Eleanor Gilbert Rieffel"},{"@pid":"149/1236","text":"Davide Venturelli"},{"@pid":"32/67","text":"Jeremy Frank"}]},"title":"Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation.","venue":"ICAPS","pages":"366-374","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/BoothDBRVF18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17787","url":"https://dblp.org/rec/conf/aips/BoothDBRVF18"}, "url":"URL#2514636" }, { "@score":"1", "@id":"2514637", "info":{"authors":{"author":[{"@pid":"180/9168","text":"Alberto Camacho"},{"@pid":"85/5866","text":"Jorge A. Baier"},{"@pid":"70/1862","text":"Christian J. Muise"},{"@pid":"66/3221","text":"Sheila A. McIlraith"}]},"title":"Finite LTL Synthesis as Planning.","venue":"ICAPS","pages":"29-38","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/CamachoBMM18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17790","url":"https://dblp.org/rec/conf/aips/CamachoBMM18"}, "url":"URL#2514637" }, { "@score":"1", "@id":"2514638", "info":{"authors":{"author":[{"@pid":"118/2640","text":"Michael Cashmore"},{"@pid":"66/6335","text":"Andrew Coles"},{"@pid":"184/2369","text":"Bence Cserna"},{"@pid":"92/7121","text":"Erez Karpas"},{"@pid":"14/4672","text":"Daniele Magazzeni"},{"@pid":"80/5790","text":"Wheeler Ruml"}]},"title":"Temporal Planning while the Clock Ticks.","venue":"ICAPS","pages":"39-46","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/CashmoreCCKMR18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17724","url":"https://dblp.org/rec/conf/aips/CashmoreCCKMR18"}, "url":"URL#2514638" }, { "@score":"1", "@id":"2514639", "info":{"authors":{"author":[{"@pid":"92/5602","text":"Krishnendu Chatterjee"},{"@pid":"60/10964","text":"Martin Chmelik"},{"@pid":"12/6659","text":"Ufuk Topcu"}]},"title":"Sensor Synthesis for POMDPs with Reachability Objectives.","venue":"ICAPS","pages":"47-55","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/ChatterjeeCT18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17719","url":"https://dblp.org/rec/conf/aips/ChatterjeeCT18"}, "url":"URL#2514639" }, { "@score":"1", "@id":"2514640", "info":{"authors":{"author":[{"@pid":"92/5602","text":"Krishnendu Chatterjee"},{"@pid":"90/7375","text":"Wolfgang Dvorák"},{"@pid":"h/MonikaRauchHenzinger","text":"Monika Henzinger"},{"@pid":"202/2327","text":"Alexander Svozil"}]},"title":"Algorithms and Conditional Lower Bounds for Planning Problems.","venue":"ICAPS","pages":"56-64","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/ChatterjeeDHS18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17639","url":"https://dblp.org/rec/conf/aips/ChatterjeeDHS18"}, "url":"URL#2514640" }, { "@score":"1", "@id":"2514641", "info":{"authors":{"author":[{"@pid":"221/6133","text":"Wayne Chi"},{"@pid":"c/SteveAChien","text":"Steve A. Chien"},{"@pid":"221/6082","text":"Jagriti Agrawal"},{"@pid":"131/1519","text":"Gregg R. Rabideau"},{"@pid":"221/6138","text":"Edward Benowitz"},{"@pid":"77/6243","text":"Daniel M. Gaines"},{"@pid":"221/6111","text":"Elyse Fosse"},{"@pid":"134/1290","text":"Stephen Kuhn"},{"@pid":"221/6085","text":"James Biehl"}]},"title":"Embedding a Scheduler in Execution for a Planetary Rover.","venue":"ICAPS","pages":"312-320","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/ChiCARBGFKB18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17699","url":"https://dblp.org/rec/conf/aips/ChiCARBGFKB18"}, "url":"URL#2514641" }, { "@score":"1", "@id":"2514642", "info":{"authors":{"author":[{"@pid":"217/2414","text":"Patrick Clary"},{"@pid":"131/3073","text":"Pedro Morais"},{"@pid":"49/6764","text":"Alan Fern"},{"@pid":"78/2896","text":"Jonathan W. Hurst"}]},"title":"Monte-Carlo Planning for Agile Legged Locomotion.","venue":"ICAPS","pages":"446-450","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/ClaryMFH18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17789","url":"https://dblp.org/rec/conf/aips/ClaryMFH18"}, "url":"URL#2514642" }, { "@score":"1", "@id":"2514643", "info":{"authors":{"author":[{"@pid":"215/2499","text":"Kazim Selim Engin"},{"@pid":"42/3703","text":"Volkan Isler"}]},"title":"Minimizing Movement to Establish the Connectivity of Randomly Deployed Robots.","venue":"ICAPS","pages":"451-458","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/EnginI18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17776","url":"https://dblp.org/rec/conf/aips/EnginI18"}, "url":"URL#2514643" }, { "@score":"1", "@id":"2514644", "info":{"authors":{"author":[{"@pid":"206/2374","text":"Salomé Eriksson"},{"@pid":"92/2559","text":"Gabriele Röger"},{"@pid":"21/4581","text":"Malte Helmert"}]},"title":"A Proof System for Unsolvable Planning Tasks.","venue":"ICAPS","pages":"65-73","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/ErikssonRH18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17760","url":"https://dblp.org/rec/conf/aips/ErikssonRH18"}, "url":"URL#2514644" }, { "@score":"1", "@id":"2514645", "info":{"authors":{"author":[{"@pid":"149/1468","text":"Gaojian Fan"},{"@pid":"h/RobertHolte","text":"Robert Holte"},{"@pid":"m/MartinMuller3","text":"Martin Müller 0003"}]},"title":"MS-Lite: A Lightweight, Complementary Merge-and-Shrink Method.","venue":"ICAPS","pages":"74-82","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/FanHM18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17737","url":"https://dblp.org/rec/conf/aips/FanHM18"}, "url":"URL#2514645" }, { "@score":"1", "@id":"2514646", "info":{"authors":{"author":[{"@pid":"43/5063","text":"Ariel Felner"},{"@pid":"198/6422-1","text":"Jiaoyang Li 0001"},{"@pid":"163/6330","text":"Eli Boyarski"},{"@pid":"43/7175-1","text":"Hang Ma 0001"},{"@pid":"133/1997-2","text":"Liron Cohen 0002"},{"@pid":"22/6935","text":"T. K. Satish Kumar"},{"@pid":"k/SvenKoenig","text":"Sven Koenig"}]},"title":"Adding Heuristics to Conflict-Based Search for Multi-Agent Path Finding.","venue":"ICAPS","pages":"83-87","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/FelnerLB00KK18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17735","url":"https://dblp.org/rec/conf/aips/FelnerLB00KK18"}, "url":"URL#2514646" }, { "@score":"1", "@id":"2514647", "info":{"authors":{"author":[{"@pid":"201/5406","text":"Tomas Geffner"},{"@pid":"g/HectorGeffner","text":"Hector Geffner"}]},"title":"Compact Policies for Fully Observable Non-Deterministic Planning as SAT.","venue":"ICAPS","pages":"88-96","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/GeffnerG18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17732","url":"https://dblp.org/rec/conf/aips/GeffnerG18"}, "url":"URL#2514647" }, { "@score":"1", "@id":"2514648", "info":{"authors":{"author":[{"@pid":"04/3354","text":"Alban Grastien"},{"@pid":"79/10105","text":"Enrico Scala"}]},"title":"Sampling Strategies for Conformant Planning.","venue":"ICAPS","pages":"97-105","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/GrastienS18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17750","url":"https://dblp.org/rec/conf/aips/GrastienS18"}, "url":"URL#2514648" }, { "@score":"1", "@id":"2514649", "info":{"authors":{"author":[{"@pid":"173/6336","text":"Edward Groshev"},{"@pid":"221/6088","text":"Maxwell Goldstein"},{"@pid":"49/10622","text":"Aviv Tamar"},{"@pid":"64/3431","text":"Siddharth Srivastava"},{"@pid":"a/PieterAbbeel","text":"Pieter Abbeel"}]},"title":"Learning Generalized Reactive Policies Using Deep Neural Networks.","venue":"ICAPS","pages":"408-416","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/GroshevGTSA18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17782","url":"https://dblp.org/rec/conf/aips/GroshevGTSA18"}, "url":"URL#2514649" }, { "@score":"1", "@id":"2514650", "info":{"authors":{"author":[{"@pid":"149/1265","text":"Nika Haghtalab"},{"@pid":"139/0823","text":"Simon Mackenzie"},{"@pid":"p/ArielDProcaccia","text":"Ariel D. Procaccia"},{"@pid":"51/9892","text":"Oren Salzman"},{"@pid":"86/626","text":"Siddhartha S. Srinivasa"}]},"title":"The Provable Virtue of Laziness in Motion Planning.","venue":"ICAPS","pages":"106-113","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/HaghtalabMPSS18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17726","url":"https://dblp.org/rec/conf/aips/HaghtalabMPSS18"}, "url":"URL#2514650" }, { "@score":"1", "@id":"2514651", "info":{"authors":{"author":[{"@pid":"154/6308","text":"Toru Hishinuma"},{"@pid":"85/1564","text":"Kei Senda"}]},"title":"An Approximate Bayesian Reinforcement Learning Approach Using Robust Control Policy and Tree Search.","venue":"ICAPS","pages":"417-421","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/HishinumaS18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17731","url":"https://dblp.org/rec/conf/aips/HishinumaS18"}, "url":"URL#2514651" }, { "@score":"1", "@id":"2514652", "info":{"authors":{"author":[{"@pid":"150/5955","text":"Daniel Höller"},{"@pid":"69/6573","text":"Pascal Bercher"},{"@pid":"150/5866","text":"Gregor Behnke"},{"@pid":"37/5274","text":"Susanne Biundo"}]},"title":"A Generic Method to Guide HTN Progression Search with Classical Heuristics.","venue":"ICAPS","pages":"114-122","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/HollerBBB18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17764","url":"https://dblp.org/rec/conf/aips/HollerBBB18"}, "url":"URL#2514652" }, { "@score":"1", "@id":"2514653", "info":{"authors":{"author":[{"@pid":"176/7172","text":"Amy Huang"},{"@pid":"221/6126","text":"Liam Lloyd"},{"@pid":"50/6339","text":"Mohamed Omar"},{"@pid":"42/2103","text":"James C. Boerkoel"}]},"title":"New Perspectives on Flexibility in Simple Temporal Planning.","venue":"ICAPS","pages":"123-131","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/HuangLOB18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17775","url":"https://dblp.org/rec/conf/aips/HuangLOB18"}, "url":"URL#2514653" }, { "@score":"1", "@id":"2514654", "info":{"authors":{"author":[{"@pid":"162/9908","text":"Murugeswari Issakkimuthu"},{"@pid":"49/6764","text":"Alan Fern"},{"@pid":"42/4375","text":"Prasad Tadepalli"}]},"title":"Training Deep Reactive Policies for Probabilistic Planning Problems.","venue":"ICAPS","pages":"422-430","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/IssakkimuthuFT18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17791","url":"https://dblp.org/rec/conf/aips/IssakkimuthuFT18"}, "url":"URL#2514654" }, { "@score":"1", "@id":"2514655", "info":{"authors":{"author":[{"@pid":"132/0317","text":"Sarah Keren"},{"@pid":"g/AvigdorGal","text":"Avigdor Gal"},{"@pid":"92/7121","text":"Erez Karpas"}]},"title":"Strong Stubborn Sets for Efficient Goal Recognition Design.","venue":"ICAPS","pages":"141-149","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/KerenGK18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17722","url":"https://dblp.org/rec/conf/aips/KerenGK18"}, "url":"URL#2514655" }, { "@score":"1", "@id":"2514656", "info":{"authors":{"author":[{"@pid":"199/2503","text":"Michaela Klauck"},{"@pid":"178/8676","text":"Marcel Steinmetz"},{"@pid":"26/836","text":"Jörg Hoffmann 0001"},{"@pid":"h/HolgerHermanns","text":"Holger Hermanns"}]},"title":"Compiling Probabilistic Model Checking into Probabilistic Planning.","venue":"ICAPS","pages":"150-154","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/KlauckS0H18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17740","url":"https://dblp.org/rec/conf/aips/KlauckS0H18"}, "url":"URL#2514656" }, { "@score":"1", "@id":"2514657", "info":{"authors":{"author":[{"@pid":"221/6103","text":"Muralidhar Konda"},{"@pid":"133/2312","text":"Supriyo Ghosh"},{"@pid":"72/759","text":"Pradeep Varakantham"}]},"title":"Reserved Optimisation: Handling Incident Priorities in Emergency Response Systems.","venue":"ICAPS","pages":"330-338","year":"2018","type":"Conference and Workshop Papers","access":"closed","key":"conf/aips/KondaGV18","ee":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17769","url":"https://dblp.org/rec/conf/aips/KondaGV18"}, "url":"URL#2514657" } ] } } } )