The Declarative Planning System DLV$^K$: Progress and Extensions. Polleres, A. In Frank, J. & Biundo, S., editors, Printed Notes of the ICAPS-03 Doctoral Consortium, pages 94–98, June, 2003.
![The Declarative Planning System DLV$^K$: Progress and Extensions [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex
Paper bibtex @inproceedings{poll-2003-abstract,
Author = {Axel Polleres},
Booktitle = {Printed Notes of the ICAPS-03 Doctoral Consortium},
Day = 11,
Editor = {Jeremy Frank and Susanne Biundo},
Month = JUN,
Pages = {94--98},
Talk = {Axel Polleres},
Title = {The Declarative Planning System {DLV$^K$}: Progress and Extensions},
Url = {http://icaps03.itc.it/satellite_events/documents/dc/21/Polleres.pdf},
Year = 2003,
Bdsk-Url-1 = {http://icaps03.itc.it/satellite_events/documents/dc/21/Polleres.pdf}}Downloads: 0
{"_id":"n8CFrPXF33drdsAax","bibbaseid":"polleres-thedeclarativeplanningsystemdlvkprogressandextensions-2003","authorIDs":["FyLDFGg993nDS2Spf"],"author_short":["Polleres, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Axel"],"propositions":[],"lastnames":["Polleres"],"suffixes":[]}],"booktitle":"Printed Notes of the ICAPS-03 Doctoral Consortium","day":"11","editor":[{"firstnames":["Jeremy"],"propositions":[],"lastnames":["Frank"],"suffixes":[]},{"firstnames":["Susanne"],"propositions":[],"lastnames":["Biundo"],"suffixes":[]}],"month":"June","pages":"94–98","talk":"Axel Polleres","title":"The Declarative Planning System DLV$^K$: Progress and Extensions","url":"http://icaps03.itc.it/satellite_events/documents/dc/21/Polleres.pdf","year":"2003","bdsk-url-1":"http://icaps03.itc.it/satellite_events/documents/dc/21/Polleres.pdf","bibtex":"@inproceedings{poll-2003-abstract,\n\tAuthor = {Axel Polleres},\n\tBooktitle = {Printed Notes of the ICAPS-03 Doctoral Consortium},\n\tDay = 11,\n\tEditor = {Jeremy Frank and Susanne Biundo},\n\tMonth = JUN,\n\tPages = {94--98},\n\tTalk = {Axel Polleres},\n\tTitle = {The Declarative Planning System {DLV$^K$}: Progress and Extensions},\n\tUrl = {http://icaps03.itc.it/satellite_events/documents/dc/21/Polleres.pdf},\n\tYear = 2003,\n\tBdsk-Url-1 = {http://icaps03.itc.it/satellite_events/documents/dc/21/Polleres.pdf}}\n\n","author_short":["Polleres, A."],"editor_short":["Frank, J.","Biundo, S."],"key":"poll-2003-abstract","id":"poll-2003-abstract","bibbaseid":"polleres-thedeclarativeplanningsystemdlvkprogressandextensions-2003","role":"author","urls":{"Paper":"http://icaps03.itc.it/satellite_events/documents/dc/21/Polleres.pdf"},"metadata":{"authorlinks":{"polleres, a":"https://bibbase.org/show?bib=www.polleres.net/mypublications.bib"}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"www.polleres.net/mypublications.bib","creationDate":"2020-12-17T16:34:23.807Z","downloads":0,"keywords":[],"search_terms":["declarative","planning","system","dlv","progress","extensions","polleres"],"title":"The Declarative Planning System DLV$^K$: Progress and Extensions","year":2003,"dataSources":["cBfwyqsLFQQMc4Fss","gixxkiKt6rtWGoKSh","QfLT6siHZuHw9MqvK"]}