• Home

  • Documents

  • icaps13.icaps-conference.org · 2012. 9. 2. · - Gabriella Cortellessa, National Research Council...
2

icaps13.icaps-conference.org · 2012. 9. 2. · - Gabriella Cortellessa, National Research Council of Italy - Patrik Haslum, The Australian National University Tutorial Chairs - Gerard

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Page 1: icaps13.icaps-conference.org · 2012. 9. 2. · - Gabriella Cortellessa, National Research Council of Italy - Patrik Haslum, The Australian National University Tutorial Chairs - Gerard
Page 2: icaps13.icaps-conference.org · 2012. 9. 2. · - Gabriella Cortellessa, National Research Council of Italy - Patrik Haslum, The Australian National University Tutorial Chairs - Gerard

A b s tra c tio n H e u ris tic s fo r P la n n in g : P D ...icaps08.icaps-conference.org/TUTORIALS/Haslum-Helmert.pdf · A b s tra c tio n H e u ris tic s fo r P la n n in g : P

A b s tra c tio n H e u ris tic s fo r P la n n in g : P D ...icaps08.icaps-conference.org/TUTORIALS/Haslum-Helmert.pdf · A b s tra c tio n H e u ris tic s fo r P la n n in g : P

Documents
Ingegneria del Software II - · PDF fileLecturer: Henry Muccini and Vittorio Cortellessa Computer Science Department University of L'Aquila-Italy muccini@di.univaq.it – cortelle@di.univaq.it

Ingegneria del Software II - · PDF fileLecturer: Henry Muccini and Vittorio Cortellessa Computer Science Department University of L'Aquila-Italy [email protected] – [email protected]

Documents
Analyzing Tradeoffs between Software Security and …catia.trubiani@univaq.it Advisor Vittorio Cortellessa vittorio.cortellessa@univaq.it Project PRIN PaCo(Performability-awareComputing)

Analyzing Tradeoffs between Software Security and …[email protected] Advisor Vittorio Cortellessa [email protected] Project PRIN PaCo(Performability-awareComputing)

Documents
2019 TLP HAIKU CONTEST FAVORITES - Turtle Light Press€¦ · Book Design by Emma Cortellessa Turle Light Press P.O. Box 50162 Arlington, VA 22205 U.S.A rick@turtlelightpress.com

2019 TLP HAIKU CONTEST FAVORITES - Turtle Light Press€¦ · Book Design by Emma Cortellessa Turle Light Press P.O. Box 50162 Arlington, VA 22205 U.S.A [email protected]

Documents
Table of Contents - users.cecs.anu.edu.authiebaux/workshops/ICAPS03/... · Table of Contents Preface ..... III Acknowledgements ... Patrik Haslum, Ulrich Scholz Position paper on

Table of Contents - users.cecs.anu.edu.authiebaux/workshops/ICAPS03/... · Table of Contents Preface ..... III Acknowledgements ... Patrik Haslum, Ulrich Scholz Position paper on

Documents
Deploying RAXEM2 Planning Improvements in Daily Work Practice Giulio Bernardi, Amedeo Cesta & Gabriella Cortellessa ISTC-CNR [PST] Institute for Cognitive

Deploying RAXEM2 Planning Improvements in Daily Work Practice Giulio Bernardi, Amedeo Cesta & Gabriella Cortellessa ISTC-CNR [PST] Institute for Cognitive

Documents
Ingegneria del Software II - di.univaq.it fileLecturer: Henry Muccini and Vittorio Cortellessa Computer Science Department University of L'Aquila-Italy muccini@di.univaq.it – cortelle@di.univaq.it

Ingegneria del Software II - di.univaq.it fileLecturer: Henry Muccini and Vittorio Cortellessa Computer Science Department University of L'Aquila-Italy [email protected] – [email protected]

Documents
DC TOP INDUSTRY WHOLESALERS The Future of DC Wholesaling A · mark Conroy Legg mason Rick Cortellessa goldman Sachs asset management DC IO DC IO RK RK RK NAPA’s 2015 100 Top DC

DC TOP INDUSTRY WHOLESALERS The Future of DC Wholesaling A · mark Conroy Legg mason Rick Cortellessa goldman Sachs asset management DC IO DC IO RK RK RK NAPA’s 2015 100 Top DC

