Federico Chesani

Proceedings of the 34th Italian Conference on Computational Logic, 2019

Prediction of Decline in Activities of Daily Living Through Deep Artificial Neural Networks and Domain Adaptation.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

2018

Can Deep Networks Learn to Play by the Rules? A Case Study on Nine Men's Morris.

[BibT_eX]

[DOI]

IEEE Trans. Games, 2018

Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning.

[BibT_eX]

[DOI]

Riccardo De Masellis

Chiara Ghidini

Marco Montali

Sergio Tessaris

Fundam. Informaticae, 2018

Evaluating Compliance: From LTL to Abductive Logic Programming.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

A distributed approach to compliance monitoring of business process event streams.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2018

A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 33rd Italian Conference on Computational Logic, 2018

2017

Solving Mathematical Puzzles: A Challenging Competition for AI.

[BibT_eX]

[DOI]

Michela Milano

AI Mag., 2017

Distributed Compliance Monitoring of Business Processes over MapReduce Architectures.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

Abductive Reasoning on Compliance Monitoring - Balancing Flexibility and Regulation.

[BibT_eX]

[DOI]

Marco Montali

Proceedings of the Foundations of Intelligent Systems - 23rd International Symposium, 2017

Abduction for Generating Synthetic Traces.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2017

A Game-Based Competition as Instrument for Teaching Artificial Intelligence.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

2016

Developing the FARSEEING Taxonomy of Technologies: Classification and description of technology use (including ICT) in falls prevention studies.

[BibT_eX]

[DOI]

J. Biomed. Informatics, 2016

Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes.

[BibT_eX]

[DOI]

Riccardo De Masellis

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Map Reduce Autoscaling over the Cloud with Process Mining Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Cloud Computing and Services Science - 6th International Conference, 2016

Process Mining Monitoring for Map Reduce Applications in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the CLOSER 2016, 2016

Solving Mathematical Puzzles: a Deep Reasoning Challenge (Position Paper).

[BibT_eX]

[DOI]

Michela Milano

Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2016), 2016

Abducing Compliance of Incomplete Event Logs.

[BibT_eX]

[DOI]

Riccardo De Masellis

Jorunn Lægdheim Helbostad

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

2015

User Experience (UX) of the Fall Risk Assessment Tool (FRAT-up).

[BibT_eX]

[DOI]

Ather Nawaz

Lorenzo Chiari

Luca Cattelani

Proceedings of the 28th IEEE International Symposium on Computer-Based Medical Systems, 2015

Monitoring in the Healthcare Setting.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Biomedical Knowledge Representation, 2015

Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Biomedical Knowledge Representation, 2015

2014

Multi-Criteria Optimal Planning for Energy Policies in CLP.

[BibT_eX]

[DOI]

Proceedings of the 29th Italian Conference on Computational Logic, 2014

FRAT-Up, a Rule-Based System Evaluating Fall Risk in the Elderly.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014

2013

Monitoring business constraints with the event calculus.

[BibT_eX]

[DOI]

Wil M. P. van der Aalst

ACM Trans. Intell. Syst. Technol., 2013

Representing and monitoring social commitments using the event calculus.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2013

Towards data-aware constraints in declare.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

LPAD-based Fall Risk Assessment.

[BibT_eX]

[DOI]

Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

2012

A Rule-Based Calculus and Processing of Complex Events.

[BibT_eX]

[DOI]

Proceedings of the Rules on the Web: Research and Applications, 2012

Reactive Event Calculus for Monitoring Global Computing Applications.

[BibT_eX]

[DOI]

Proceedings of the Logic Programs, Norms and Action, 2012

2011

A Computational Logic Application Framework for Service Discovery and Contracting.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2011

Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2011

Monitoring Time-Aware Commitments within Agent-Based Simulation Environments.

[BibT_eX]

[DOI]

Cybern. Syst., 2011

Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems.

[BibT_eX]

[DOI]

Proceedings of the Rule-Based Modeling and Computing on the Semantic Web, 2011

A Retrospective on the Reactive Event Calculus and Commitment Modeling Language.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies IX, 2011

Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2011

