default search action

combined dblp search
author search
venue search
publication search

ask others

IPS-RCRA@AI*IA 2021: Online Event / Milan, Italy

> Home > Conferences and Workshops > RCRA
> Home > Conferences and Workshops > AI*IA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/aiia/2021ips
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/2021ips
Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Mauro Vallati, Alessandro Umbrico:
Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy (virtual), November 29th-30th, 2021. CEUR Workshop Proceedings 3065, CEUR-WS.org 2022

9th Italian Workshop on Planning and Scheduling (IPS-2021)

- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/PellegrinP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/PellegrinP21
Emanuele De Pellegrin, Ronald P. A. Petrick:
Plan Simulation with PDSim.
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/SartorZMORS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/SartorZMORS21
Gabriele Sartor, Davide Zollo, Marta Cialdea Mayer, Angelo Oddi, Riccardo Rasconi, Vieri Giuliano Santucci:
Autonomous Generation of Symbolic Knowledge via Option Discovery.
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/CarusoGMMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/CarusoGMMP21
Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro:
Scheduling Pre-Operative Assessment Clinic via Answer Set Programming.

International Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA'21)

- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/Picchiami21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/Picchiami21
Leonardo Picchiami:
Automatic Synthesis of Stabilizing Controllers for Discrete Time Linear Hybrid Systems.
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/Pappagallo21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/Pappagallo21
Angela Pappagallo:
Statistical Model Checking as an Effective Technology to Formally Analyze Industry-Relevant Cyber-Physical Systems.
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/EspositoP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/EspositoP21
Marco Esposito, Leonardo Picchiami:
Intelligent Search for Personalized Cancer Therapy Synthesis: an Experimental Comparison.
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/BertolucciDGMPR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/BertolucciDGMPR21
Riccardo Bertolucci, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro, Francesco Ricca:
Explaining ASP-based Operating Room Schedules.
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/GalataMMMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/GalataMMMP21
Giuseppe Galatà, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro:
An ASP-based solution to the Operating Room Scheduling with care units.

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.