Documents
Vittorio Cortellessa, Antinisca Di Marco, Catia Trubiani ... · Software Model Model2Model Transformation Performance Model Model Solution Results Interpretation & Feedback Generation

Vittorio Cortellessa, Antinisca Di Marco, Catia Trubiani ... · Software Model Model2Model Transformation Performance Model Model Solution Results Interpretation & Feedback Generation

Documents
Optimization of Aerial Surveys using an Algorithm Inspired ...icaps13.icaps-conference.org/wp-content/uploads/... · Harmony Search algorithm (I) • Basic concepts • Soft computing,

Optimization of Aerial Surveys using an Algorithm Inspired ...icaps13.icaps-conference.org/wp-content/uploads/... · Harmony Search algorithm (I) • Basic concepts • Soft computing,

Documents
Energy Saving from Tap Water Home Treatment Devicesscience.lpnu.ua/sites/default/files/journal-paper/2018/... · 2018. 6. 28. · 18 Laura Canale, Gino Cortellessa, Giorgio Ficco,

Energy Saving from Tap Water Home Treatment Devicesscience.lpnu.ua/sites/default/files/journal-paper/2018/... · 2018. 6. 28. · 18 Laura Canale, Gino Cortellessa, Giorgio Ficco,

Documents
Subgoal Graphs for Optimal Pathfinding in Eight-Neighbor …idm-lab.org/bib/abstracts/papers/icaps13.pdfSubgoal Graphs for Optimal Pathfinding in Eight-Neighbor Grids Tansel Uras

Subgoal Graphs for Optimal Pathfinding in Eight-Neighbor …idm-lab.org/bib/abstracts/papers/icaps13.pdfSubgoal Graphs for Optimal Pathfinding in Eight-Neighbor Grids Tansel Uras

Documents
Icaps 2013 - From Scheduling to Planning with Timelines: An ...icaps13.icaps-conference.org/wp-content/uploads/2012/06/...ICAPS 2013 Summer School Special track on P&S Space Applications

Icaps 2013 - From Scheduling to Planning with Timelines: An ...icaps13.icaps-conference.org/wp-content/uploads/2012/06/...ICAPS 2013 Summer School Special track on P&S Space Applications

Documents
LanoPro Multi Grease EP2 Pro · 2019. 5. 29. · Phone Lano Fax: +47 21 54 73 43: +47 40 00 15 14 E-mail: mail@lanopro.com LanoPro Production AS Smedveien 7 1344 Haslum Norway Fax:

LanoPro Multi Grease EP2 Pro · 2019. 5. 29. · Phone Lano Fax: +47 21 54 73 43: +47 40 00 15 14 E-mail: [email protected] LanoPro Production AS Smedveien 7 1344 Haslum Norway Fax:

Documents
Proceedings of the 1st Workshop on Planning in Continuous ...icaps13.icaps-conference.org/wp-content/uploads/2013/05/PCD13... · King’s College London, UK Brian Williams ... Martin

Proceedings of the 1st Workshop on Planning in Continuous ...icaps13.icaps-conference.org/wp-content/uploads/2013/05/PCD13... · King’s College London, UK Brian Williams ... Martin

Documents
REGULAR COUNCIL MEETING January 13, 2020685BAF4D... · 2020. 3. 10. · Dominick Cortellessa Edward Leonard Donald Pasquariello Eric Willse BOROUGH OF WANAQUE Regular Council Meeting

REGULAR COUNCIL MEETING January 13, 2020685BAF4D... · 2020. 3. 10. · Dominick Cortellessa Edward Leonard Donald Pasquariello Eric Willse BOROUGH OF WANAQUE Regular Council Meeting

Documents
Deploying Analytical Redundancy for System Fault Tolerance V. Cortellessa, D. Del Gobbo, A. Mili, M. Shereshevsky, and Z. Zhuang CSEE Dept. West Virginia

Deploying Analytical Redundancy for System Fault Tolerance V. Cortellessa, D. Del Gobbo, A. Mili, M. Shereshevsky, and Z. Zhuang CSEE Dept. West Virginia

Documents
Advanced Topics in AI: Planningcourses.cecs.anu.edu.au/courses/COMP4620/2007/atai0.pdf · Advanced Topics in AI: Planning P@trik Haslum NICTA/ANU 8th of August, 2007. Advanced Topics

