{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T13:23:00Z","timestamp":1777728180905,"version":"3.51.4"},"reference-count":38,"publisher":"SAGE Publications","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IA"],"published-print":{"date-parts":[[2016,12,12]]},"DOI":"10.3233\/ia-160100","type":"journal-article","created":{"date-parts":[[2016,12,13]],"date-time":"2016-12-13T10:03:29Z","timestamp":1481623409000},"page":"129-145","source":"Crossref","is-referenced-by-count":0,"title":["Investigating domain independent heuristics\u00a0in a timeline-based planner"],"prefix":"10.1177","volume":"10","author":[{"given":"Riccardo","family":"De Benedictis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amedeo","family":"Cesta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","reference":[{"key":"10.3233\/IA-160100_ref1","volume-title":"Constraint Logic Programming Using ECLiPSe","author":"Apt","year":"2007"},{"key":"10.3233\/IA-160100_ref2","doi-asserted-by":"crossref","unstructured":"Benton J. , Coles Amanda, and Coles Andrew. Temporal Planning with Preferences and Time-Dependent Continuous Costs. In Twenty-Second International Conference on Automated Planning and Scheduling, (2012).","DOI":"10.1609\/icaps.v22i1.13509"},{"key":"10.3233\/IA-160100_ref3","unstructured":"Bernardini S. and Smith D.E. , Developing Domain- Independent Search Control for EUROPA2. In Proceedings of the Workshop on Heuristics for Domain-independent Planning at ICAPS-07, (2007)."},{"key":"10.3233\/IA-160100_ref4","first-page":"1636","volume-title":"IJCAI","author":"Blum","year":"1995"},{"issue":"1-2","key":"10.3233\/IA-160100_ref5","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/S0004-3702(01)00108-4","article-title":"Planning as heuristic search","volume":"129","author":"Bonet","year":"2001","journal-title":"Artificial Intelligence"},{"key":"10.3233\/IA-160100_ref6","doi-asserted-by":"crossref","first-page":"6535","DOI":"10.1109\/ICRA.2014.6907823","author":"Cashmore","year":"2014","journal-title":"2014 IEEE International Conference on Robotics and Automation"},{"key":"10.3233\/IA-160100_ref7","volume-title":"Proceedings of the 21st Innovative Applications of Artificial Intelligence Conference","author":"Cesta","year":"2009"},{"issue":"1","key":"10.3233\/IA-160100_ref8","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1023\/A:1013617802515","article-title":"A constraint-based method for project scheduling with time windows","volume":"8","author":"Cesta","year":"2002","journal-title":"Journal of Heuristics"},{"key":"10.3233\/IA-160100_ref9","doi-asserted-by":"crossref","unstructured":"Chien S. , Tran D. , Rabideau G. , Schaffer S.R. , Mandl D. and Frye S. , Timeline-Based Space Operations Scheduling with External Constraints. In ICAPS-10. Proc. of the 20th Int. Conf. on Automated Planning and Scheduling, (2010).","DOI":"10.1609\/icaps.v20i1.13410"},{"key":"10.3233\/IA-160100_ref10","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/978-3-642-31759-0_19","volume-title":"Model Checking Software - 19th International Workshop","author":"Christ","year":"2012"},{"key":"10.3233\/IA-160100_ref11","first-page":"1","article-title":"Planning and execution with flexible timelines: a formal account","author":"Mayer","year":"2015","journal-title":"Acta Informatica"},{"key":"10.3233\/IA-160100_ref12","doi-asserted-by":"crossref","unstructured":"Cimatti A. , Griggio A. , Schaafsma B. and Sebastiani R. , The MathSAT5 SMT Solver. In Piterman Nir and Smolka Scott, editors, Proceedings of TACAS, 7795 of LNCS. Springer, (2013).","DOI":"10.1007\/978-3-642-36742-7_7"},{"key":"10.3233\/IA-160100_ref13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.3608","article-title":"COLIN: Planning with continuous linear numeric change","volume":"44","author":"Coles","year":"2012","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.3233\/IA-160100_ref14","first-page":"1852","volume-title":"Proceedings of the 20th International Joint Conference on Artifical Intelligence","author":"Cushing","year":"2007"},{"key":"10.3233\/IA-160100_ref15","first-page":"105","volume-title":"Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling","author":"Cushing","year":"2007"},{"key":"10.3233\/IA-160100_ref16","doi-asserted-by":"crossref","unstructured":"De Benedictis R. and Cesta A., Integrating Logic and Constraint Reasoning in a Timeline-based Planner. In AI*IA 2015 - XIVth International Conference of the Italian Association for Artificial Intelligence, (2015).","DOI":"10.1007\/978-3-319-24309-2_32"},{"key":"10.3233\/IA-160100_ref17","first-page":"33","author":"De Benedictis","year":"2015","journal-title":"Proceedings of the 6th Italian Workshop on Planning and Scheduling A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015)"},{"key":"10.3233\/IA-160100_ref18","first-page":"337","volume-title":"Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"De Moura","year":"2008"},{"key":"10.3233\/IA-160100_ref19","volume-title":"Constraint Processing","author":"Dechter","year":"2003"},{"key":"10.3233\/IA-160100_ref20","volume-title":"IEEE International Conference on Tools with Artificial Intelligence (ICTAI)","author":"Dvorak","year":"2014"},{"key":"10.3233\/IA-160100_ref21","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1613\/jair.1129","article-title":"PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains","volume":"20","author":"Fox","year":"2003","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"2","key":"10.3233\/IA-160100_ref22","first-page":"231","article-title":"Unifying planning and scheduling as timelines in a component-based perspective","volume":"18","author":"Fratini","year":"2008","journal-title":"Archives of Control Sciences"},{"key":"10.3233\/IA-160100_ref23","first-page":"61","article-title":"Representation and Control in IxTeT, a Temporal Planner","author":"Ghallab","year":"1994","journal-title":"AIPS-94. Proceedings of the 2nd Int Conf on AI Planning and Scheduling"},{"issue":"3","key":"10.3233\/IA-160100_ref24","first-page":"57","article-title":"FF: The fast-forward planning system","volume":"22","author":"Hoffman","year":"2001","journal-title":"AI Magazine"},{"key":"10.3233\/IA-160100_ref25","unstructured":"Jonsson A.K. , Morris P.H. , Muscettola N. , Rajan K. and Smith B. , Planning in Interplanetary Space: Theory and Practice. In AIPS-00. Proceedings of the Fifth Int Conf on AI Planning and Scheduling, (2000)."},{"issue":"2-3","key":"10.3233\/IA-160100_ref26","first-page":"59","article-title":"The Sat4j library, release 2.2","volume":"7","author":"Le Berre","year":"2010","journal-title":"JSAT"},{"issue":"4","key":"10.3233\/IA-160100_ref27","doi-asserted-by":"crossref","first-page":"445","DOI":"10.3166\/ria.24.445-464","article-title":"TLP-GP: A planificateur pour la r\u00e9solution de probl\u00e8mes temporellements expressifs","volume":"24","author":"Maris","year":"2010","journal-title":"Revue d\u2019 Intelligence Artificielle"},{"key":"10.3233\/IA-160100_ref28","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with Constraints: An Introduction","author":"Marriott","year":"1998"},{"key":"10.3233\/IA-160100_ref29","volume-title":"Intelligent Scheduling","author":"Muscettola","year":"1994"},{"key":"10.3233\/IA-160100_ref30","first-page":"583","article-title":"A Systematic Agent Framework for Situated Autonomous Systems","author":"Py","year":"2010","journal-title":"AAMAS"},{"key":"10.3233\/IA-160100_ref31","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/978-3-642-33353-8_14","article-title":"Using Satisfiability for Non-optimal Temporal Planning","author":"Rankooh","year":"2012","journal-title":"Logics in Artificial Intelligence - 13th European Conference"},{"issue":"1","key":"10.3233\/IA-160100_ref32","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","article-title":"A machine-oriented logic based on the resolution principle","volume":"12","author":"Robinson","year":"1965","journal-title":"Journal of the Association for Computing Machinery"},{"key":"10.3233\/IA-160100_ref33","first-page":"141","article-title":"Lazy satisability modulo theories","volume":"3","author":"Sebastiani","year":"2007","journal-title":"JSAT"},{"key":"10.3233\/IA-160100_ref34","unstructured":"Simmons R. and Younes H. , VHPOP: Versatile Heuristic Partial Order Planner. CoRR, (2011)."},{"key":"10.3233\/IA-160100_ref35","doi-asserted-by":"crossref","unstructured":"Smith D.E. , Frank J. and J\u00f3nsson A.K. , Bridging the Gap Between Planning and Scheduling. Knowledge Engineering Review, (2000).","DOI":"10.1017\/S0269888900001089"},{"key":"10.3233\/IA-160100_ref36","doi-asserted-by":"crossref","unstructured":"Stock S. , Mansouri M. , Pecora F. and Hertzberg J. , Hierarchical hybrid planning in a mobile service robot. In H\u00f6lldobler Steffen, Kr\u00f6tzsch Markus, Pe\u00f1aloza Rafael, and Rudolph Sebastian, editors, KI: Advances in Artificial Intelligence: 38th Annual German Conference on AI, Dresden, Germany, September 21-25, Proceedings, Cham, Springer International Publishing. (2015), 309\u2013315.","DOI":"10.1007\/978-3-319-24489-1_28"},{"issue":"3","key":"10.3233\/IA-160100_ref37","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1016\/j.artint.2005.08.004","article-title":"Branching and pruning: An optimal temporal POCL planner based on constraint programming","volume":"170","author":"Vidal","year":"2006","journal-title":"Artificial Intelligence"},{"issue":"4","key":"10.3233\/IA-160100_ref38","first-page":"27","article-title":"An introduction to least commitment planning","volume":"15","author":"Weld","year":"1994","journal-title":"AI Magazine"}],"container-title":["Intelligenza Artificiale"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/IA-160100","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T10:51:27Z","timestamp":1777459887000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospress&doi=10.3233\/IA-160100"}},"subtitle":[],"editor":[{"given":"Gabriella","family":"Cortellessa","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Daniele","family":"Magazzeni","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Marco","family":"Maratea","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Ivan","family":"Serina","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2016,12,12]]},"references-count":38,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.3233\/ia-160100","relation":{},"ISSN":["1724-8035","2211-0097"],"issn-type":[{"value":"1724-8035","type":"print"},{"value":"2211-0097","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,12,12]]}}}