Fuzzy Conformance Checking of Observed Behaviour with Expectations.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

2010

Declarative specification and verification of service choreographiess.

[BibT_eX]

[DOI]

Marco Montali

Maja Pesic

Wil M. P. van der Aalst

Sergio Storari

ACM Trans. Web, 2010

On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework.

[BibT_eX]

[DOI]

Multiagent Grid Syst., 2010

Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

A Logic-Based, Reactive Calculus of Events.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

A Rule-Based Implementation of Fuzzy Tableau Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web Rules - International Symposium, 2010

A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

Role Monitoring in Open Agent Societies.

[BibT_eX]

[DOI]

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010

Declarative Technologies for Open Agent Systems and Beyond.

[BibT_eX]

[DOI]

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010

An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Artificial Intelligence Systems, 5th International Conference, 2010

What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior.

[BibT_eX]

[DOI]

Özgür Kafali

Paolo Torroni

Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

2009

Exploiting Inductive Logic Programming Techniques for Declarative Process Mining.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2009

Verifying A-Priori the Composition of Declarative Specified Services.

[BibT_eX]

[DOI]

Proceedings of the Second Multi-Agent Logics, 2009

Commitment Tracking via the Reactive Event Calculus.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2009

Social Commitments in Time: Satisfied or Compensated.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Representation for Health-Care: Data, 2009

A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Medicine, 2009

Arguing on the Semantic Grid.

[BibT_eX]

[DOI]

Paolo Torroni

Marco Gavanelli

Proceedings of the Argumentation in Artificial Intelligence, 2009

Modelling Interactions via Commitments and Expectations.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Research on Multi-Agent Systems, 2009

2008

Verifiable agent interaction in abductive logic programming: The SCIFF framework.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2008

Expressing and Verifying Business Contracts with Abductive Logic Programming.

[BibT_eX]

[DOI]

Int. J. Electron. Commer., 2008

Verification of Choreographies During Execution Using the Reactive Event Calculus.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008

Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), 2008

E-learning by Doing with Computational Logic.

[BibT_eX]

[DOI]

Anna Ciampolini

Proceedings of the Conference Knowledge Construction in E-learning Context: CSCL, 2008

Verification from Declarative Specifications Using Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Checking Compliance of Execution Traces to Business Rules.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2008

Modeling and Verification of Business Processes and Choreographies in ALP.

[BibT_eX]

[DOI]

Proceedings of the Il Milione (i.e. 2^6), 2008

Compliance Checking of Cancer-Screening CareFlows: an Approach based on Computational Logic.

[BibT_eX]

[DOI]

Proceedings of the Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, 2008

2007

Specification, execution and verification of interaction protocols: an approach based on computational logic.

[BibT_eX]

[DOI]

PhD thesis, 2007

Specification and Verification of Agent Interaction Protocols in a Logic-based System.

[BibT_eX]

[DOI]

Scalable Comput. Pract. Exp., 2007

Argumentation in the Semantic Web.

[BibT_eX]

[DOI]

Paolo Torroni

Marco Gavanelli

IEEE Intell. Syst., 2007

A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Web Service Contracting: Specification and Reasoning with SCIFF.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2007

Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Medicine, 2007

2006

Compliance verification of agent interaction: a logic-based software tool.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2006

Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the <i>SOCS-SI</i> Tool.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Policy-based Reasoning for Smart Web Service Interaction.

[BibT_eX]

[DOI]

Proceedings of the SWAP 2006, 2006

An abductive framework for a-priori verification of web services.

[BibT_eX]

[DOI]

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006

A Verifiable Logic-Based Agent Architecture.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006

2005

Expressing interaction in combinatorial auction through social integrity constraints.

[BibT_eX]

Intelligenza Artificiale, 2005

The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system.

[BibT_eX]

Marco Alberti

Intelligenza Artificiale, 2005

Protocol Specification and Verification by Using Computational Logic.

[BibT_eX]

[DOI]

Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005

The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses.

[BibT_eX]

Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

Expressing Interaction in Combinatorial Auction through Social Integrity Constraints.

[BibT_eX]

Marco Alberti