|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Mauro Vallati, Alessandro Umbrico (eds.) |
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.  |
IPS-RCRA@AI*IA  |
2022 |
DBLP BibTeX RDF |
|
| 1 | Marco Esposito, Leonardo Picchiami |
Intelligent Search for Personalized Cancer Therapy Synthesis: an Experimental Comparison. |
IPS-RCRA@AI*IA |
2021 |
DBLP BibTeX RDF |
|
| 1 | Angela Pappagallo |
Statistical Model Checking as an Effective Technology to Formally Analyze Industry-Relevant Cyber-Physical Systems. |
IPS-RCRA@AI*IA |
2021 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Bertolucci, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro, Francesco Ricca |
Explaining ASP-based Operating Room Schedules. |
IPS-RCRA@AI*IA |
2021 |
DBLP BibTeX RDF |
|
| 1 | Leonardo Picchiami |
Automatic Synthesis of Stabilizing Controllers for Discrete Time Linear Hybrid Systems. |
IPS-RCRA@AI*IA |
2021 |
DBLP BibTeX RDF |
|
| 1 | Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro |
Scheduling Pre-Operative Assessment Clinic via Answer Set Programming. |
IPS-RCRA@AI*IA |
2021 |
DBLP BibTeX RDF |
|
| 1 | Emanuele De Pellegrin, Ronald P. A. Petrick |
Plan Simulation with PDSim. |
IPS-RCRA@AI*IA |
2021 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Galatà, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro |
An ASP-based solution to the Operating Room Scheduling with care units. |
IPS-RCRA@AI*IA |
2021 |
DBLP BibTeX RDF |
|
| 1 | Gabriele Sartor, Davide Zollo, Marta Cialdea Mayer, Angelo Oddi, Riccardo Rasconi, Vieri Giuliano Santucci |
Autonomous Generation of Symbolic Knowledge via Option Discovery. |
IPS-RCRA@AI*IA |
2021 |
DBLP BibTeX RDF |
|
| 1 | Diego Aineto, Eva Onaindia, Miquel Ramírez, Enrico Scala, Ivan Serina |
Towards Plan Recognition in Hybrid Systems. |
IPS-RCRA@AI*IA |
2020 |
DBLP BibTeX RDF |
|
| 1 | Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli, Riccardo Zese |
Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints. |
IPS-RCRA@AI*IA |
2020 |
DBLP BibTeX RDF |
|
| 1 | Oto Mraz |
Local Search for AI Planning. |
IPS-RCRA@AI*IA |
2020 |
DBLP BibTeX RDF |
|
| 1 | Mauro Vallati, Thomas Leo McCluskey |
In Defence of Design Patterns for AI Planning Knowledge Models (short paper). |
IPS-RCRA@AI*IA |
2020 |
DBLP BibTeX RDF |
|
| 1 | Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro |
An ASP based Solution for Operating Room Scheduling with Surgical Teams in Hospital Environments. |
IPS-RCRA@AI*IA |
2020 |
DBLP BibTeX RDF |
|
| 1 | Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Alessandro Umbrico, Mauro Vallati (eds.) |
Joint Proceedings of the 8th Italian Workshop on Planning and Scheduling and the 27th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with AIxIA 2020, Online Event, November 25-27, 2020. |
IPS-RCRA@AI*IA |
2020 |
DBLP BibTeX RDF |
|
| 1 | Belén Santos León, Jane Jean Kiam, Axel Schulte |
Model-Based Automated Flight Path Planning for an Ultralight Aircraft (short paper). |
IPS-RCRA@AI*IA |
2020 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Riccardo Bertolucci, Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro, Marco Schouten |
Answer Set Programming in Healthcare: Extended Overview. |
IPS-RCRA@AI*IA |
2020 |
DBLP BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license