Advanced Topics in AI: Planningcourses.cecs.anu.edu.au/courses/COMP4620/2007/atai0.pdf · Advanced Topics in AI: Planning P@trik Haslum NICTA/ANU 8th of August, 2007. Advanced Topics

Documents
Akvarianeren 1978 02:Layout 1...Seljeholtet 18, 1344 Haslum Hagen, tif: 21 84 Oslo 7 Hovseterveien 48 : : : 'SENIOR- : SENIOR- POSTCIRO: 5 15 98 27 : yr. år: kr 25,- kr 50,- Pr. halvår:

Akvarianeren 1978 02:Layout 1...Seljeholtet 18, 1344 Haslum Hagen, tif: 21 84 Oslo 7 Hovseterveien 48 : : : 'SENIOR- : SENIOR- POSTCIRO: 5 15 98 27 : yr. år: kr 25,- kr 50,- Pr. halvår:

Documents
ICAART 2011 - polimi.it · 2016. 7. 15. · Gabriella Cortellessa, ISTC-CNR, Italy Paulo Cortez, University of Minho, Portugal Massimo Cossentino, National Research Council, Italy

ICAART 2011 - polimi.it · 2016. 7. 15. · Gabriella Cortellessa, ISTC-CNR, Italy Paulo Cortez, University of Minho, Portugal Massimo Cossentino, National Research Council, Italy

Documents
Luca Berardinelli luca.berardinelli@univaq.it Dep. of Computer Science University of L’Aquila (ITALY) Vittorio Cortellessa vittorio.cortellessa@univaq.it

Luca Berardinelli [email protected] Dep. of Computer Science University of L’Aquila (ITALY) Vittorio Cortellessa [email protected]

Documents
ENDODONTIC MATERIALSdocshare01.docshare.tips/files/693/6934496.pdfENDODONTIC MATERIALS D. 0RSTAVIK NIOM — Scandinavian Institute of Dental Materials, Kirkeveien 71B, N-1344 Haslum,

ENDODONTIC MATERIALSdocshare01.docshare.tips/files/693/6934496.pdfENDODONTIC MATERIALS D. 0RSTAVIK NIOM — Scandinavian Institute of Dental Materials, Kirkeveien 71B, N-1344 Haslum,

Documents
Proceedings of the 4th Workshop on Knowledge Engineering ...icaps13.icaps-conference.org/wp-content/uploads/... · involved in the Use Case Diagrams in the object modeling and the

Proceedings of the 4th Workshop on Knowledge Engineering ...icaps13.icaps-conference.org/wp-content/uploads/... · involved in the Use Case Diagrams in the object modeling and the

Documents
L05: Introduction to ADLs Vittorio Cortellessa and Henry ...2011/Lectures/05_ADL.pdf · nome adl aadl abc/adl acme adage adlars adml aesop ... adl non convenzionale (v3) adl non piu

L05: Introduction to ADLs Vittorio Cortellessa and Henry ...2011/Lectures/05_ADL.pdf · nome adl aadl abc/adl acme adage adlars adml aesop ... adl non convenzionale (v3) adl non piu

Documents
An Innovative Product for Space Mission Planning: An A ... · An Innovative Product for Space Mission Planning An A Posteriori Evaluation Amedeo Cesta, Gabriella Cortellessa, Simone

An Innovative Product for Space Mission Planning: An A ... · An Innovative Product for Space Mission Planning An A Posteriori Evaluation Amedeo Cesta, Gabriella Cortellessa, Simone

Documents
Narrative Planning: Compilations to Classical Planning · Narrative Planning: Compilations to Classical Planning Patrik Haslum patrik.haslum@anu.edu.au Australian National University,

Narrative Planning: Compilations to Classical Planning · Narrative Planning: Compilations to Classical Planning Patrik Haslum [email protected] Australian National University,

Documents
Model checking Hybrid Systems via Satisfiability Modulo Theories …icaps13.icaps-conference.org/wp-content/uploads/2013/06/... · 2017. 1. 12. · Joint work with Andrea Micheli,

Model checking Hybrid Systems via Satisfiability Modulo Theories …icaps13.icaps-conference.org/wp-content/uploads/2013/06/... · 2017. 1. 12. · Joint work with Andrea Micheli,

Documents