<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>References</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>AI planning</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>in: Proceedings of the</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>ICTAI</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Baltimore</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>USA. November</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Riccardo De Benedictis</institution>
          ,
          <addr-line>Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Mauro Vallati, Alessandro Umbrico</addr-line>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>[1] X. Zhang, A. Grastien, E. Scala, Computing superior counter-examples for conformant planning, in: Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence</institution>
          ,
          <addr-line>New York</addr-line>
          ,
          <country country="US">USA</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>This volume contains the papers presented at IPS 2021, the 9th Italian Workshop on Planning and Scheduling (http://ips2021.istc.cnr.it) and at RCRA 2021, the 28th International Workshop on “Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion”, held within the virtual XX Conference of the Italian Association for Artificial Intelligence (AI*IA 2021), on November 29 and November 30, 2021. The aim of the IPS series of workshop is to bring together researchers interested in different aspects of planning and scheduling, and to introduce new researchers to the community. Although the primary target of IPS workshops is the Italian community of planning and scheduling, the aim is also to attract an international gathering, fostering contributions and participation from around the world. In particular, this year, 9 papers were accepted for presentation at the workshop, involving different authors from Italy and other European countries. Moreover, this year we also had an invited talk by David E. Smith, a leader in several aspects of AI Planning, from theory to their application into the Space sector. The IPS accepted papers mainly focus on conformant planning [1], generation of symbolic knowledge [2], multi-agent planning [3], numeric and temporal planning [4, 5], online learning and planning [6], plan simulation [7] and applications of planning and scheduling [8]. The scope of the RCRA workshop is, instead, fostering the cross-fertilization of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modeling, and ease of development. In particular, this year 8 papers were accepted for presentation at the workshop, involving different authors from Italy and other European countries. The RCRA 2021 accepted papers mainly focused on applications of model checking [9, 10], explainability[11], constraint programming [12], applications of planning and scheduling [13, 14], online learning and planning [6], and heuristics for planning [15].</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>vii
viii</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>G.</given-names>
            <surname>Sartor</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Zollo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M. C.</given-names>
            <surname>Mayer</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Oddi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Rasconi</surname>
          </string-name>
          , V. G. Santucci,
          <article-title>Autonomous generation of symbolic knowledge via option discovery</article-title>
          ,
          <source>in: Proceedings of the IPS'21 and RCRA'21 Workshops</source>
          , CEUR Workshop Proceedings, CEUR-WS.org,
          <year>2021</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>A. E.</given-names>
            <surname>Gerevini</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Lipovetzky</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Percassi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Saetti</surname>
          </string-name>
          ,
          <string-name>
            <surname>I. Serina</surname>
          </string-name>
          ,
          <article-title>Best-first width search for multi agent privacy-preserving planning</article-title>
          ,
          <source>in: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling</source>
          ,
          <string-name>
            <surname>ICAPS</surname>
          </string-name>
          <year>2018</year>
          , Berkeley, CA, USA.
          <source>July 11-15</source>
          , AAAI Press,
          <year>2019</year>
          , pp.
          <fpage>163</fpage>
          -
          <lpage>171</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>F.</given-names>
            <surname>Percassi</surname>
          </string-name>
          , E. Scala,
          <string-name>
            <given-names>M.</given-names>
            <surname>Vallati</surname>
          </string-name>
          ,
          <article-title>Translations from discretised PDDL+ to numeric planning</article-title>
          ,
          <source>in: Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling</source>
          ,
          <string-name>
            <surname>ICAPS</surname>
          </string-name>
          <year>2021</year>
          ,
          <article-title>Guangzhou, China (virtual)</article-title>
          .
          <source>August 2-13</source>
          , AAAI Press,
          <year>2021</year>
          , pp.
          <fpage>252</fpage>
          -
          <lpage>261</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>A. M.</given-names>
            <surname>Stefan Panjkovic</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Cimatti</surname>
          </string-name>
          ,
          <article-title>Deciding unsolvability in temporal planning under action non-self-overlapping</article-title>
          ,
          <source>in: Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence</source>
          , Vancouver, BC,
          <source>Canada (accepted)</source>
          ,
          <year>2022</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>L.</given-names>
            <surname>Lamanna</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Saetti</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Serafini</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Gerevini</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Traverso</surname>
          </string-name>
          ,
          <article-title>Online learning of action models for PDDL planning</article-title>
          ,
          <source>in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI</source>
          <year>2021</year>
          , Virtual Event / Montreal, Canada.
          <source>August</source>
          <volume>19</volume>
          -27, ijcai.org,
          <year>2021</year>
          , pp.
          <fpage>4112</fpage>
          -
          <lpage>4118</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>E. D.</given-names>
            <surname>Pellegrin</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R. P. A.</given-names>
            <surname>Petrick</surname>
          </string-name>
          ,
          <article-title>Plan simulation with pdsim</article-title>
          ,
          <source>in: Proceedings of the IPS'21 and RCRA'21 Workshops</source>
          , CEUR Workshop Proceedings, CEUR-WS.org,
          <year>2021</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>S.</given-names>
            <surname>Caruso</surname>
          </string-name>
          , G. Galatà,
          <string-name>
            <given-names>M.</given-names>
            <surname>Maratea</surname>
          </string-name>
          ,
          <string-name>
            <given-names>I. P.</given-names>
            <surname>Marco</surname>
          </string-name>
          <string-name>
            <surname>Mochi</surname>
          </string-name>
          ,
          <article-title>Scheduling pre-operative assessment clinic via answer set programming</article-title>
          ,
          <source>in: Proceedings of the IPS'21 and RCRA'21 Workshops</source>
          , CEUR Workshop Proceedings, CEUR-WS.org,
          <year>2021</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>A.</given-names>
            <surname>Pappagallo</surname>
          </string-name>
          ,
          <article-title>Statistical model checking as an effective technology to formally analyze industry-relevant cyber-physical systems</article-title>
          ,
          <source>in: Proceedings of the IPS'21 and RCRA'21 Workshops</source>
          , CEUR Workshop Proceedings, CEUR-WS.org,
          <year>2021</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>M.</given-names>
            <surname>Esposito</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Picchiami</surname>
          </string-name>
          ,
          <article-title>Intelligent search for personalized cancer therapy synthesis: an experimental comparison</article-title>
          ,
          <source>in: Proceedings of the IPS'21 and RCRA'21 Workshops</source>
          , CEUR Workshop Proceedings, CEUR-WS.org,
          <year>2021</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>R.</given-names>
            <surname>Bertolucci</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Dodaro</surname>
          </string-name>
          , G. Galatà,
          <string-name>
            <given-names>M.</given-names>
            <surname>Maratea</surname>
          </string-name>
          ,
          <string-name>
            <given-names>I.</given-names>
            <surname>Porro</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Ricca</surname>
          </string-name>
          ,
          <article-title>Explaining asp-based operating room schedules</article-title>
          ,
          <source>in: Proceedings of the IPS'21 and RCRA'21 Workshops</source>
          , CEUR Workshop Proceedings, CEUR-WS.org,
          <year>2021</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>R.</given-names>
            <surname>Adrdor</surname>
          </string-name>
          , L. Koutti,
          <article-title>Asynchronous forward-bounding algorithm with directional arc consistency</article-title>
          ,
          <source>in: Proceedings of the International Conference on Logic Programming</source>
          <year>2021</year>
          <article-title>Workshops co-located with the 37th International Conference on Logic Programming (ICLP</article-title>
          <year>2021</year>
          ), Porto, Portugal (virtual).
          <source>September 20th-21st</source>
          , volume
          <volume>2970</volume>
          <source>of CEUR Workshop Proceedings, CEUR-WS.org</source>
          ,
          <year>2021</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>L.</given-names>
            <surname>Picchiami</surname>
          </string-name>
          ,
          <article-title>Automatic synthesis of stabilizing controllers for discrete time linear hybrid systems</article-title>
          ,
          <source>in: Proceedings of the IPS'21 and RCRA'21 Workshops</source>
          , CEUR Workshop Proceedings, CEUR-WS.org,
          <year>2021</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [14]
          <string-name>
            <given-names>G.</given-names>
            <surname>Galatà</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Maratea</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Mochi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Morozan</surname>
          </string-name>
          ,
          <string-name>
            <surname>I. Porro</surname>
          </string-name>
          ,
          <article-title>An asp-based solution to the operating room scheduling with care units</article-title>
          ,
          <source>in: Proceedings of the IPS'21 and RCRA'21 Workshops</source>
          , CEUR Workshop Proceedings, CEUR-WS.org,
          <year>2021</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [15]
          <string-name>
            <given-names>I.</given-names>
            <surname>Serina</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Vallati</surname>
          </string-name>
          ,
          <article-title>Configurable heuristic adaptation for improving best first search in</article-title>
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>