• Home

  • Documents

  • KRdl.kr.org/dl2016/downloads/DL16_program_screenres.pdfDiego Calvanese, Marco Montali, Fabio Patrizi...
2

KRdl.kr.org/dl2016/downloads/DL16_program_screenres.pdfDiego Calvanese, Marco Montali, Fabio Patrizi and Michele Stawowy: Synthesizing and Executing Plans in Knowledge and Action Bases

  • Upload
    others

  • View
    4

  • Download
    0

Embed Size (px)

Citation preview

Page 1: KRdl.kr.org/dl2016/downloads/DL16_program_screenres.pdfDiego Calvanese, Marco Montali, Fabio Patrizi and Michele Stawowy: Synthesizing and Executing Plans in Knowledge and Action Bases
Page 2: KRdl.kr.org/dl2016/downloads/DL16_program_screenres.pdfDiego Calvanese, Marco Montali, Fabio Patrizi and Michele Stawowy: Synthesizing and Executing Plans in Knowledge and Action Bases

CAiSE 2015 - Montali - Declarative Process Modeling in BPMN

CAiSE 2015 - Montali - Declarative Process Modeling in BPMN

Presentations & Public Speaking
Ontology-based Data Access and Integration: …calvanese/presentations/2018-CLEI...Ontology-based Data Access and Integration: Relational Data and Beyond Diego Calvanese KRDB Research

Ontology-based Data Access and Integration: …calvanese/presentations/2018-CLEI...Ontology-based Data Access and Integration: Relational Data and Beyond Diego Calvanese KRDB Research

Documents
Montali: Declarative, Constraint-Based Business Process Management - Seville 2016

Montali: Declarative, Constraint-Based Business Process Management - Seville 2016

Presentations & Public Speaking
ExpressivityandComplexityofMongoDBQueries (ExtendedVersion) · 2017-04-26 · ExpressivityandComplexityofMongoDBQueries (ExtendedVersion) E. Botoeva, D. Calvanese, B. Cogrel, and

ExpressivityandComplexityofMongoDBQueries (ExtendedVersion) · 2017-04-26 · ExpressivityandComplexityofMongoDBQueries (ExtendedVersion) E. Botoeva, D. Calvanese, B. Cogrel, and

Documents
AIxIA2015 - Marco Somalvico Award 2015 - Montali - Data and Processes: a Challenging, though Necessary, Marriage

AIxIA2015 - Marco Somalvico Award 2015 - Montali - Data and Processes: a Challenging, though Necessary, Marriage

Presentations & Public Speaking
KR 2014 - Montali - State-Boundedness in Data-Aware Dynamic Systems

KR 2014 - Montali - State-Boundedness in Data-Aware Dynamic Systems

Presentations & Public Speaking
Ontology-Driven Extraction of Event Logs from Relational ...montali/papers/calvanese-etal-BPI2015-obd… · Alifah Syamsiyah was supported by the European Master’s Program in Computational

Ontology-Driven Extraction of Event Logs from Relational ...montali/papers/calvanese-etal-BPI2015-obd… · Alifah Syamsiyah was supported by the European Master’s Program in Computational

Documents
Prohealth 2011 - Montali - Conformance Checking of Executed Clinical Guidelines in presence of Basic Medical Knowledge

Prohealth 2011 - Montali - Conformance Checking of Executed Clinical Guidelines in presence of Basic Medical Knowledge

Presentations & Public Speaking
Architecture Portfolio - Michele Montali

Architecture Portfolio - Michele Montali

Documents
Montali, Cesar (CIPED) Brunengo, Andrea (RRHH)

Montali, Cesar (CIPED) Brunengo, Andrea (RRHH)

Documents
makspad...• masa elementu: 20,8 kg (element pod- stawowy); 23,6 kg (element dodatkowy) (w stanie powietrznosuchym); • zužyciepustakówna 1 m2 muru: 7 ,84szt • zužycie mieszanki

makspad...• masa elementu: 20,8 kg (element pod- stawowy); 23,6 kg (element dodatkowy) (w stanie powietrznosuchym); • zužyciepustakówna 1 m2 muru: 7 ,84szt • zužycie mieszanki

Documents
Foundations of Data-Aware Process Analysis: A …calvanese/presentations/2013-PODS-data...Foundations of Data-Aware Process Analysis: A Database Theory Perspective Diego Calvanese

Foundations of Data-Aware Process Analysis: A …calvanese/presentations/2013-PODS-data...Foundations of Data-Aware Process Analysis: A Database Theory Perspective Diego Calvanese

Documents
Bettoni, Felicita / Montali, Sandra (Freie Universität Bozen) Mehr als nur ein paar Tipps fürs Sprachenlernen BREMER SYMPOSION 2009

