SAT-Based Procedures for Temporal Reasoning. Armando, A., Castellini, C., & Giunchiglia, E. In Biundo, S. & Fox, M., editors, Recent Advances in AI Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings, volume 1809, of Lecture Notes in Computer Science, pages 97–108, 1999. Springer. Paper doi bibtex @inproceedings{DBLP:conf/ecp/ArmandoCG99,
author = {Alessandro Armando and
Claudio Castellini and
Enrico Giunchiglia},
editor = {Susanne Biundo and
Maria Fox},
title = {SAT-Based Procedures for Temporal Reasoning},
booktitle = {Recent Advances in {AI} Planning, 5th European Conference on Planning,
ECP'99, Durham, UK, September 8-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1809},
pages = {97--108},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10720246\_8},
doi = {10.1007/10720246\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecp/ArmandoCG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"XpNuGLmb9bETEjEKc","bibbaseid":"armando-castellini-giunchiglia-satbasedproceduresfortemporalreasoning-1999","downloads":0,"creationDate":"2016-08-26T09:24:47.169Z","title":"SAT-Based Procedures for Temporal Reasoning","author_short":["Armando, A.","Castellini, C.","Giunchiglia, E."],"year":1999,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/g/EnricoGiunchiglia.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Armando"],"suffixes":[]},{"firstnames":["Claudio"],"propositions":[],"lastnames":["Castellini"],"suffixes":[]},{"firstnames":["Enrico"],"propositions":[],"lastnames":["Giunchiglia"],"suffixes":[]}],"editor":[{"firstnames":["Susanne"],"propositions":[],"lastnames":["Biundo"],"suffixes":[]},{"firstnames":["Maria"],"propositions":[],"lastnames":["Fox"],"suffixes":[]}],"title":"SAT-Based Procedures for Temporal Reasoning","booktitle":"Recent Advances in AI Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings","series":"Lecture Notes in Computer Science","volume":"1809","pages":"97–108","publisher":"Springer","year":"1999","url":"https://doi.org/10.1007/10720246\\_8","doi":"10.1007/10720246_8","timestamp":"Sun, 02 Oct 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/ecp/ArmandoCG99.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ecp/ArmandoCG99,\n author = {Alessandro Armando and\n Claudio Castellini and\n Enrico Giunchiglia},\n editor = {Susanne Biundo and\n Maria Fox},\n title = {SAT-Based Procedures for Temporal Reasoning},\n booktitle = {Recent Advances in {AI} Planning, 5th European Conference on Planning,\n ECP'99, Durham, UK, September 8-10, 1999, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {1809},\n pages = {97--108},\n publisher = {Springer},\n year = {1999},\n url = {https://doi.org/10.1007/10720246\\_8},\n doi = {10.1007/10720246\\_8},\n timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/ecp/ArmandoCG99.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Armando, A.","Castellini, C.","Giunchiglia, E."],"editor_short":["Biundo, S.","Fox, M."],"key":"DBLP:conf/ecp/ArmandoCG99","id":"DBLP:conf/ecp/ArmandoCG99","bibbaseid":"armando-castellini-giunchiglia-satbasedproceduresfortemporalreasoning-1999","role":"author","urls":{"Paper":"https://doi.org/10.1007/10720246\\_8"},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["sat","based","procedures","temporal","reasoning","armando","castellini","giunchiglia"],"keywords":[],"authorIDs":[],"dataSources":["rHqNZ4Ekb6JGZnCCX","dnfNFBJhCgMcJQMDG"]}