@inproceedings{DBLP:conf/aimsa/ManzoGR98,
  author       = {Mauro Di Manzo and
                  Enrico Giunchiglia and
                  Simone Ruffino},
  editor       = {Fausto Giunchiglia},
  title        = {Planning via Model Checking in Deterministic Domains: Preliminary
                  Report},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {221--229},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057447},
  doi          = {10.1007/BFB0057447},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/ManzoGR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"JyQCmBKNFojL5DDRB","bibbaseid":"manzo-giunchiglia-ruffino-planningviamodelcheckingindeterministicdomainspreliminaryreport-1998","author_short":["Manzo, M. D.","Giunchiglia, E.","Ruffino, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Mauro","Di"],"propositions":[],"lastnames":["Manzo"],"suffixes":[]},{"firstnames":["Enrico"],"propositions":[],"lastnames":["Giunchiglia"],"suffixes":[]},{"firstnames":["Simone"],"propositions":[],"lastnames":["Ruffino"],"suffixes":[]}],"editor":[{"firstnames":["Fausto"],"propositions":[],"lastnames":["Giunchiglia"],"suffixes":[]}],"title":"Planning via Model Checking in Deterministic Domains: Preliminary Report","booktitle":"Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings","series":"Lecture Notes in Computer Science","volume":"1480","pages":"221–229","publisher":"Springer","year":"1998","url":"https://doi.org/10.1007/BFb0057447","doi":"10.1007/BFB0057447","timestamp":"Sun, 02 Oct 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/aimsa/ManzoGR98.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aimsa/ManzoGR98,\n author = {Mauro Di Manzo and\n Enrico Giunchiglia and\n Simone Ruffino},\n editor = {Fausto Giunchiglia},\n title = {Planning via Model Checking in Deterministic Domains: Preliminary\n Report},\n booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 8th\n International Conference, {AIMSA} '98, Sozopol, Bulgaria, September\n 21-13, 1998, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {1480},\n pages = {221--229},\n publisher = {Springer},\n year = {1998},\n url = {https://doi.org/10.1007/BFb0057447},\n doi = {10.1007/BFB0057447},\n timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/aimsa/ManzoGR98.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Manzo, M. D.","Giunchiglia, E.","Ruffino, S."],"editor_short":["Giunchiglia, F."],"key":"DBLP:conf/aimsa/ManzoGR98","id":"DBLP:conf/aimsa/ManzoGR98","bibbaseid":"manzo-giunchiglia-ruffino-planningviamodelcheckingindeterministicdomainspreliminaryreport-1998","role":"author","urls":{"Paper":"https://doi.org/10.1007/BFb0057447"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/g/EnricoGiunchiglia.bib","dataSources":["dnfNFBJhCgMcJQMDG"],"keywords":[],"search_terms":["planning","via","model","checking","deterministic","domains","preliminary","report","manzo","giunchiglia","ruffino"],"title":"Planning via Model Checking in Deterministic Domains: Preliminary Report","year":1998}