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

2

Transcript of KRdl.kr.org/dl2016/downloads/DL16_program_screenres.pdfDiego Calvanese, Marco Montali, Fabio Patrizi...

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

Paolo Torroni & Rebecca Montanari Tutor: Marco Montali · • algoritmi e linguaggi di programmazione ... arte e mestiere” Terza edizione. McGraw-Hill, Milano, 2004 • Architettura

Paolo Torroni & Rebecca Montanari Tutor: Marco Montali · • algoritmi e linguaggi di programmazione ... arte e mestiere” Terza edizione. McGraw-Hill, Milano, 2004 • Architettura

CAiSE 2015 - Montali - Declarative Process Modeling in BPMN

CAiSE 2015 - Montali - Declarative Process Modeling in BPMN

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 ...

Sandra Montali, Maria Teresa Munini, Mariella Natale ...pro.unibz.it/library/bupress/publications/preview/Leggere-comprendere_1-10.pdf · ficuamente partecipare allo scambio di idee

Sandra Montali, Maria Teresa Munini, Mariella Natale ...pro.unibz.it/library/bupress/publications/preview/Leggere-comprendere_1-10.pdf · ficuamente partecipare allo scambio di idee

web.uniroma1.it · Vincenzo Calvanese, Caterina Cicirelli, Letteria Spuria, Manuela Valentini Soprintendenza Pompei 10.25 Il Restauro della Casa del Criptoportico Caterina Cicirelli,

web.uniroma1.it · Vincenzo Calvanese, Caterina Cicirelli, Letteria Spuria, Manuela Valentini Soprintendenza Pompei 10.25 Il Restauro della Casa del Criptoportico Caterina Cicirelli,

Patrizi Francesco Patritius, Della Poetica - La deca istoriale

Patrizi Francesco Patritius, Della Poetica - La deca istoriale

Patrizi. CPP Anotado

Patrizi. CPP Anotado

The Potential of Elelcltric Exhaust Gas Turbocharging for ...€¦ · O. Ryder (HOLSET TURBOCHARGERS, UK) L. Jaeger, L. Montali (IVECOMOTORENFORSHUNG LTD, CH) Presentation overview

The Potential of Elelcltric Exhaust Gas Turbocharging for ...€¦ · O. Ryder (HOLSET TURBOCHARGERS, UK) L. Jaeger, L. Montali (IVECOMOTORENFORSHUNG LTD, CH) Presentation overview

Platonism and its Legacy - prometheustrust.co.uk · Francesco Patrizi and the Oracles of Zoroaster: The Use of Chaldean Oracles in Nova de universis philosophia. Vojtěch. Hladký

Platonism and its Legacy - prometheustrust.co.uk · Francesco Patrizi and the Oracles of Zoroaster: The Use of Chaldean Oracles in Nova de universis philosophia. Vojtěch. Hladký

Knowledge Representation and Ontologiescalvanese/teaching/11-12-kro/...Knowledge Representation and Ontologies Part 1: Modeling Information through Ontologies Diego Calvanese Faculty

Knowledge Representation and Ontologiescalvanese/teaching/11-12-kro/...Knowledge Representation and Ontologies Part 1: Modeling Information through Ontologies Diego Calvanese Faculty

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

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

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

FBKR 2012 - Montali - Conformance Verification when Dealing with Computerized and Human-Enhanced Processes

FBKR 2012 - Montali - Conformance Verification when Dealing with Computerized and Human-Enhanced Processes

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

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

Seminar@KRDB 2012 - Montali - Verification of Relational Data-Centric Systems with External Services

Seminar@KRDB 2012 - Montali - Verification of Relational Data-Centric Systems with External Services

rd APPLIED ONTOLOGY - isao2016.inf.unibz.itisao2016.inf.unibz.it/wp-content/uploads/2015/04/Summer-School... · • Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi,

rd APPLIED ONTOLOGY - isao2016.inf.unibz.itisao2016.inf.unibz.it/wp-content/uploads/2015/04/Summer-School... · • Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi,

ATAED2016 Montali - Marrying data and processes: from model to event data analysis

ATAED2016 Montali - Marrying data and processes: from model to event data analysis

Seminar@FBK-IRST 2012 - Montali - Towards Convergence of Data and Processes: the Artifact-Centric Approach

Seminar@FBK-IRST 2012 - Montali - Towards Convergence of Data and Processes: the Artifact-Centric Approach

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 ,

Patrizi. Happy City

Patrizi. Happy City