Bettoni, Felicita / Montali, Sandra (Freie Universität Bozen) Mehr als nur ein paar Tipps fürs Sprachenlernen BREMER SYMPOSION 2009

Documents
Seminar@KRDB 2011 - Montali - Runtime Reasoning with the Event Calculus: from Theory to Practice

Seminar@KRDB 2011 - Montali - Runtime Reasoning with the Event Calculus: from Theory to Practice

Presentations & Public Speaking
GABRIELLA MONTALI DANIELA MANDELLI NADJA …

GABRIELLA MONTALI DANIELA MANDELLI NADJA …

Documents
SARAH Shop Assistant in Reti Ad-Hoc Marco Montali

SARAH Shop Assistant in Reti Ad-Hoc Marco Montali

Documents
Conceptual Schema Transformation in Ontology-based Data …Conceptual Schema Transformation in Ontology-based Data Access Diego Calvanese 1, Tahir Emre Kalayci2 ;, Marco Montali ,

Conceptual Schema Transformation in Ontology-based Data …Conceptual Schema Transformation in Ontology-based Data Access Diego Calvanese 1, Tahir Emre Kalayci2 ;, Marco Montali ,

Documents
Seminar@TU/e 2010 - Montali - Business Constraint Monitoring and Operational Support

Seminar@TU/e 2010 - Montali - Business Constraint Monitoring and Operational Support

Presentations & Public Speaking
SFScon15 - Paolo Viskanic, Bruno Montali: "EcoGIS una soluzione open source per il monitoraggio energetico dei Comuni"

SFScon15 - Paolo Viskanic, Bruno Montali: "EcoGIS una soluzione open source per il monitoraggio energetico dei Comuni"

Government & Nonprofit
PV 2014 - Montali - Verification of Parameterized Data-Aware Dynamic Systems

PV 2014 - Montali - Verification of Parameterized Data-Aware Dynamic Systems

Presentations & Public Speaking
ILIKS2010 - Montali - Monitoring Time-Aware Commitments

ILIKS2010 - Montali - Monitoring Time-Aware Commitments

Presentations & Public Speaking
Don Giovanni Montali

Don Giovanni Montali

Documents
 · glowa) oraz czynnoŠciowym (uklad kostno- stawowy, uklad miçšniowy, uklad kraŽenia, uklad oddechowy, uklad pokarmowy, uklad moczowy, uklady plciowe,

 · glowa) oraz czynnoŠciowym (uklad kostno- stawowy, uklad miçšniowy, uklad kraŽenia, uklad oddechowy, uklad pokarmowy, uklad moczowy, uklady plciowe,

Documents
Basi di Dati - inf.unibz.itcalvanese/teaching/03-04-basididati/... · Basi di Dati - A.A. 2003/2004 - Diego Calvanese 3. SQL - 2 Diego Calvanese Basi di Dati – A.A. 2003/2004 3

Basi di Dati - inf.unibz.itcalvanese/teaching/03-04-basididati/... · Basi di Dati - A.A. 2003/2004 - Diego Calvanese 3. SQL - 2 Diego Calvanese Basi di Dati – A.A. 2003/2004 3

Documents
Gabriella Montali - Daniela Mandelli - Nadja Czernohous

Gabriella Montali - Daniela Mandelli - Nadja Czernohous

Documents
Montali - DB-Nets: On The Marriage of Colored Petri Nets and Relational Databases

Montali - DB-Nets: On The Marriage of Colored Petri Nets and Relational Databases

Presentations & Public Speaking
Engineering and verifying agent-oriented requirements ...montali/papers/montali-etal-JAAMAS2011... · Engineering and verifying agent-oriented requirements augmented by business

Engineering and verifying agent-oriented requirements ...montali/papers/montali-etal-JAAMAS2011... · Engineering and verifying agent-oriented requirements augmented by business

Documents
Basi di Dati 2. Il modello relazionale - inf.unibz.itcalvanese/teaching/03-04-basididati/... · Basi di Dati - A.A. 2003/2004 - Diego Calvanese 2. Modello relazionale - 4 Diego Calvanese

Basi di Dati 2. Il modello relazionale - inf.unibz.itcalvanese/teaching/03-04-basididati/... · Basi di Dati - A.A. 2003/2004 - Diego Calvanese 2. Modello relazionale - 4 Diego Calvanese

Documents
BPM 2014 - Montali - Monitoring Business Metaconstraints Based on LTL & LDL for Finite Traces

BPM 2014 - Montali - Monitoring Business Metaconstraints Based on LTL & LDL for Finite Traces

Presentations & Public Speaking
Invited Seminar@KRDB 2010 - Montali - Specification and Verification of Declarative Open Interaction Models

Invited Seminar@KRDB 2010 - Montali - Specification and Verification of Declarative Open Interaction Models

Presentations & Public Speaking