ACSI on Twitter
ACSI Events
ACSI News
ACSI Publications

Valid XHTML 1.0 Transitional

Latest News

Publications

 2012
  • Reactive Event Calculus for Monitoring Global Computing Applications,
    S. Bragaglia, F. Chesani, P. Mello, M. Montali, and P. Torroni. In Alexander Artikis, R. Craven, Nihan Kesim Cicekli, B. Sadighi, and Kostas Stathis, editors, Logic Programs, Norms and Action, Essays in Honour of Marek Sergot, volume 7360 of LNCS, pages 123-146. Springer, 2012.

  • Verifying GSM-based Business Artifacts,
    P. Gonzalez, A. Griesmayer, A. Lomuscio. To appear in the Proceedings of the 19th International Conference on Web Services (ICWS2012). Honolulu, USA. IEEE Press.

  • An Abstraction Technique for the Verification of Artifact-Centric Systems,
    F. Belardinelli, A. Lomuscio, F. Patrizi. To appear in the Proceedings of the 13th International Conference Principles of Knowledge Representation and Reasoning (KR2012). Rome, Italy. AAAI Press.

  • Verification of Deployed Artifact Systems via Data Abstraction,
    F. Belardinelli, A. Lomuscio, F. Patrizi. Proceedings of the 9th International Conference on Service Oriented Computing (ICSOC11). Paphos, Cyprus. Lecture Notes in Computer Science. Vol 7084, pp 142-156. Springer.

  • A Computationally Grounded Semantics for Artifact Centric Systems and Abstraction Results,
    F. Belardinelli, A. Lomuscio, F. Patrizi. Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI11). Barcelona, Spain. pp 738-743. AAAI Press.

  • A Generic Business Artifacts Based Authorization Framework for Cross-Enterprise Collaboration,
    L. Limonad, D. Boaz, R. Hull, R. Vaculin and T. Heath. To appear in proceedings of the Cross Enterprise Collaboration SIG in the Service Research and Innovation Institute (SRII) Global Conference, San Jose, California, July 24 - July 27, 2012.

  • The WaaSaBE Model: Marrying WaaS and Business-Entities to Support Cross-Organization Collaboration,
    L. Limonad, L. R. Varshney, D. Oppenheim, E. Fein, P. Soffer, Y. Wand, M. Gavish and A. Anaby-Tavor. To appear in proceedings of the Cross Enterprise Collaboration SIG in the Service Research and Innovation Institute (SRII) Global Conference, San Jose, California, July 24 - July 27, 2012.

  • Ontology of Dynamic Entities,
    L. Limonad, P. De Leenheer, M. Linehan, R. Hull and R. Vaculin, to appear in proceedings of the 31st International Conference on Conceptual Modeling (ER'2012), Florence, Italy, October 15 - October 18, 2012.

  • Capturing Model-Based Ontology Evolution at the Instance Level: the case of DL-Lite,
    E. Kharlamov, D. Zheleznyakov, and D. Calvanese. Submitted for publication to an international journal, 2012.

  • On simplification of schema mappings,
    D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Y. Vardi. Submitted for publication to an international journal, 2012.

  • Representing and Monitoring Social Commitments using the Event Calculus,
    F. Chesani, P. Mello, M. Montali, and P. Torroni. Submitted for publication to an international journal, 2012.

  • Monitoring Business Constraints with the Event Calculus,
    M. Montali, F. M. Maggi, F. Chesani, P. Mello, and W. M. P. van der Aalst. Submitted for publication to an international journal, 2012.

  • Prexto: Query Rewriting under Extensional Constraints in DL-Lite,
    R. Rosati. ESWC 2012, June 2012

  • Verification of Description Logic Knowledge and Action Bases,
    B. B. Hariri, D. Calvanese, G. De Giacomo, R. De Masellis, P. Felli, M. Montali. Proc. of the 20th European Conference on Artificial Intelligence (ECAI'12), 2012.

  • Ontology-Based Data Access with Dynamic TBoxes in DL-Lite,
    F.Di Pinto, G. De Giacomo, M. Lenzerini, R. Rosati. Proc. of the 26th Conference on Artificial Intelligence (AAAI'12), 2012.

  • Bounded Situation Calculus Action Theories and Decidable Verification,
    G. De Giacomo, Y. Lesperance, F. Patrizi. Proc. of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12), 2012.

  • Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments,
    G. De Giacomo, P. Felli, A. Lomuscio. Proc. of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12), 2012.

  • On Supervising Agents in Situation-Determined ConGolog,
    G. De Giacomo, Y. Lesperance, C. Muise. Proc. of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'12), 2012.

  • Semantically-Governed Data-Aware Processes,
    D. Calvanese, G. De Giacomo, D. Lembo, M. Montali, A. Santoso. Proc. of the 1st International Workshop on Knowledge-intensive Business Processes (KiBP'12). 2012

  • Bounded Situation Calculus Action Theories,
    G. De Giacomo, Y. Lesperance, F. Patrizi. Proc. of the 8th International Cognitive Robotics Workshop. 2012. Abridged version of KR'12.

  • Mastro: A Reasoner for Effective Ontology-Based Data Access,
    G. De Giacomo, D. Lembo, M. Lenzerini, A. Poggi, R. Rosati, M. Ruzzi, D. F. Savo. Proc. of the OWL Reasoner Evaluation Workshop (ORE 2012). 2012.

  • Verification of Conjunctive Artifact-Centric Services,
    R. De Masellis, G. De Giacomo, R. Rosati. International Journal of Cooperative Information Systems (IJCIS). 2012. To appear.

  • Verification of Relational Data-Centric Dynamic Systems with External Services,
    B. B. Hariri, D. Calvanese, G. De Giacomo, A. Deutsch, M. Montali. CoRR Technical Report abs/1203.0024, arXiv.org e-Print archive, March 2012. Available at http://arxiv.org/abs/1203.0024. Submitted for publication.

  • View-based Query Answering in Description Logics: Semantics and Complexity,
    D. Calvanese, G. De Giacomo, M. Lenzerini, R. Rosati. Journal of Computer and System Sciences 78 (2012) 26-46. 2012.

  • Data- and Resource-aware Conformance Checking of Business Processes,
    M. de Leoni, W.M.P. van der Aalst, B.F. van Dongen. In Proc. of the 15th International Conference on Business Information Systems (BIS 2012), Vilnius, Lithuania, May 2012, Springer.

  • Data and Abstraction for Scenario-Based Modeling with Petri Nets,
    D. Fahland, R. Pruefer: In Proc. of the 33rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2012), Hamburg, Germany, June 2012, Springer, pp.168-188.

  • Repairing Process Models to Reflect Reality,
    D. Fahland, W. M. P. van der Aalst: In Proc. of 10th International Conference on Business Process Management (BPM 2012), Tallinn, Estonia, September 2012 Springer, to appear.

  • Aligning Event Logs and Declarative Process Models for Conformance Checking,
    M. de Leoni, F.M. Maggi, W.M.P. van der Aalst. In Proc. of 10th International Conference on Business Process Management (BPM 2012), Tallinn, Estonia, September 2012 Springer, to appear.

  • Inconsistency Tolerance in OWL 2 QL Knowledge and Action Bases - Statement of Interest,
    D. Calvanese, E. Kharlamov, M. Montali, and D. Zheleznyakov. In Proc. of the 9th Int. Workshop on OWL: Experiences and Directions (OWLED 2012), volume 849 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/, 2012.

  • Quest, an OWL 2 QL reasoner for Ontology Based Data Access,
    M. Rodriguez-Muro, and D. Calvanese. In Proc. of the 9th Int. Workshop on OWL: Experiences and Directions (OWLED 2012), volume 849 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/, 2012.

  • Representability in DL-LiteR Knowledge base Exchange,
    M. Arenas, E. Botoeva, D. Calvanese, V.L. Ryzhikov, and E. Sherkhonov. In Proc. of the 25th Int. Workshop on Description Logics (DL 2012), volume 846 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/, 2012.

  • Best Service Synthesis in the Weighted R. Model,
    D. Calvanese, and A. Santoso. In Proc. of the 4th Central-European Workshop on Services and their Composition (ZEUS 2012), volume 847 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/, 2012.

  • Exchanging Description Logic Knowledge Bases,
    M. Arenas, E. Botoeva, D. Calvanese, V.L. Ryzhikov, and E. Sherkhonov. In Proc. of the 13th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2012), 2012.

  • An Operational Decision Support Framework for Monitoring Business Constraints,
    F. M. Maggi, M. Montali and W. M. P. Van Der Aalst. In Proc. of the 15th Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2012), Vol. 7212 of LNCS, pages 146-162. Springer, 2012.

  • Evolution of OWL 2 QL and EL Ontologies: Tutorial,
    B. Cuenca Grau, E. Jimenez-Ruiz, E. Kharlamov, and D. Zheleznyakov. In Proc. of the 9th Int. Workshop on OWL: Experiences and Directions (OWLED 2012), volume 849 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/, 2012.

  • Ontology Evolution Under Semantic Constraints,
    B. Cuenca Grau, E. Jimenez-Ruiz, E. Kharlamov, and D. Zheleznyakov. In Proc. of the 13th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2012), 2012.

  • Verification of OWL 2 QL Based Semantic Artifacts,
    B. B. Hariri, D. Calvanese, G. De Giacomo, and R. De Masellis. Submitted for publication, 2012.

  • Ontology-Based Governance of Data-Aware Processes,
    D. Calvanese, G. De Giacomo, D. Lembo, M. Montali, and A. Santoso. Submitted for publication, 2012.

  • Synthesizing optimal service compositions in the Weighted R. Model,
    D. Calvanese and A. Santoso. Submitted for publication, 2012.

  • Specification and Monitoring of Data-Aware Business Constraints,
    M. Montali, F. Chesani, F. M. Maggi, and P. Mello. Submitted for publication, 2012.



 2011
  • Actions and Programs over Description Logic Knowledge Bases: A Functional Approach,
    D. Calvanese, G. De Giacomo, M. Lenzerini, and R. Rosati. In Gerhard Lakemeyer and Sheila A. McIlraith, editors, Knowing, Reasoning, and Acting: Essays in Honour of H. J. Levesque. College Publications, 2011.

  • The Mastro System for Ontology-based Data Access,
    D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, A. Poggi, M. Rodriguez-Muro, R. Rosati, M. Ruzzi, D. F. Savo. Semantic Web Journal (SWJ). 2(1):43-53 2011.

  • Query Rewriting for Inconsistent DL-Lite Ontologies,
    D. Lembo, M. Lenzerini, R. Rosati, M. Ruzzi, D. F. Savo: RR 2011: 155-169

  • On the Complexity of Dealing with Inconsistency in Description Logic Ontologies,
    R. Rosati. IJCAI 2011: 1057-1062

  • Mapping Data to Higher-Order Description Logic Knowledge Bases,
    F.Di Pinto, G. De Giacomo, M. Lenzerini, R. Rosati. Proc. of the 24th Int. Workshop on Description Logics (DL'11), 2011.

  • A Generic Framework and Solver for Synthesizing Finite-State Controllers,
    Y. Hu, G. De Giacomo. Proc of the AAAI 2011 Workshop on Generalized Planning (GenPlan'11), 2011.

  • Agent Supervision in Situation-Determined ConGolog,
    G. De Giacomo, Y. Lesperance, C. Muise. Proc. of the 9th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC'11), 2011.

  • Higher-Order Description Logics for Domain Metamodeling,
    G. De Giacomo, M. Lenzerini, R. Rosati. Proc. of the 25th Conference on Artificial Intelligence (AAAI'11), 2011.

  • Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals,
    G. De Giacomo, H. Levesque, Y. Lesperance. Proc. of the 22st International Joint Conference on Artificial Intelligence (IJCAI'11), 2011.

  • Generalized Planning: Synthesizing Plans that Work for Multiple Environments,
    Y. Hu, G. De Giacomo. Proc of the 22st International Joint Conference on Artificial Intelligence (IJCAI'11), 2011.

  • Computing Infinite Plans for LTL Goals Using a Classical Planner,
    F. Patrizi, N. Lipoveztky, G. De Giacomo, H. Geffner. Proc. of the 22st International Joint Conference on Artificial Intelligence (IJCAI'11), 2011.

  • Simplifying Mined Process Models: An Approach Based on Unfoldings,
    D. Fahland, W. M. P. van der Aalst: In Proc. of 9th International Conference on Business Process Management (BPM 2011), Springer, pp.362-378.

  • Conformance Checking of Interacting Processes with Overlapping Instances,
    D. Fahland, M. de Leoni, Boudewijn F. van Dongen, W. M. P. van der Aalst: In Proc. of 9th International Conference on Business Process Management (BPM 2011), Springer, pp.345-361.

  • Engineering and Verifying Agent-Oriented Requirements Augmented by Business Constraints with B-Tropos,
    M. Montali, P. Torroni, N. Zannone, P. Mello and V. Bryl. Journal of Autonomous Agents and Multi-Agent Systems, pages 193-223. Springer Verlag, Berlin, 2011.

  • Modeling and Verifying Business Processes and Choreographies Through the Abductive Proof Procedure SCIFF and its Extensions,
    F. Chesani, P. Mello, M. Montali and P. Torroni. Intelligenza Artificiale 5(1), pages 101-105. IOS Press, Amsterdam, 2011. DOI: 10.3233/IA-2011-0011.

  • Monitoring Time-Aware Commitments Inside Agent-Based Simulation Environments,
    F. Chesani, P. Mello, M. Montali, and P. Torroni. Special issue of Cybernetics and Systems, Vol. 42(7), pages 546-566. © Taylor and Francis, 2011.

  • Foundations of Relational Artifacts Verification,
    B. B. Hariri, D. Calvanese, G. De Giacomo, R. De Masellis, and P. Felli. In Proc. of the 9th Int. Conference on Business Process Management (BPM 2011), volume 6896 of Lecture Notes in Computer Science, pages 379-395. Springer, 2011.

  • Verification of Conjunctive-Query Based Semantic Artifacts,
    B. B. Hariri, D. Calvanese, G. De Giacomo, and R. De Masellis. In Proc. of the 24th Int. Workshop on Description Logics (DL 2011), volume 745 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/, 2011.

  • Dependencies to Optimize Ontology Based Data Access,
    M. Rodriguez-Muro, and D. Calvanese. In Proc. of the 24th Int. Workshop on Description Logics (DL 2011), volume 745 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/, 2011.

  • Semantic Index: Scalable Query Answering Without Forward Chaining or Exponential Rewritings,
    M. Rodriguez-Muro, and D. Calvanese. In Posters of the 10th Int. Semantic Web Conference (ISWC 2011), 2011.

  • Dependencies: Making Ontology Based Data Access Work in Practice,
    M. Rodriguez-Muro, and D. Calvanese. In Proc. of the 5th Alberto Mendelzon Int. Workshop on Foundations of Data Management (AMW 2011), volume 749 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/, 2011.

  • Query Processing Under GL. Mappings for Relational and Graph Databases,
    D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Y. Vardi. Submitted for publication, 2012.

  • Knowledge Base Exchange,
    M. Arenas, E. Botoeva, and D. Calvanese. In Proc. of the 24th Int. Workshop on Description Logics (DL 2011), volume 745 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/, 2011.

  • A Retrospective on the Reactive Event Calculus and Commitment Modeling Language. Retrospective of Social Commitments in Time: Satisfied or Compensated,
    P. Torroni, F. Chesani, P. Mello, and M. Montali., one of the most cited papers in the DALT series. In Proc. of the 9th Int. Workshop on Declarative Languages and Techonologies (DALT 2011), Vol. 7169 of LNCS, pages 120-127. Springer, 2011.

  • Runtime Verification of LTL-Based Declarative Process Models,
    F. M. Maggi, M. Westergaard, M. Montali, and W. M. P. Van Der Aalst. In Proc. of the 2nd Int. Conf. on Runtime Verification (RV 2011). LNCS. Springer, 2011.

  • Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata,
    F. M. Maggi, M. Montali, M. Westergaard, and W. M. P. Van Der Aalst. In Proc. of the 9th Int. Conf. on Business Process Management (BPM 2011). Vol. 6896 of LNCS, pages 132-147. Springer, 2011.

  • Capturing Instance Level Ontology Evolution for DL-Lite,
    E. Kharlamov, and D. Zheleznyakov. In Proc. of the 10th Int. Semantic Web Conference, (ISWC 2001). Vol. 7031 of LNCS, pages 321-337. Springer, 2011.

  • On Prototypes for Winslett's Semantics of DL-Lite ABox Evolution,
    E. Kharlamov, and D. Zheleznyakov. In Proc. of the 24th Int. Workshop on Description Logics (DL 2011), volume 745 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/, 2011.

  • Understanding Inexpressibility of Model-Based ABox Evolution in DL-Lite,
    E. Kharlamov, and D. Zheleznyakov. In Proc. of the 5th Alberto Mendelzon Int. Workshop on Foundations of Data Management (AMW 2011), volume 749 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/, 2011.

  • Conformance Checking of Executed Clinical Guidelines in presence of Basic Medical Knowledge,
    A. Bottrighi, F. Chesani, P. Mello, M. Montali, Stefania Montani, and P. Terenziani. In Proc. of Business Process Management Workshops, 4th International Workshop on Process-oriented Information Systems in Healthcare (ProHealth'11), volume 100 of LNBIP, pages 200-2011. Springer, 2011.

  • Artifact-Centric Service Interoperation,
    Peep Küngas and Viara Popova, Estonian Information Society Yearbook 2010. Chapter 3.2 of Estonian Department of State Information Systems, September 2011.

  • On the Convergence of Data and Process Engineering,
    Marlon Dumas, Proceedings of the 15th International Conference on Advances in Databases and Information Systems (ADBIS), Vienna, Austria, September 2011, Springer, pp. 19-26.

  • Process Mining: Discovery, Conformance and Enhancement of Business Processes,
    W.M.P. van der Aalst, Springer Verlag, 2011 (ISBN 978-3-642-19344-6). (ACSI is mentioned in Chapter 4.)

  • Cost-based Fitness in Conformance Checking,
    Arya Adriansyah, Natalia Sidorova, and Boudewijn van Dongen, 11th International Conference on Application of Concurrency to System Design (ACSD 2011), IEEE.

  • Conformance Checking using Cost-Based Fitness Analysis,
    Arya Adriansyah, Boudewijn van Dongen, and Wil van der Aalst, Fifteenth IEEE International EDOC Conference (EDOC 2011).

  • Many-to-Many: Some Observations on Interactions in Artifact Choreographies,
    Dirk Fahland, Massimiliano de Leoni, Boudewijn F. van Dongen, and Wil M.P. van der Aalst, Proceedings of the 3rd Central-European Workshop on Services and their Composition, ZEUS 2011, Karlsruhe, Germany, February 21--22, 2011.

  • Behavioral Conformance of Artifact-Centric Process Models,
    Dirk Fahland, Massimiliano de Leoni, Boudewijn F. van Dongen, and Wil M.P. van der Aalst, Proceedings of the 14th International Conference on Business Information Systems, BIS 2011, Poznan, Poland, June 15--17, 2011.

  • Simplifying Schema Mappings,
    Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi. Proc. of the 14th Int. Conf. on Database Theory (ICDT 2011), 2011.



 2010