Lilotane: A Lifted SAT-Based Approach to Hierarchical Planning. Schreiber, D. Journal of Artificial Intelligence Research (JAIR), 70:1117–1181, 2021. Presented at International Joint Conference of Artificial Intelligence (IJCAI), 2021Pdf Slides Poster Video doi bibtex @Article{schreiber2021lilotane,
author = {Schreiber, Dominik},
title = {{Lilotane: A Lifted {SAT}-Based Approach to Hierarchical Planning}},
journal = {Journal of Artificial Intelligence Research (JAIR)},
year = {2021},
volume = {70},
pages = {1117--1181},
doi = {10.1613/jair.1.12520},
note={Presented at {International Joint Conference of Artificial Intelligence (IJCAI)}, 2021},
url_PDF={https://satres.kikit.kit.edu/papers/2021-jair-lilotane.pdf},
url_Slides={https://satres.kikit.kit.edu/slides/2021-ijcai-lilotane.pdf},
url_Poster={https://satres.kikit.kit.edu/posters/2021-ijcai-lilotane.pdf},
url_Video={https://youtu.be/-0cRYmcpQRg},
}
Downloads: 0
{"_id":"ZZABugisjqLCLBHmM","bibbaseid":"schreiber-lilotanealiftedsatbasedapproachtohierarchicalplanning-2021","author_short":["Schreiber, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]}],"title":"Lilotane: A Lifted SAT-Based Approach to Hierarchical Planning","journal":"Journal of Artificial Intelligence Research (JAIR)","year":"2021","volume":"70","pages":"1117–1181","doi":"10.1613/jair.1.12520","note":"Presented at International Joint Conference of Artificial Intelligence (IJCAI), 2021","url_pdf":"https://satres.kikit.kit.edu/papers/2021-jair-lilotane.pdf","url_slides":"https://satres.kikit.kit.edu/slides/2021-ijcai-lilotane.pdf","url_poster":"https://satres.kikit.kit.edu/posters/2021-ijcai-lilotane.pdf","url_video":"https://youtu.be/-0cRYmcpQRg","bibtex":"@Article{schreiber2021lilotane,\n\tauthor = {Schreiber, Dominik},\n\ttitle = {{Lilotane: A Lifted {SAT}-Based Approach to Hierarchical Planning}},\n\tjournal = {Journal of Artificial Intelligence Research (JAIR)},\n\tyear = {2021},\n\tvolume = {70},\n\tpages = {1117--1181},\n\tdoi = {10.1613/jair.1.12520},\n\tnote={Presented at {International Joint Conference of Artificial Intelligence (IJCAI)}, 2021},\n\turl_PDF={https://satres.kikit.kit.edu/papers/2021-jair-lilotane.pdf},\n\turl_Slides={https://satres.kikit.kit.edu/slides/2021-ijcai-lilotane.pdf},\n\turl_Poster={https://satres.kikit.kit.edu/posters/2021-ijcai-lilotane.pdf},\n\turl_Video={https://youtu.be/-0cRYmcpQRg},\n}\n\n","author_short":["Schreiber, D."],"key":"schreiber2021lilotane","id":"schreiber2021lilotane","bibbaseid":"schreiber-lilotanealiftedsatbasedapproachtohierarchicalplanning-2021","role":"author","urls":{" pdf":"https://satres.kikit.kit.edu/papers/2021-jair-lilotane.pdf"," slides":"https://satres.kikit.kit.edu/slides/2021-ijcai-lilotane.pdf"," poster":"https://satres.kikit.kit.edu/posters/2021-ijcai-lilotane.pdf"," video":"https://youtu.be/-0cRYmcpQRg"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://satres.kikit.kit.edu/publications.bib","dataSources":["GbAhpS9MGKje2yeDe","vvHPGoxAbjPSzJtLK","fNbnZhh6uQMv7HBXF","JaqTjZbpCCeemC5uq","2uduD5h8PKoztN54h","6oCu7DG43gGpaCnhj"],"keywords":[],"search_terms":["lilotane","lifted","sat","based","approach","hierarchical","planning","schreiber"],"title":"Lilotane: A Lifted SAT-Based Approach to Hierarchical Planning","year":2021}